Einführung in die Logik

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.
Alle Übungen sind jetzt korrigiert: der Schnitt ist ausserordentlich: 5.55 (155.8 Punkte). Ihr solltet alle eine individuelle Email erhalten haben - bitte kontrolliert sie und meldet Euch bis vor der Prüfung.
Hier sind die Zusatzübungen zur Aussagenlogik und die 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!

Bitte füllt den Fragebogen aus und gebt ihn entweder in der nächsten Sitzung ab oder legt ihn mir ins Fach im Institut. Anmerkung: Bitte notiert unter Anregungen

• ob ihr diesen Kurs Euren Kommilitonen empfehlen würdet (wenn sie nicht ohnehin verpflichtet sind, ihn zu besuchen);
• ob ihr allenfalls interessiert wärt, einen weiterführenden Logik/Sprachphilosophie-Kurs zu besuchen;
• ob ihr meint, der Kurs würde besser als Jahreskurs stattfinden (und zusätzlich mehr Sprachphilosophie behandeln)

Für diejenigen, die mit Prüfung + Übungsserien (je 1/2) auf eine ungenügende Note kommen, wird es im Herbst eine Nachholprüfung geben. Hier ist die Zusammenfassung der wichtigsten Punkte, die an der Prüfung zur Verfügung stehen wird.
Hier ist die Zusammenfassung der handouts, mit der Ihr Euch für die Prüfung vorbereiten könnt.
Alle Teilnehmer am Kurs und alle ihre Freunde sind herzlich zu einem Logikfest bei mir zuhause eingeladen (Ländteweg 2, vis-à-vis Marzilibad), ab 20 Uhr.

Sprechstunde von Pegah Kassraian jeden Freitag, 10-11, Büro 223 (im Treppenhaus)!
Ich habe Euch eine Reihe von Übungen mit Musterlösungen zusammengestellt:

• Aussagenlogik: Übungsaufgaben,
• Prädikatenlogik: Übungsaufgaben,

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.

Hilfsassistenz

Ilona Stutz 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

Um .pdf-Dokumente ansehen zu können, brauchen Sie den Adobe Acrobat Reader.

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 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 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 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 Kleines Reisevokabular der Mathematik Notendurchschnitt: 5.25 (14.63 Punkte)
24.3.	Die natürliche Deduktion	Lektion 5 (fr.) Übungen 5 Notendurchschnitt: 5.5 (15.82 Punkte)
31.3.	Metalogische Eigenschaften	Lektion 6 (fr.) Übungen 6 Notendurchschnitt: 5.7 (16.85 Punkte)	Lektion 6
7.4.	Die Syllogistik	Lektion 7 (fr.) Übungen 7 Notendurchschnitt: 5.6 (16.4 Punkte)
21.4.	Die Prädikatenlogik	Lektion 8 (fr.) Übungen 8 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 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 Notendurchschnitt: 4.8 (12.24 Punkte)
12.5.	Die natürliche Deduktion	Lektion 11 (fr.) Übungen 11 Notendurchschnitt: 4.8 (12.1 Punkte)
19.5.	Metalogische Eigenschaften	Lektion 12 (fr.) Übungen 12 Notendurchschnitt: 5.2 (13.8 Punkte) Lektion 13 (fr.) Übungen 13 Für Liebhaber: Lektion 14 (fr.) Für Liebhaber: Lektion 15 (fr.)	Lektion 12
26.5.	Schlussklausur	an der Prüfung zur Verfügung Zusammenfassung der handouts Zusatzübungen zur Aussagenlogik