02607 - Logic

Course Unit Page

Academic Year 2021/2022

Learning outcomes

Students will get to know about extensions of propositional and first order logic: in the first part, modal logics viewed as extensions of the propositional classical logic and in the second part some first order theories together with some of their metatheoretical properties.

Course contents

Aim of the course is to provide the fundamental tools for the basic knowledge of formal logic conceived as science of reasoning.

The use of formal methods allows us indeed to obtain a more accurate precision in the study and in the analysis of argumentations.

The basic tools for the study of classical formal logic will be provided.

Topics dealt with in the course:

- Philosophical motivations

- Syntax and semantics of propositional logic

- Syntax and semantics of first order logic

- Natural language and artificial language: formalization

- Sequent calculus

- Natural Deduction

The treatment of the topics will be homogeneously distributed during the course.

Non-attending students are referred to the instructions given in the section "Readings/Bibliography".

 

COMMUNICATION FOR THE STUDENTS OF THE COURSE OF LOGIC (1) (LM) Laurea Magistrale in Italianistica, culture letterarie europee, scienze linguistiche: the program of the course will be restricted to the topics concerning the propositional calculus.

Readings/Bibliography

The main material for the study of the topics contained in the final exam is constituded by the handouts provided by the teacher, together with the chapters 2,3,4 of the book by Dario Palladino, Corso di Logica, Carocci, 2010.

Non-attending students must also study the chapters 5,7,8,9. 

Teaching methods

Lessons in classroom with electronic blackboards also available in streaming.

Assessment methods

Written exam based on the solution of exercises along the lines  provided during the lessons, in the teacher's handouts and in the chapters of the book mentioned the Bibliography section. 

Assessment criteria and thresholds of evaluation:

30 cum laude: Excellent performance as to knowledge, terminology and critical expression, essentially containing no mistakes.

30: Excellent performance, knowledge is complete, well articulated and correctly expressed, although with some slight faults.

27-29: Good performance, knowledge comprehensive and satisfactory, essentially correct expression, with some big mistake or gaps.

24-26: Fairly good, knowledge present in significant points, but not complete and not always expressed with correctness, presence of  many mistakes and gaps.

21-23: Sufficient, knowledge is sometimes superficial, but the guiding general thread is included. Expression and articulation incomplete and often not appropriate, presence of many mistakes or gaps.

18-21: Almost sufficient, knowledge present only on the surface. The guiding principle is not included with continuity, presence of many big mistakes or gaps.

<18: Not sufficient, knowledge absent or very incomplete, lack of guidance in discipline, expression seriously deficient. Exam failed.

Teaching tools

-  On line streaming

- Electronic blackboard

- Handouts by the teacher.

Office hours

See the website of Guido Gherardi