LOGIC

LOGIC

_
iten
Code
65151
ACADEMIC YEAR
2020/2021
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.

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

ORARI

L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.

Vedi anche:

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

Date Time Location Type Notes
15/12/2020 09:00 GENOVA Esame su appuntamento
15/12/2020 09:00 GENOVA Orale
21/01/2021 09:00 GENOVA Esame su appuntamento
21/01/2021 09:00 GENOVA Orale
04/02/2021 09:00 GENOVA Esame su appuntamento
04/02/2021 09:00 GENOVA Orale

FURTHER INFORMATION

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