Einführung in die Logik

Philipp Keller
Universität Bern, Frühlingssemester 2009

Beginn: 17.2.
Zeit: Dienstag 16:15 - 18:00
Raum: F022
Typ: Einführungskurs
ECTS: 6

Prüfungsresultate

Ich habe nun endlich die Prüfungen korrigiert - sie sind gut ausgefallen, mit einem Notendurchschnitt von 4.35. Hier findet Ihr die Statistik. Ihr solltet ebenfalls eine individuelle Email erhalten - bitte überprüft nochmals die Punktzahlen.

Insgesamt habt Ihr im Kurs sehr gut abgeschnitten. Der Durchschnitt der Endnoten beträgt 5.15!!!

Herzlichen Dank noch einmal - mir hats wirklich gut gefallen!

Präsentation

Der Kurs Einführungskurs in die Logik mit Übungen (S6223, 6 ECTS), Dienstag 16.15-18, führt in die Grundlagen der Aussagen- und der Prädikatenlogik ein. Er baut auf dem Lehrbuch und den Übungen von Dr. Timm Lampert und meinem Skript für die Logikvorlesungen an der Universität Genf auf.

Der Kurs ist konzipiert für Studierende der Philosophie und Wissenschaftstheorie und Wissenschaftsgeschichte im Grundstudium. Er bietet darüber hinaus durch Exkurse, Zusatzbemerkungen und Lektionen zur Metalogik in nicht klausurrelevanten Teilen fortgeschrittenen Studierenden und an der philosophischen und metalogischen Reflexion der Logik interessierten Studierenden die Möglichkeit, ihre Kenntnis der Grundlagen der Logik zu vertiefen.

Die Gesamtbewertung besteht aus zwei gleichgewichteten Teilen:

den besten 10 von 13 Übungen,
der schriftlichen Schlussklausur (1h45, Dienstag 26.5., 16.15-18 h)

Die schriflichen Übungen können in Gruppen von bis zu drei Personen gelöst werden. Sie sind jeweils am Anfang der Vorlesung oder vor der Vorlesung elektronisch oder auf Papier im Institut abzugeben.

Online stehen mit den von Daniel Engler programmierten Modulen des Schweizer Förderprogramms Virtueller Campus, Projekts VILOLA (virtual logic laboratory) weitere Übungen zur Verfügung.

Das Lehrbuch Klassische Logik, Einführung mit interaktiven Übungen (Bern Studies) von Timm Lampert ist beim Sekretariat WTWG (Kathrin Schaffer, Raum B 221) für 20 CHF erhältlich. Es wird auch in der Pause der ersten Veranstaltung (17.2.) verkauft werden.

Anmeldung

Studierende sollten sich im epub für die Prüfung anmelden.

Anmeldung zur Verwaltung der online Übungen

Hilfsassistenz

Ilona Stutz (ilona@students.unibe.ch) ist die Hilfsassistentin zum Logikkurs. Ihre Sprechstunde ist jeweils am Montag morgen, 11-12, im Büro B223 (im Treppenhaus). Zögert nicht, Euch mit Fragen an sie zu wenden.

Tools

J-Wellformedchecker: Prüft die Wohlgeformtheit aussagenlogischer Formeln
Wahrheitswerttabellen Übungstool: Prüft das Erstellen von Wahrheitswerttabellen
Wahrheitswerttabellen Textoutput: Erstellt Wahrheitswerttabellen, die als Text kopiert werden können
Q-Wellformedchecker: Prüft die Wohlgeformtheit quantorenlogischer Formeln
Q-Modelle: Prüft, ob endliche Q-Interpretationen Q-Modelle einer Q-Formel sind
Q-Widerlegungen: Prüft, ob es eine widerlegende Q-Interpretation mit endlichem Wertebereich gibt
Q-Interpretationen: Berechnet die Wahrheitswerte von Q-Interpretationen für einen gegebenen Wertebereich
Beweisbauer und Beweisprüfer: Prüfen das Erstellen von Ableitungen

Materialien

Liste der wichtigsten aussagenlogischen Schlussregeln
Liste der wichtigsten quantorenlogischen Schlussregeln
Liste der gültigen Syllogismen
Verzeichnis der Abkürzungen und Symbole

Plan

Kommentare

Wer einen Kommentar zum Kurs abgeben möchte oder eine Frage hat, soll mir doch bitte eine Email schreiben oder untenstehendes Formular verwenden. Vergessen Sie nicht Ihre Email-Adresse anzugeben, wenn der Kommentar nicht anonym sein soll.

admin

Visitors since January 2009:

Datum	Thema und Handouts	Lektionen und Übungen	Zusatzlektüre
17.2.	Einführung	(Administratives)	Lektion 1 Übung: Klassische Logik
24.2.	Die aussagenlogischen Junktoren	Lektion 1 (fr.) Bibliographie (fr.) Übungen 1 Musterlösungen 1 (fr., korrigiert) Notendurchschnitt: 5.8 (16.54 Punkte).	Lektion 2 Übungen: Wohlgeformte Formeln, Interpretation von J, Wahrheitswerttabellen
3.3.	Logische Beziehungen und Schlüsse	Lektion 2 (fr.) Übungen 2 Musterlösungen 2 (fr.) Notendurchschnitt: 5.8 (16.75 Punkte).	Lektion 3 Übungen: Elementare Aussagesätze, Wahrheitsfunktionale Beziehungen, Identifikation von Aussagen, Mehrdeutigkeiten, Aufgaben der Argumentrekonstruktion, Argumentschemata, Argumentrekonstruktion
10.3.	Die axiomatische Methode	Lektion 3 (fr.) Übungen 3 Musterlösungen 3 (fr.) Notendurchschnitt: 5.7 (17.08 Punkte).	Lektion 4, Lektion 5 Übungen zur Lektion 4: GLK Ableitungen mit MPP,MTT,K, GLK-Ableitungen mit &E,&B,vE,vB, GLK-Ableitungen mit RAA,DNE,DNB, GLK-Ableitungen mit <->E, <->B, Ableitungsstrategien Übungen zur Lektion 5: Begriffliche Unterscheidungen, Identifikation abgeleiteter Schlussregeln, Ableitungen von Theoremen, Ableitungen mit TE und SE, Argumentrekonstruktion
17.3.	Die Baummethode	Lektion 4 (fr.) Übungen 4 Musterlösungen 4 (fr.) Notendurchschnitt: 5.25 (14.63 Punkte)
24.3.	Die natürliche Deduktion	Lektion 5 (fr.) Übungen 5 Musterlösungen 5 (fr.) Notendurchschnitt: 5.5 (15.82 Punkte)
31.3.	Metalogische Eigenschaften	Lektion 6 (fr.) Übungen 6 Musterlösungen 6 (fr.) Notendurchschnitt: 5.7 (16.85 Punkte)	Lektion 6
7.4.	Die Syllogistik	Lektion 7 (fr.) Übungen 7 Musterlösungen 7 (fr.) Notendurchschnitt: 5.6 (16.4 Punkte)
21.4.	Die Prädikatenlogik	Lektion 8 (fr.) Übungen 8 Musterlösungen 8 (fr.) Notendurchschnitt: 5.5 (14.8 Punkte)	Lektion 7 Übungen: A,E,I,O-Aussagen, Syllogismen, Argumentrekonstruktion, Begriffe, Prädikate, Wahrheitsbedingungen
28.4.	Syntax und Semantik	Lektion 9 (fr.) Übungen 9 Musterlösungen 9 (fr.) Notendurchschnitt: 5 (13.3 Punkte)	Lektion 8 Lektion 9 Lektion 10 Lektion 11 Übungen zur Lektion 8: Wohlgeformte Formeln, Wohlgeformte Argumentschemata, Q-Modelle, Widerlegende Q-Belegungen, Allgemeingültigkeit Übungen zur Lektion 9: Schematisierung, Formalisierung, Argumentrekonstruktion Übungen zur Lektion 10: Ableitungen mit (A)B und (A)E, Ableitungen mit (A)E, (A)B, (E)E, (E)B, Ableitungsstrategien, Ableitung von Theoremen, Äquivalente Formalisierungen, Ableitungen mit TE und SE, Argumentrekonstruktion Übungen zur Lektion 11: Wohlgeformte Formeln, Allgemeingültigkeit, Ableitungen mit =E und =B, Formalisierung, Argumentrekonstruktion
5.5.	Die Baummethode	Lektion 10 (fr.) Übungen 10 Musterlösungen 10 (fr.) Notendurchschnitt: 4.8 (12.24 Punkte)
12.5.	Die natürliche Deduktion	Lektion 11 (fr.) Übungen 11 Musterlösungen 11 (fr.) Notendurchschnitt: 4.8 (12.1 Punkte)
19.5.	Metalogische Eigenschaften	Lektion 12 (fr.) Übungen 12 Musterlösungen 12 (fr.) Notendurchschnitt: 5.2 (13.8 Punkte) Lektion 13 (fr.) Übungen 13 Musterlösungen 13 (fr.) Für Liebhaber: Lektion 14 (fr.) Für Liebhaber: Lektion 15 (fr.)	Lektion 12
26.5.	Schlussklausur Musterlösung der Schlussklausur-->	an der Prüfung zur Verfügung Zusammenfassung der handouts Zusatzübungen zur Aussagenlogik Musterlösungen zu den Zusatzübungen zur Aussagenlogik