Inhalt

Allgemeines, Thema, Literatur, Termine.

Allgemeines

SS 1999
Prof. Dr. K. Madlener
Betreuer: Dirk Zeckzer

Thema

Ein zentrales Anliegen von Logik ist es, wahre und falsche Aussagen zu unterscheiden. Die klassische Logik, wie z.B. die Aussagenlogik und die Prädikatenlogik, gibt uns ein System, in dem wir formal die Gültigkeit von Aussagen untersuchen können. Daneben gibt es jedoch noch eine Fülle von nicht-standard Logiken, wie z.B. mehrwertige Logiken, modale Logiken, u.s.w. Ziel dieses Proseminars ist es, solche Logiken und ihre Bedeutung kennenzulernen.

Vortragsthemen:

• Klassische Logik
• Der dritte logische Wert von Lukasiewicz
• Logic Algebras and matrices, Many-valuedness
• Lukasiewicz logics
• Dreiwertige Logiken von Kleene und Bochvar

Literatur

• Grzegorz Malinowski: Many-Valued Logics (INF 220/187, zur Zeit bei mir)
• Tuschik, Wolter: Mathematische Logik - kurzgefasst (INF 220/194)

Termine

Interessenten werden gebeten, sich in die Liste in Bau 34, 4.OG (neben Raum 410) einzutragen. Die Vorbesprechung findet am Donnerstag, den 18. Februar um 14⁰⁰ Uhr in Raum 34/420 statt.

Nächste Besprechung ist am Mittwoch, den 14.April 1999 um 14⁰⁰ Uhr in Raum 34/420.

Weitere Termine (Raum 34/420):

• 17.-21. Mai: Zwischenbesprechung
• 7.-11. Juni: Abschlussbesprechung (Ausarbeitung fertig, Folien geplant)

Vortragstermine:

• 21. Juni, 11:45 - 13:15 Uhr (Raum 34/420)
  • Klassische Logik
  • Der dritte logische Wert von Lukasiewicz
• 25. Juni, 10:00 - 11:30 Uhr (Raum 36/438)
  • Logic Algebras and matrices, Many-valuedness
  • Lukasiewicz logics
• 28. Juni, 11:45 - 13:15 Uhr (Raum 34/420)
  • Dreiwertige Logiken von Kleene und Bochvar

Die Nachbesprechung findet am 12. Juli um 19:00 Uhr statt.