1 Martin Carrier Logik und Argumentationstheorie I Di 14 – 16 Uhr T8-200 Einleitung Teil I: Informelle Logik 1. Aussage, Argument, Schluss 2. Konditionalaussagen 3. Die Analyse von Argumenten 4. Weitere Schlussformen und Argumente Teil II. Aussagenlogik 1. Bedeutung und logische Form 2. Wahrheitsfunktionale Verknüpfungen 3. Aussagenlogische Junktoren und Wahrheitstafeln I: Konjunktion, Negation, Disjunktion 4. Aussagenlogische Junktoren und Wahrheitstafeln II: Konditional und Bikonditional 5. Logische Wahrheit und logische Folgerung 6. Theoreme der Aussagenlogik 7. Logische Äquivalenz 8. Dialogische Logik 9. Systematische Rekonstruktionen der Aussagenlogik 10. Reichweite und Grenzen der Aussagenlogik Teil III: Prädikatenlogik 1. Die Binnenstruktur von Aussagen und die Prädikatenlogik 2. Die prädikatenlogische Notation 2.1 Logische Prädikate und singuläre Aussagen 2.2 Existenzaussagen 2.3 Universelle Aussagen 3. Die Sprache der Prädikatenlogik und ihre Beziehung zur Aussagenlogik 3.1. Prädikate und Aussagen 3.2 Konträrer und kontradiktorischer Widerspruch 3.3 Die Nicht-Vertauschbarkeit von Quantoren 4. Prädikatenlogik mit Identität und Beziehungen zwischen den Quantoren 4.1 Die Einführung der Identität in die Prädikatenlogik 4.2 Beziehungen zwischen den Quantoren 5. Prädikatenlogische Schlussformen Basisliteratur Hoyningen-Huene 1998 Salmon 1973 Beckermann 1997 Copi 1998 Ruppen 1997 Tugendhat & Wolf 1983 Quine 1964 2 Literatur A. Beckermann (1997) Einführung in die Logik, Berlin: de Gruyter. I.M. Copi (1998) Einführung in die Logik, München: Fink. C. Glymour (1980) Theory and Evidence, Princeton: Princeton University Press. W.H. Halverson (1984) A Concise Logic, New York: Random House. P. Hoyningen-Huene (1998) Formale Logik, Stuttgart: Reclam. W. Kamlah & P. Lorenzen (1973) Logische Propädeutik. Vorschule des vernünftigen Redens, Mannheim: B.I. Wissenschaftsverlag. W.V.O. Quine (1964) Grundzüge der Logik, Frankfurt: Suhrkamp, 101998. P. Ruppen (1997) Einstieg in die formale Logik. Ein Lern- und Übungsbuch für Nichtmathematiker, Bern: Peter Lang. W.C. Salmon (1973) Logik, Stuttgart: Reclam, 1983. E. Tugendhat & U. Wolf (1983) Logisch-semantische Propädeutik, Stuttgart: Reclam, 1993.