HISTORY OF LOGIC
cod. 04161

Academic year 2012/13
2° year of course - Second semester
Professor
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Storia della filosofia e istituzioni di filosofia
Type of training activity
Basic
48 hours
of face-to-face activities
6 credits
hub:
course unit
in - - -

Learning objectives

The course aims to give general knowledge of the historical development of the history of logic and of historiographical methodologies to be applied in the analysis of the texts (particularly those of antiquity and Middle Ages).

Prerequisites

There are no prerequisite requirements.

Course unit content

History of logic from Aristotle to Leibniz

Full programme

Aristotle's logic:
Categories and De Interpretatione: the categorical sentence, subject and predicate, truth conditions, opposition and negation. Prior Analytics: definition of syllogism, perfect-imperfect syllogisms, modes and figures, conversion laws, proves of imperfect syllogisms; the syllogistic from the point of view of modern formal logic; the limits of formalization.

Stoic logic:
Logical syntax; elements of the theory of meaning; Hypothetic syllogistic; axioms and inference rules; examples of syllogistic proves.

Boethius' logic:
The comments on De Interpretatione; elements of semantics; logical form; categorical and hypothetical syllogisms.

The medieval supposition theory:
Meaning and supposition of the terms; syntactic and semantic aspects; a proto-theory of quantification.

The doctrine of non-syllogistic inferences:
from the Topic to consequentiae theory.

17th-century logic:
Hobbes, Port Royal logic, Leibniz.

Bibliography

Course notes can be downloaded from the website http://www.slprbo.
unipr.it in the
“documents” folder (access with password for students taking the course)

Teaching methods

oral lessons

Assessment methods and criteria

oral examination

Other information

- - -