Ludger Jansen
Proseminar: Logik für Philosophen
- Zeit: Freitags, 9.45-11.15 Uhr
- Raum: M11.62 (Keplerstraße 11, "K1", 6. Stock)
- Beginn: 21.10.2005
- Sprechstunde: n.V.
Der Nachschreibtermin für die Klausur ist am Freitag, 28. April 2006, 11:30 Uhr im Raum 36.31, Seidenstraße 36, 3. Stock! |
Die Logik ist nicht nur eine spannende Einzeldisziplin der Philosophie, sie ist ebenso ein wichtiges Arbeitsmittel für die Philosphie im Allgemeinen. Der Logik-Kurs gehört daher nicht zur Kür, sondern zur Pflicht des Philosophie-studiums. Er führt zunächst in die Aussagen- und Prädikatenlogik ein. Anschließend werden einige philosophisch besonders interessante Themenbereiche vorgestellt, wie Grundzüge der Modelltheorie (Gödel & Co), die Modallogik (die Logik von Möglichkeit und Notwendigkeit) und die deontische Logik (Normenlogik).
Zielgruppe
Der Logikkurs ist Pflichtveranstaltung im ersten Semester für Philosophie-Studierende aller Studiengänge.
Es werden keine philosophischen oder mathematischen Vorkenntnisse vorausgesetzt.
Übungsaufgaben und Tutorium
Begleitend zu dieser Lehrveranstaltung finden Tutorien zur Besprechung der wöchentlichen Übungsaufgaben statt. Wenn Sie einen Leistungsnachweis erwerben wollen (s.u.), müssen Sie sich einem Tutorium zuordnen
Bilden Sie zur Bearbeitung der Aufgaben mit anderen Mitstudierenden aus Ihrem Tutorium Gruppen von bis zu drei Personen. Jede Person bekommt das je mit dem Bogen ihrer Gruppe erreichte Ergebnis individuell angerechnet, und jede/r von Ihnen muß so, bezogen auf alle Bögen zusammen, mindestens 50% der Fragen richtig beantworten. (Genauer: Die Summe der in den einzelnen Übungsbögen erreichten Prozentzahlen, geteilt durch die Zahl der Übungsbögen, muß für jede/n von Ihnen schließlich mindestens 50 sein.) Wer mehr als zwei Übungsbögen nicht bearbeitet, wird nicht zur Klausur zugelassen.
Die Übungsaufgaben werden wöchentlich am Ende der Lehrveranstaltung verteilt. Ihre Lösungen müssen Sie zu Beginn der darauffolgenden Lehrveranstaltung abgeben. Die Tutoren werden Ihre Antworten korrigieren und die Lösungen in den Tutorien besprechen. Im Februar gibt es keine Aufgaben mehr.
Leistungsnachweis
- BA Hauptfach (6 credit points); Lehramt, Magister Haupt- und Nebenfach (qualifizierter Schein): regelmäßige aktive Teilnahme und erfolgreiches Bearbeiten der Übungsaufgaben; mindestens 50 % der Punkte sind für die Zulassung zur Klausur erforderlich; Bestehen der Klausur am Ende des Semesters (120 Minuten).
- BA Nebenfach, 3 credits: regelmäßige aktive Teilnahme und erfolgreiches Bearbeiten der Übungsaufgaben; mindestens 50 % der Punkte sind für die Zulassung zur Klausur erforderlich; Bestehen der Klausur am Ende des Semesters (60 Minuten).
- BA Nebenfach (0 credit points); Lehramt, Magister Haupt- und Nebenfach (Teilnahmeschein): regelmäßige aktive Teilnahme und erfolgreiches Bearbeiten der Übungsaufgaben; mindestens 50 % der Punkte sind für den Teilnahmeschein erforderlich.
Literatur
- Thomas Zoglauer: Einführung in die formale Logik für Philosophen, Göttingen: Vandenhoeck & Ruprecht, 3. Aufl. 2005.
- Niko Strobach, Einführung in die Logik, Darmstadt: Wissenschaftliche Buchgesellschaft 2005.
Jedem sollte mindestens eines dieser Bücher zur Vor- und Nachbereitung zuhause zur Verfügung stehen. Weitere Literaturhinweise und Internetquellen werden in der Veranstaltung oder auf der Internet-Seite LLL - Literatur und Links zur Logik bekanntgegeben.
Einen Überblick über die im Kurs vorgekommenen Definitionen finden Sie hier: Die große Seite der Logik-Definitionen. Diese Seite wird regelmäßig um die neu eingeführten Begriffe ergänzt.
Kurzfristige Änderungen werden über die Instituts-Homepage und die Mailing-Liste Info-Phil bekanntgegeben. Es ist daher empfehlenswert, Info-Phil zu abonnieren (Zugang über die Instituts-Homepage).
Neben den Tutorien bietet auch die von den Tutoren betreute Online-Plattform des Forums für Logik Nachfrage- und Diskussionsmöglichkeiten.
Seminarapparate mit wichtiger Literatur befinden sich in der Universitätsbibliothek in der Holzgartenstraße und in der Institutsbibliothek des Instituts für Philosophie, Seidenstraße 36, dritter Stock.
Voraussichtlicher Seminarplan und Materialien
In Klammern angegeben sind die einschlägigen Kapitel bei Zoglauer (Z) und Strobach (St).
- 21.10.: § 1 Logik und ihre Relevanz für die Philosophie (Z: 6.1, 6.3, St: 1-2.1)
- 28.10.: § 2 Das Schwarz-Weiß-Spiel: Logik spielend leicht (St: 3.1)
- 04.11.: § 3 Das AL-Spiel: Aussagenlogik (Z: 2-3, S: 3)
- 11.11.: § 4 AL: Beweise und Probleme (Z: 3.1, St: 3 passim)
- Die Materialien für § 4 finden sich auf der Rückseite des Handouts für § 3.
- 4 beweise folien.doc
- Bis zum 18. November sind die Aufgaben 3 und 4 von Übung 3 zu bearbeiten.
- 3_uebung.doc
- 18.11.: § 5 Natürliches Schließen: Herleitungsspiele für AL (Z: 4.2-4.3, St: 4.4)
- 25.11.: § 6 Eigenschaften der Aussagenlogik (Z: 7.1-7.2, St: 4.1, 4.4)
- 02.12.: Sitzung fällt aus -- Übungswoche
- 09.12.: § 7 Aussagenlogische Argumente
- 16.12.: § 8 Quantorenlogische Argumente
- 23.12.: enfällt -- Tag wurde kurzfristig von der Universität zum Ferientag erklärt
- Ferien: An Weihnachten Logikbücher schenken lassen! (St: Literaturverz.)
- 13.01.: § 9 Die Prädikatenlogik
- 20.01.: § 10: Die Syntax von PL
- 27.01.: § 11: Die Semantik von PL
- 03.02.: § 12 PL-Herleitungspiele (Z: 5.5, St: 6.8), Gödel & Co (Z: 7.3-7.5)
- 10.02.: Klausur
- Die Klausur beginnt bereits um 9.30 Uhr. Seien Sie rechtzeitig vorher da!
- 17.02.: § 13 Modallogik (Z: 8, St: 4.5, 7.1) und Deontische Logik (Z: 9, St: 7.2)
|