55-01.212.300 Vertiefungen und Ergänzungen zur Logik (T)

Lehrende: Dr. Ali Behboud

Veranstaltungsart: Proseminar

Anzeige im Stundenplan:

Semesterwochenstunden: 2

Credits: 3,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: 1 | 30

Kontingentschema: Phil_Standard_WS1415

Weitere Informationen:
Für den erfolgreichen Besuch dieser Veranstaltung im Rahmen des Fachspezifischen Wahlbereichs werden 3 LP angerechnet.
 

Kommentare/ Inhalte:
Das Proseminar richtet sich an diejenigen Studierenden, die nicht nur das Einführungsseminar zur Logik erfolgreich absolviert haben, sondern darüberhinaus ihre Kenntnisse weiter vertiefen wollen. Wir werden dazu einige Konzepte aus der Einführung gleichsam von einem höheren Standpunkt wiederholen und präzisieren. Zur Präzisierung gehört insbesondere eine kurze Aufarbeitung der wichtigsten Grundbegriffen der (naiven) Mengenlehre, die das unentbehrliche mathematische Werkzeug für die moderne Logik bilden. Daneben besprechen wir Begriffe von formalen Systemen, einer formalen, mengentheoretischen Semantik für die klassische Junktoren- und Quantorenlogik, und, sofern es die Zeit erlaubt, werfen wir einen Blick auf nichtklassische Logiken.

Da aller Voraussicht nach auch das Sommersemester im Zeichen des Fernunterrichts steht, werde ich Skripten bzw. Zusammenstellungen von Literaturauszügen, die Sie im Eigenstudium lesen, zur Verfügung stellen. Voraussetzung für die erfolgreiche Teilnahme ist das sorgfältige und regelmäßige Bearbeiten von wöchentlichen Übungsaufgaben; außerdem natürlich Spaß an der Beschäftigung mit mathematisch-logischen Details.

Wer sich vorher etwas orientieren möchte, profitiert z. B. von einem Blick in eines der unten aufgeführten Bücher.

Literatur:

• J. C. Beall, Bas C. van Fraassen: Possibilities and Paradox – An Introduction to Modal and Many-Valued Logic (Oxford UP 2003).
  
• Richard Kaye: The Mathematics of Logic – A Guide to Completenes Theorems and Their Applications (Cambridge UP 2007).
  
• David Papineau: Philosophical Devices (Oxford UP 2012).
  
• Eric Steinhart: More Precisely (Broadview 2009).
  

Zusätzliche Hinweise zu Prüfungen:
Studienleistungen:

• aktive Teilnahme
  
• sorgfältige Vor-/Nachbereitung der Seminarsitzung
  
• weitere Studienleistungen werden ggf. am Anfang der Veranstaltung bekannt gegeben
  

• Hausarbeit (o.ä.)