LOGIC 1
cod. 1005957

Academic year 2016/17
1° year of course - Second semester
Professor
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Discipline filosofiche
Type of training activity
Characterising
30 hours
of face-to-face activities
6 credits
hub:
course unit
in

Integrated course unit module: Logic (Int.)

Learning objectives

1-analytical competence in relation to the logical system considered.
2 - Application of logical techniques in the 'translation' of natural language statements and arguments in the symbolic system.
3-4-5 Ability to learn the method of demonstration. Ability to develop demonstrations on their own.

Prerequisites

There are no prerequisites.

Course unit content

The aim of the course is to provide an understanding of the logic of propositions. The presentation of the calculation does not include the formulation of axioms; the set of rules - which can be traced back to Gentzen - defines a classical propositional calculus. After providing some historical elements, the student will be introduced to the propositional language and procedures of derivation. Particular importance will be given to the techniques of discovery of evidence.

Full programme

The propositional calculus I
The origins of propositional logic, historical elements; conditional and negation; conjunction and disjunction; double conditional; Summary of rules
The propositional calculus II
Introduction; formation rules; theorems and derived rules; truth tables; consistency and completeness of the propositional calculus.

Bibliography

Manual: E.J. Lemmon, Elements of logic, Laterza
additional reference material at: http:
/ / www.slprbo.unipr.it (folder 'documents') and password to the User
Students enrolled in the course

Additional references
F.B. Fitch, Symbolic Logic, New York 1951
E.J. Lemmon, Beginning logic, London 1965
B. Mates, Elementary logic, New York 1965
M. E. Szabo, Collected Papers of Gerhard Gentzen, North-Holland, 1969
P. Suppes, Introduction to logic, Princeton 1957

Teaching methods

oral lessons

Assessment methods and criteria

final written test: it consists of a series of questions / exercises designed to test the learning and
understanding of the topics.
Final oral exam: discussion of the written test. The assestement concerns in particular: 1) the understanding of proofs, 2) ability to use a symbolic language; 3) cleaning in the presentation of the exercises.

Other information

- - -