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 and predicates. The
presentation style is that of natural deductio. After providing some historical elements, I go on to
introduce the language and derivation procedures. Particular importance will be given to the discovery of proof..
Full programme
The origins of logic as deductive system, historical elements; axiomatic systems, natural deduction; connectives: conditionals and negation;
conjunction and disjunction; truth tables; quantifiers; axioms and rules
The propositional calculus and predicate calculus
Introduction; rules; theorems and derived rules;
consistency and completeness.
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 195
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
- - -
