VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

851-0144-12L 3 Credits DS , DR D-GESS

Philosophy of Logic

Philosophie der Logik

Lecturers & Examiners: Prof. Dr. Giovanni Sommaruga
Number of participants limited to 40
VVZ CR n/a

Last Updated: 2026-02-05 15:40:51

Abstract

Philosophy of logic is a philosophical reflection on some key concepts and key topics of formal i.e. mathematical logic. On the one hand this seminar will provide some knowledge of basic technical logical results, on the other hand it will on this basis provide an introduction to the philosophical discussion of such topics as truth, logical consequence, existence, possible worlds and constructivsm

Objective

1. acquiring some basic knowledge of 1st order logic (up to Gödel completeness, Löwenheim-Skolem and compactness), modal logic and intuitionistic logic 2. get to know some philosophical questions and problems w.r.t. formal logic (questions etc. which sometimes reach back as far as antiquity) as well as some attempts to find answers or solutions to these questions and problems resp.

General Information

Language
German
Levels
DS , DR

Examination

Type
graded semester performance

Registration & Places

Max Places
40

Course Components

Type Title Time & Place Hours
seminar Philosophie der Logik
  • Thu 10:15-12:00 (CLA E 4)
2 h weekly

Offered In