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)