Learning outcomes of the course unit
A student who take this course is expected to develop a critical and unprejudiced eye with regard to any proposed analysis of logical concept. It is hoped that this goal can be obtained by adopting a mathematical approach to logic also useful in other areas of philosophy.
Course contents summary
The first lecture attempt to identify the focus of logical analysis, i.e. to understand what has been meant and is still meant by logical argument. This is followed by an introduction to classical propositional logic, using standard semantical and syntactical tools. Some metatheorems are proved. Furthermore, a basic elements of predicate logic are introduced. The last part of the course is devoted to modal logic and intuitionistic logic with their semantic modelling: so that we can highlight the philosophical intuitions on which these two types of logics have been grounded.
Mario SERVI, Lezioni di Logica, Aracne ed., second edition, 2011.
Gisèle FISCHER SERVI, notes on modal logics and intuitionistic Logics
There will be lectures and sessions devoted to the correction of exercise. The students will be encouraged to communicate both publicly and privately their successes and failures in solving the problems that arise in class discussions.
Assessment methods and criteria
Students will be evaluated on the basis of their participation in class and their performance in a final exam. This is divided into two parts, a written one which comprises not only exercises but also discussions of themes that weere investigated in class, and an oral one based on the results obtained by the student in the first part. Final marks are obtained by comparing the performance of the candidates