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.
There are no prerequisites.
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.
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.
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
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
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.