Argues that the key distinction between human and nonhuman social cognition consists in our complex, diverse and flexible capacities to shape each other's minds in ways that make them easier to interpret.

The aim of the paper is to prove the result announced by the title.

Using ideas from Murskii [3], Tokarz [4] and Wroski [7] we construct some strongly finite consequence operation having 2%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than 0?

We prove that each proper ideal in the lattice of axiomatic, resp. standard strengthenings of the intuitionistic propositional logic is of cardinality 20. But, each proper ideal in the lattice of structural strengthenings of the intuitionistic propositional logic is of cardinality 220. As a corollary we have that each of these three lattices has no atoms.

We propose a new schema for the deduction theorem and prove that the deductive system S of a prepositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only prepositional letters p and q such that A(p, p) L and p, A(p, q) s q.

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.

Let q(K) denote the least quasivariety containing a given class K of algebraic structures. Mal'cev [3] has proved that q(K) = ISP r(K)(1). Another description of q(K) is given in Grätzer and Lakser [2], that is, q(K) = ISPP u(K)2. We give here other proofs of these results. The method which enables us to do that is borrowed from prepositional logics (cf. [1]).

Motivated by the search for a logic for polynomial time, we study rank logic which extends fixed-point logic with counting by operators that determine the rank of matrices over finite fields. WhileFPRcan express most of the known queries that separateFPCfromPtime, almost nothing was known about the limitations of its expressive power.In our first main result we show that the extensions ofFPCby rank operators over different prime fields are incomparable. This solves an open question posed by Dawar and Holm and also (...) implies that rank logic, in its original definition with a distinct rank operator for every field, fails to capture polynomial time. In particular we show that the variant of rank logic${\text{FPR}}^{\text{*}}$with an operator that uniformly expresses the matrix rank over finite fields is more expressive thanFPR.One important step in our proof is to consider solvability logicFPSwhich is the analogous extension ofFPCby quantifiers which express the solvability problem for linear equation systems over finite fields. Solvability logic can easily be embedded into rank logic, but it is open whether it is a strict fragment. In our second main result we give a partial answer to this question: in the absence of counting, rank operators are strictly more expressive than solvability quantifiers. (shrink)

ZusammenfassungDie Geschichte der genetischen Pränataldiagnostik ist bislang als Teil der Geschichte der Humangenetik und deren Neuorientierung als klinisch-laborwissenschaftliche Disziplin in der zweiten Hälfte des 20. Jahrhunderts betrachtet worden. Anhand neuen Quellenmaterials soll in diesem Beitrag gezeigt werden, dass das Interesse an der Pränataldiagnostik in Westdeutschland auch im Kontext von Forschungen entstand, die sich mit Gefahren für den Menschen in der Umwelt befassten. Anhand der Debatten um die Einrichtung des DFG-Schwerpunktprogramms „Pränatale Diagnostik genetischer Defekte“ 1970 untersuchen wir, wie die Technik der (...) Amniozentese in Westdeutschland von einer interdisziplinären Forschungsgruppe eingeführt wurde, die sich mit Schädigungen des Organismus durch Strahlen, Arzneimittel und andere Gebrauchsstoffe und Konsumgüter befasste. In einer als ökologische Wende bezeichneten Zeit wachsenden Umweltbewusstseins, so unsere These, sollte durch die Förderung der Pränataldiagnostik eine wahrgenommene Lücke in der Prävention umweltbedingt auftretender genetischer Anomalien geschlossen werden. Für die Pränataldiagnostik als „Schutzmaßnahme“ sprach unter anderem ihre erwartete Finanzierung als Krankenkassenleistung im Zuge der Reform des Abtreibungsrechts. Erst in einem zweiten Schritt führten Veränderungen von Strukturen der Forschung, vor allem aber Erfahrungen in der gynäkologischen Praxis zu einer Neuausrichtung auf die Diagnostik und Prävention mehrheitlich erblicher oder spontan auftretender Anomalien. Die Pränataldiagnostik, so wie sie schließlich in Westdeutschland ab den frühen 1980er Jahren routinemäßig Einsatz fand, hatte mit Fragen der „Umwelt“ kaum noch zu tun. Diese Fallstudie zur Frühgeschichte der genetischen Pränataldiagnostik handelt von dem noch wenig untersuchten Verhältnis von humangenetischer Forschung, klinischer Praxis und Umweltforschung und hat zum weiteren Ziel, den bisher in anderen Kontexten beschriebenen Wandel von Perspektiven in der Vorsorge um 1970 zu beleuchten. (shrink)