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
Location
VERONA
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