Grundkurs Logik Vorlesung
Geschichte der Aussagenlogik [bei Aristoteles (384-322 v. Chr.): Syllogistik („Vorläufer“ der Prädikatenlogik), keine Aussagenlogik] Aussagenlogik geht auf die Stoiker (ca. 300 v. Chr. bis 200 n. Chr.) zurück Was haben die Stoiker mit Logik zu tun?
„Alles ist wie durch ein heiliges Band miteinander verflochten „Alles ist wie durch ein heiliges Band miteinander verflochten. Nahezu nichts ist sich fremd. Alles Geschaffene ist einander beigeordnet und zielt auf die Harmonie derselben Welt. Aus allem zusammengesetzt ist eine Welt vorhanden, ein Gott, alles durchdringend, ein Körperstoff, ein Gesetz, eine Vernunft, allen vernünftigen Wesen gemein, und eine Wahrheit, so wie es auch eine Vollkommenheit für all diese verwandten, derselben Vernunft teilhaftigen Wesen gibt.“ (Mark Aurel)
Welcher Art war der Beitrag der Stoiker zur Logik? Wahrheitsbedingungen von Konnektiven definiert „Was vergangen ist und wahr, ist notwendig.“ Modallogik Diskussion von Paradoxien: Lügner-Paradox „Was du nicht verloren hast, hast du noch. Du hast keine Hörner verloren. Also hast du Hörner“ Unterscheidung zwischen semantischen und logischen Paradoxien
Diskussionen um das Konditional: Philon von Megare (lt. Sextus Empiricus): Konditional ist wahr, wenn „es nicht mit dem Wahren beginnt und dem Falschen endet“ Philo besteht auf diese Definition, obwohl es nicht dem alltäglichen Gebrauch entspricht Wäre recht gut in Einklang mit Philo und alltäglichem Gebrauch, aber: Bivalenzprinzip (war den Stoikern sehr wichtig)! ein erster Schritt zur Etablierung einer gewissen Eigenständigkeit der Logik gegenüber der Sprache? P Q w f -
GESCHICHTE DER AUSSAGENLOGIK Frege - Begründer der modernen Logik Peirce, der Außenseiter Principia Mathematica Wittgensteins Tractatus