Einführung in die Logik


Universität Bern, Frühlingssemester 2012
philipp.blum@philosophie.ch


Beginn: 20.2.
Zeit: Montag 14:15 - 16:00
Raum: F023
Typ: Einführungskurs, pr. th.
ECTS: 6

Neuigkeiten

Ich habe die Prüfungen jetzt korrigiert: das Resultat ist erfreulich. Der Schnitt war 4.34, was einen Schlussnoten-Schnitt von 4.98 ergibt - Bravo!

Ihr solltet alle eine individuelle Email mit Eurer Schlussnote, der Prüfungs- und der Übungsnote erhalten haben. Sollte dies nicht der Fall sein, lasst es mich bitte umgehend wissen.

Ihr findet die Statistiken hier (zum Vergleich: frühere Statistiken sind hier: 2008, 2009).

Mir hat der Kurs sehr Spass gemacht - herzlichen Dank, und alles Gute für die Zukunft!

Die Prüfung und die Musterlösungen davon sind jetzt verfügbar: Schlussklausur.

Präsentation

Der Kurs Einführungskurs in die Logik mit Übungen (7324, 6 ECTS), Montag 14.15-16, führt in die Grundlagen der Aussagen- und der Prädikatenlogik ein. Er baut auf meinem Skript für die Logikvorlesungen an der Universität Genf auf.

Der Kurs ist konzipiert für Studierende der Philosophie, der Wissenschaftstheorie und der 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:

Die schriflichen Übungen können in Gruppen von bis zu drei Personen gelöst werden. Die maximale Gruppengrösse beträgt demnach drei Personen. 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.

Insbesondere für die Musterlösungen und die Lektionen (= Kapitel des Lehrbuches) bin ich für Korrekturen, Anmerkungen und Kritik (auch stilistischer und pädagogischer Art) sehr dankbar!

Anmeldung

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

Hilfsassistenz

Jan Walker ist der Hilfsassistent zum Logikkurs.

Sprechstunde ist jeweils am Donnerstag, 13.00 - 14.00 Uhr, im Büro B226B. Zögert nicht, ihn auch mit 'dummen' Fragen zu kontaktieren! Tutorien zu speziellen Themen werden nach Bedarf angekündigt (auch deshalb ist es wichtig, ihn von Euren Problemen in Kenntnis zu setzen).

Plan

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

Datum

Thema und Handouts

Lektionen

Übungen

20.2.

Einführung

(Administratives)

27.2.

Die aussagenlogischen Junktoren

Lektion 1 (fr.)

Bibliographie (fr.)

Übungen 1

Notendurchschnitt: 5.76 (15.88 Punkte).

Kommentare zu den Übungen 1 (Jan Walker)

5.3.

Logische Beziehungen und Schlüsse

Lektion 2 (fr.)

Übungen 2

Notendurchschnitt: 5.72 (16.66 Punkte).

Kommentar zu den 2. Übungen (Jan Walker)

12.3.

Die axiomatische Methode

Lektion 3 (fr.)

Übungen 3

Notendurchschnitt: 5.45 (15.44 Punkte).

19.3.

Die Baummethode

Lektion 4 (fr.)

Übungen 4

Kleines Reisevokabular der Mathematik

Notendurchschnitt: 4.6 (12.13 Punkte)

26.3.

Die natürliche Deduktion

Lektion 5 (fr.)

Übungen 5

Notendurchschnitt: 5.22 (14.18 Punkte)

Kommentare zu den Übungen 5 (Jan Walker)

2.4.

Metalogische Eigenschaften

Lektion 6 (fr.)

Übungen 6

Notendurchschnitt: 5.33 (14.77 Punkte)

Kommentare zu den Übungen 6 (Jan Walker)

Nachtrag zum Tutorium 1 (Jan Walker)

16.4.

Die Syllogistik

Lektion 7 (fr.)

Übungen 7

Notendurchschnitt: 5.48 (15.11 Punkte)

Zusatzübungen zur Aussagenlogik

Notendurchschnitt: 5.9 (18.28 Punkte)

23.4.

Die Prädikatenlogik

Lektion 8 (fr.)

Übungen 8

Notendurchschnitt: 5.23 (14.52 Punkte)

30.4.

Syntax und Semantik

Lektion 9 (fr.)

Übungen 9

Notendurchschnitt: 4.77 (12.68 Punkte)

7.5.

Die Baummethode

Lektion 10 (fr.)

Übungen 10

Notendurchschnitt: 4.62 (11.69 Punkte)

14.5.

Die natürliche Deduktion

Lektion 11 (fr.)

Übungen 11

Notendurchschnitt: 3.8 (9.39 Punkte)

21.5.

Metalogische Eigenschaften

Lektion 12 (fr.)

Übungen 12

Notendurchschnitt: 4.75 (12 Punkte)

Lektion 13 (fr.)

Übungen 13

Notendurchschnitt: 4.6 (11.8 Punkte)

Zusatzübungen zur Prädikatenlogik

Freitag, 25.5., 16.00

Schlussklausur

an der Prüfung zur Verfügung
Zusammenfassung der handouts