General information

Course name	Lecture: 09-30-B2-1B Introduction to formal logic
Subtitle
Course number	09-30-B2-1B
Semester	SoSe 2025
Current number of participants	39
Home institute	Philosophie
Courses type	Lecture in category Teaching
First date	Wednesday, 09.04.2025 14:00 - 16:00, Room: SFG 0150
Type/Form
Englischsprachige Veranstaltung	Nein
Veranstaltung für ältere Erwachsene	Yes

Lecturers

Dr. Frank Kannetzky

Tutors

Rooms and times

SFG 0150: Wednesday: 14:00 - 16:00, weekly (14x)

Module assignments

Universität Bremen
- Philosophie - Bachelor Philosophie Profilfach, 4. Version WiSe 2024/2025 - SoSe 2025
  - Basismodule
    - 09-PHI-BA-B2 - Einführung in die Logik (valid from SoSe 2024)
      - Tutorium Einführung in die Logik
      - Lecture (Vorlesung Einführung in die formale Logik)
- Mathematik - Mathematik (BPO 2022), 4. Version WiSe 2024/2025 - SoSe 2027
  - Anwendungsfach - Philosophie - Wahlpflichtmodule
    - 09-PHI-BA-B2 - Einführung in die Logik (valid from SoSe 2024)
      - Tutorium Einführung in die Logik
      - Lecture (Vorlesung Einführung in die formale Logik)
- Mathematics - Mathematics with Application Subject (MPO 2022), 4. Version SoSe 2025
  - Application Subject - Philosophy - Foundations
    - 09-PHI-BA-B2 - Einführung in die Logik (valid from SoSe 2024)
      - Tutorium Einführung in die Logik
      - Lecture (Vorlesung Einführung in die formale Logik)

Comment/Description

Die Vorlesung führt in die Klassische Logik (Aussagenlogik und Prädikatenlogik erster Stufe) und ihre hauptsächlichen Darstellungsformen (semantischer und axiomatischer Aufbau, System des natürlichen Schließens), die Metatheorie der Logik sowie Grundideen nichtklassischer Logiken ein. Neben der Vermittlung formaler Fähigkeiten werden auch philosophische Aspekte der Logik und ihrer Anwendungen eine Rolle spielen. Der Besuch der begleitenden Tutorien wird dringend empfohlen. Außerdem sind mindestens 8 von 10 Übungsblätter sinnvoll zu bearbeiten.

Literatur:
• Bucher, T.: Einführung in die angewandte Logik. Berlin/NewYork: de Gruyter, 1987.
• Cryan, D./Shatil S./Mayblin, B.: Logic. A graphic guide. London: Icon Books, 2013.
• Hardy, J./Schamberger, C.: Logik der Philosophie. Göttingen: Vandenhoeck & Ruprecht (UTB), 2012.
• Hoyningen-Huene, P.: Formale Logik. Eine philosophische Einführung. Stuttgart: Reclam, 1998.
• Nolt, J.; Rohatyn, D.; Varzi, A.: Logic. Second Edition (Schaum's Outlines). New York: McGraw-Hill 1998.
• Salmon, W. C.: Logik. Stuttgart: Reclam, 1983
• Tugendhat, E.; Wolf, U.: Logisch-semantische Propädeutik. Stuttgart: Reclam, 1986
• Wessel, H.: Logik. Berlin: DVW, 31989 (Neuauflage: Berlin: Logos-Verlag, 1998)

Registration mode

After enrolment, participants will manually be selected.

Potential participants are given additional information before enroling to the course.

Lecture: 09-30-B2-1B Introduction to formal logic - Details