LOGIC

LOGIC

_
iten
Code
65151
ACADEMIC YEAR
2019/2020
CREDITS
9 credits during the 2nd year of 8455 Philosophy (L-5) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR
M-FIL/02
TEACHING LOCATION
GENOVA (Philosophy)
semester
2° Semester
Teaching materials

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

Ricevimento: Thursday 2-4 p.m. DAFIST, Philosophy section, Via Balbi 4, 2nd floor

Exam Board

MARCELLO FRIXIONE (President)

DAVIDE SERPICO

MICHELE MARSONET

FILIPPO DOMANESCHI

LESSONS

Teaching methods

Frontal lessons.

Attendance is strongly recommended.

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

LESSONS START

February 17th, 2020

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

Date Time Location Type Notes
04/06/2020 09:00 GENOVA Orale
25/06/2020 09:00 GENOVA Orale
09/07/2020 09:00 GENOVA Orale
03/09/2020 09:00 GENOVA Orale

FURTHER INFORMATION

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