c o 2006 / 2007 - Institut für Philosophie - Universität Oldenburg

Lit.: Ulrich Krohs und Georg Toepfer (Hrsg.): Philosophie der Biologie.
Eine Einführung, Frankfurt/M. 2005 (stw 1745); Petra Gehring: Was ist
Biomacht? Vom zweifelhaften Mehrwert des Lebens, Frankfurt/New
York 2006.
4.03.074 - Logik II: Prädikatenlogik
Veranstalter: Thomas Wachtendorf
Typ:
S (5KP)
Zeit:
Fr 12-14 Uhr
Magister: AM-TPGW
Bachelor: -/-
Werte u. Normen: -/-
EG Lehramt: -/-
Sonstiges: -/-
Die Prädikatenlogik erweitert die im Basiscurriculum
gelehrte, klassische Aussagenlogik. Sie ermöglicht es,
Aussagen sowohl in die in ihnen enthaltenen Prädikate als
auch die so genannten Quantoren zu zergliedern.
Quantoren erlauben sowohl Aussagen über die Existenz
von Dingen als auch über Mengen logisch darzustellen. Mit
der Prädikatenlogik können Sätze über die Existenz von
Gegenständen oder auch Beziehungen von Gegenständen
zueinander in eine logische Sprache übersetzt werden. So
kann auch die in der Aussagenlogik nicht darstellbare, aber
gleichwohl trotzdem gültige Syllogistik als ein Teilbereich
der Prädikatenlogik erwiesen werden.
Gegenstand des Seminars sind die Grundlagen der
Prädikatenlogik: Quantoren, Prädikate, Ableitungen mit
Quantoren, Interpretationen, Konsistenz und Inkonsistenz
von Formelmengen, Allgemeingültigkeitsbeweise und der
Nachweis von Fehlschlüssen.
Darüber hinaus kann je nach verbleibender Zeit und
Interesse der TeilnehmerInnen noch die Integration der
Syllogistik in die Prädikatenlogik oder ein grober Überblick
über andere Logiken behandelt werden. In den Sitzungen
53