Logic (i) (2006/2007)

Course not running

Course code
4S01365
Name of lecturer
Antonio Moretto
Number of ECTS credits allocated
3
Academic sector
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE
Language of instruction
Italian
Period
1st semester dal Oct 2, 2006 al Dec 20, 2006.

Lesson timetable

1st semester
Day Time Type Place Note
Wednesday 8:30 AM - 10:10 AM lesson Lecture Hall 2.2  

Learning outcomes

The course is conceived as an introduction to logics with a synthetic investigation of propositional logics in relation to syntactic and semantics; notions of predicative logics and history of logics.

Syllabus

Contents of the course:
I) Elements of the history of logics (BLANCHÉ, La logica e la sua storia, Chap. II, IV, VI § 3; IX § 1: Eulerean’s diagrams; notes from class) .
II) Elements of propositional logics (LEMMON, Elementi di logica, Chap. I e II; Metatheorems Chap. II only terms; notes from class).
III) Elements of predicative logics (LEMMON, Elementi di logica, Chap. III, § 1; notes from class).

Assessment methods and criteria

Oral interview concerning the programme