OVERVIEW

This course is an introduction to the fundamentals of propositional and first order predicate logic, and of propositional modal logic.

AIMS AND CONTENT

LEARNING OUTCOMES

The aims of the course are:

- To introduce the basic concepts of propositional and first order predicate logic, with particular attention to the latter (students have already learned the rudiments of propositional logic in first-year courses)

- To put in evidence that the formal study of deductive reasoning accustoms to the appropriate technical use of natural language, to precision and rigor in arguments and helps to organize coherently our discourses and reasoning activity

- To introduce propositional modal logic.

AIMS AND LEARNING OUTCOMES

The aims of the course are:
- To introduce the conceptual and terminological apparatus of classical logic, with particular attention to first order predicate logic;

- to introduce the basic principles of logical formalization;

- to introduce the method of semantic trees for propositional and predicate logic;

- to introduce the basic concepts of logical formal semantics;

- to introduce the basic fundamentals of propositional modal logic.

At the end of the course, the students will:

- know the technical vocabulary and the basic conceptual apparatus of logic;

- understand the basic concepts of first order logic and of propositional modal logic;

- formalize simple natural language sentences;

- analyze simple inferences in natural language.

PREREQUISITES

Students must have attended the first year course on REASONING AND THEORY OF SCIENCE.

TEACHING METHODS

Frontal lessons.

Attendance is strongly recommended.

Students are required to register at Aulaweb, where materials useful for the course will be uploaded.

SYLLABUS/CONTENT

6 CFU program:

Propositional and predicate logic.

- What is logic?

- The notion of inference

- Propositional logic

- Semantic tree method for propositional logic

- The language of first order predicate logic

- Formalize sentences with first order predicate language

- Semantic tree method for first order predicate logic

9 CFU program:

1st part: Propositional and predicate logic.

- What is logic?

- The notion of inference

- Propositional logic

- Semantic tree method for propositional logic

- The language of first order predicate logic

- Formalize sentences with first order predicate language

- Semantic tree method for first order predicate logic

2nd part: Introduction to formal semantics; introduction to propositional modal logic

- The notion of a formal system

- formal semantics for first order predicate logic 

- fundamentals of modal logic

- main systems of propositional modal logic

RECOMMENDED READING/BIBLIOGRAPHY

6 cfu bibliography:

D. Palladino, Manuale di logica, Roma, Carocci, introduction; ch. 1-5, 8 and 9.

9 cfu bibliography:

D. Palladino, Manuale di logica, Roma, Carocci, introduction; ch. 1-5, 8 and 9.

Teaqching materials that will be made available on aulaweb.

TEACHERS AND EXAM BOARD

Exam Board

DANIELE PORELLO (President)

MARCELLO FRIXIONE

MARIA CRISTINA AMORETTI (Substitute)

LESSONS

LESSONS START

February 17th, 2020

Class schedule

LOGIC

EXAMS

EXAM DESCRIPTION

Oral exam concerning the content of the lessons and texts in the bibliography.

Enrollment is mandatory and must be done at least one week before the examination.

ASSESSMENT METHODS

The oral exam evaluates (also through the execution of simple exercises) the student's ability to know and apply the fundamental concepts of the discipline.

Exam schedule

FURTHER INFORMATION

Those who cannot attend classes are required to get in touch with the teachers.