Inhalt

• Allgemeines
• Thema
• Literatur
• Termine

Allgemeines

• Semester: SS 2002
• Dozent: Prof. Dr. K. Madlener
• Betreuer: Mitarbeiter der AG Madlener

Thema

Die Wurzeln der klassischen, mathematischen Logik liegen in der Untersuchung des logischen Schließens mittels mathematischer Methoden. Die klassische Logik verwendet hierbei das Prinzip tertium non datur, d.h. eine Aussage ist entweder 'richtig' oder 'falsch'. Es stehen somit nur zwei Wahrheitswerte zur Verfügung. So genannte mehr-wertige Logiken verletzen dieses Prinzip und verwenden zusätzliche Wahrheitswerte. In diesem Proseminar sollen neben der klassischen Logik einige mehr-wertige Logiken untersucht werden.

Vortragsthemen:

• Classical Logic
• The third logical value of Lukasiewicz
• Logic Algebras and Matrices, Many-valuedness
• Lukasiewicz logics
• Three-valuedness of Kleene und Bochvar
• Intuitionism and the modal logics of Lewis
• Fuzzy sets and Zadeh logic

Literatur

• Grzegorz Malinowski: Many-Valued Logics (INF 220/187)
• Tuschik, Wolter: Mathematische Logik - kurzgefaßt (INF 220/194)

Termine

Interessenten werden gebeten, sich an Vladimir Támara (email:tamara@informatik.uni-kl.de, Geb. 34/425) zu wenden.
Die Vorbesprechung findet am Dienstag, den 19. Februar 2002 um 14⁰⁰ Uhr in Raum 34/420 statt.