Projects per year
Abstract
The recovery of Aristotle’s logic during the twelfth century was a great stimulus to medieval thinkers. Among their own theories developed to explain Aristotle’s theories of valid and invalid reasoning was a theory of consequence, of what arguments were valid, and why. By the fourteenth century, two main lines of thought had developed, one at Oxford, the other at Paris. Both schools distinguished formal from material consequence, but in very different ways. In Buridan and his followers in Paris, formal consequence was that preserved under uniform substitution. In Oxford, in contrast, formal consequence included analytic consequences such as ‘If it’s a man, then it’s an animal’. Aristotle’s notion of syllogistic consequence was subsumed under the treatment of formal consequence. Buridan developed a general theory embracing the assertoric syllogism, the modal syllogism and syllogisms with oblique terms. The result was a thoroughly systematic and extensive treatment of logical theory and logical consequence which repays investigation.
Original language | English |
---|---|
Pages (from-to) | 899-912 |
Number of pages | 14 |
Journal | Synthese |
Volume | 187 |
Issue number | 3 |
Early online date | 22 Mar 2011 |
DOIs | |
Publication status | Published - Aug 2012 |
Keywords
- Aristotle
- Ockham
- Buridan
- Signification
- Syllogism
- Modality
- Formal
- Material
Fingerprint
Dive into the research topics of 'The medieval theory of consequence'. Together they form a unique fingerprint.Projects
- 1 Finished
-
FOUNDATIONS OF LOGICAL CONSEQUENCE: Foundations of Logical Consequence
Read, S. (PI), Priest, G. G. (CoI), Shapiro, S. (CoI) & Celani, L. (Student)
Arts and Humanities Research Council
1/01/09 → 30/06/12
Project: Standard