Vorlesung Logik I + II Studienjahr 2007/08

Logik-Skript (2,8 MB) (= Gesamt-Materialien mit Anhängen)

Kleinere Pakete:

Materialien I (Aussagenlogik, Grundlagen des Argumentierens, Kapitel 1-8, Seiten i-viii u. 1-86)

Materialien II (Prädikatenlogik, Begriffe, Definitionen, Kapitel 9-16, Seiten 86-176)

Materialien III (Induktive Argumente, Ausblick, Kapitel 17-21, Seiten 177-214)

Vorlesung "Logik II"

Sommersemester 08, Do 16-18, H6, Beleg-Nr. 26 10 26.

Dr. Torsten Wilholt, Raum T8-240, Tel. 106-4605

Veranstaltungskommentar siehe eKVV.

Die Nachschreibeklausur wird am Donnerstag der ersten Veranstaltungswoche des Wintersemesters, 16.10.2008, von 8:15 bis 9:45 stattfinden, voraussichtlich in U2-113. Für die Teilnahme ist eine vorherige Anmeldung erforderlich. (Die genauen Modalitäten wurden über den E-Mail-Verteiler mitgeteilt.)

Siehe auch die Hinweise zu den Vorlesungen Logik I u. Logik II. Diese Hinweise sind besonders relevant für Sie, wenn Sie bereits in einem früheren Studienjahr eine der Veranstaltungen aus dem Modul "Logik" bzw. "Logik und Argumentationstheorie" begonnen haben und in das Modul nun durch Nachstudieren einer Veranstaltung vervollständigen möchten.

Zu dieser Vorlesung werden drei Tutorien angeboten:

Mo 18-20

Di 8-10

Mi 16-18

Alle Tutorien finden in T8-200 statt.

Übersicht der Materialien zur gesamten Vorlesung (Logik I + II):
(Die Vorlesung Logik II setzt bei Kapitel 11 an.)

1. Logik und Argumentation: Einführung
2. Aussagenlogik: Grundsätzliches und Syntax
3. Aussagenlogik: Semantik
4. Aussagenlogik: Logik
5. Das Wahrheitsbaumverfahren für die Aussagenlogik
6. Formalisierungen mit Hilfe der Aussagenlogik
7. Typische aussagenlogische Argumentformen und formale Fehlschlüsse
8. Voraussetzungen von Argumenten: Implizite Prämissen, Zirkel und präsumptive Fehlschlüsse
9: Prädikatenlogik: Syntax
10. Prädikatenlogik: Semantik
11. Prädikatenlogik: Formalisierungen
12. Prädikatenlogik: Logik
13. Das Wahrheitsbaumverfahren für die Prädikatenlogik
14. Typische prädikatenlogische Argumentformen und formale Fehlschlüsse
15. Prädikatenlogik mit Identität
16. Begriffe, Definitionen und Mehrdeutigkeit in Argumenten
17. Formen induktiver Argumente
18. Wahrscheinlichkeit
19. Induktives Schließen, Wahrscheinlichkeit und das Induktionsproblem
20. Fehlschlüsse beim induktiven Argumentieren
21. Ausblick: Nichtstandardlogiken
Anhang 1. Kausales Urteilen
Anhang 2. Der Schluss auf die beste Erklärung
Anhang 3. Der Sequenzkalkül

Übungszettel

Übungszettel 14; Lösungen;
Übungszettel 15; Lösungen;
Übungszettel 16; Lösungen;
Übungszettel 17; Lösungen;
Übungszettel 18; Lösungen; Wie man Modelle und Gegenmodelle angeben kann;
Übungszettel 19; Lösungen;
Übungszettel 20; Lösungen;
Übungszettel 21; Lösungen;
Übungszettel 22; Lösungen;
Übungszettel 23; Lösungen;
Übungszettel 24; Lösungen + Anhang;
Übungszettel 25; Lösungen

Übungszettel aus dem Wintersemester (Logik I):

Übungszettel 1; Übungszettel 2; Übungszettel 3; Übungszettel 4; Übungszettel 5; Übungszettel 6; Übungszettel 7; Übungszettel 8; Übungszettel 9; Übungszettel 10; Übungszettel 11; Übungszettel 12; Übungszettel 13

Die Vorlesungstermine sind die folgenden (hier finden Sie auch den Klausurtermin, sobald dieser feststeht):

10.4.2008
17.4.
24.4.
(1.5. Maifeiertag)
8.5.
15.5.
(22.5. Fronleichnam)
29.5.

5.6.
12.6.
19.6.
26.6.
3.7.
10.7.
17.7. KLAUSUR

Wolfgang Schwarz: Automatischer Wahrheitsbaum-Generator

Christian Gottschall, Uni Wien: Logik-Rechner (Dort unter anderem: Automatische Erstellung von Wahrheitstafeln; dazu den Links "Logikübergang" und "Zentrale Verarbeitung" folgen)

Timm Lampert, Uni Bern: Logikskript (Auch dort automatische Wahrheitstafel-Erstellung und mehr)

Uni Düsseldorf: Verschiedene Logik-Materialien (Linksammlung)

Logik-Einträge in der Stanford Encyclopedia of Philosophy

letzte Aktualisierung: 27.12.2011 von 1458 |
drucken |
Kontakt |
Impressum