e-Learning Support
Vorlesung: 09-30-B2-1B Einführung in die formale Logik - Details

Vorlesung: 09-30-B2-1B Einführung in die formale Logik - Details

Nachrichtenbox schließen
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 09-30-B2-1B Einführung in die formale Logik
Untertitel
Veranstaltungsnummer 09-30-B2-1B
Semester SoSe 2026
Aktuelle Anzahl der Teilnehmenden 0
Heimat-Einrichtung Philosophie
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Nächster Termin Mittwoch, 08.04.2026 14:00 - 16:00
Art/Form
Englischsprachige Veranstaltung Nein
Veranstaltung für ältere Erwachsene Ja

Räume und Zeiten

Keine Raumangabe
Mittwoch: 14:00 - 16:00, wöchentlich

Modulzuordnungen

Kommentar/Beschreibung

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

*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.
*NOLT, J.; ROHATYN, D.; VARZI, A.: Logic. Second Edition (Schaum's Outlines). New York: McGraw-Hill 1998.
SALMON, W. C.: Logik. Stuttgart: Reclam 1983.
WESSEL, H.: Logik. Berlin: DVW, 31989 (Neuauflage: Berlin: Logos-Verlag, 1998)

Anmeldemodus

Die Auswahl der Teilnehmenden wird nach der Eintragung manuell vorgenommen.

Nutzer/-innen, die sich für diese Veranstaltung eintragen möchten, erhalten nähere Hinweise und können sich dann noch gegen eine Teilnahme entscheiden.