Giovanni Sommaruga: Catalogue data in Spring Semester 2020 |
Name | Prof. Dr. Giovanni Sommaruga (Professor Université de Fribourg/Universität Freiburg) |
Address | Dept. für Philosophie Av. de l'Europe 20 Univ. de Fribourg 1700 Fribourg SWITZERLAND |
Telephone | 026 300 83 27 |
giovanni.sommaruga@retired.ethz.ch | |
Department | Humanities, Social and Political Sciences |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
401-1010-00L | The Foundations of Analysis from a Philosophical and Historical Point of View ![]() Number of participants limited to 30 Particularly suitable for students of D-MATH | 3 credits | 2S | L. Halbeisen, G. Sommaruga | |
Abstract | Accompanying the courses in analysis, the beginning and development of analysis will be considered and discussed from a philosophical perspective. In particular, different approaches towards dealing with the problems sparked off by the infinitesimals will be studied. And finally, a short presentation of non-standard analysis will be given. | ||||
Objective | This course aims at enabling the students to have a critical look at the basic philosophical premisses underlying analysis, to analyze them and to reflect on them. NB. This course is part of the rectorate's critical thinking initiative. | ||||
851-0144-12L | Philosophy of Logic ![]() Number of participants limited to 40 | 3 credits | 2S | G. Sommaruga | |
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. |