Abstract
The theory of consequence is a branch of logic that studies dependence relations between propositions as a separate subject. Thus it is, in a way, more general than syllogistics. It rests on old foundations, but as a distinct field it was born around 1300. Its most creative phase was 1320–1340 (Burley, Ockham, Buridan), but it was elaborated afterwards, and retained an established place in the logic books. A “consequence” from antecedent(s) to a consequent is probably best regarded as a valid inference. According to its standard definition, a consequence holds when the antecedent is incompatible with the opposite of the consequent. Logicians sought general rules for such relations. Some rules were “proof-theoretical,” that is, one consequence follows from others; some rules concerned the validity of a single inference type. A lot of theorems of propositional logic were proved in this connection, and modal qualifications were soon added. A large part of the discussion was about various distinctions of consequences. They could be ut nunc (under present conditions), or simply, without temporal qualifications. Simple consequences were either formal or material. Roughly, the earlier writers (Burley, Ockham) declare that formal consequences are valid because of the meanings of terms, but Buridan defines formal validity in the manner of modern logic, as the validity of all instances of the same logical form. This initiative was criticized, but finally many logicians utilized both definitions, one amounting to analyticity, the other to logical validity.
Bibliography
Primary Sources
Abelard Peter (1970) Dialectica, ed. De Rijk LM. Van Gorcum, Assen
Albert of Saxony (1522) Perutilis logica, Venetiis (Repr. Georg Olms, Hildesheim, 1970)
Buridan John (1976) Tractatus de consequentiis, Philosophes médiévaux, vol 16, ed. Hubien H. Publications Universitaires, Louvain
Burley Walter (1955) De puritate artis logicae Tractatus longior, with a revised version of the Tractatus brevior, Text series, vol 9, ed. Boehner Ph. Franciscan Institute, St. Bonaventure
Ockham William (1974) Summa logicae. Opera philosophica, vol. I. Franciscan Institute, St. Bonaventure
Paul of Pergula (1961) Logica and Tractatus de sensu composito et diviso, Text series, vol 13, ed. Brown MA. Franciscan Institute, St. Bonaventure
Paul of Venice (1472) Logica parva, Venetiis (Repr. Georg Olms, Hildesheim, 1970)
Pseudo-Ockham (1988) Tractatus minor logicae, ed. Buytaert E. In: Ockham William, Opera philosophica, vol VII: Opera dubia et spuria. St. Bouaventure University, St. Bonaventure
Pseudo-Scotus (1639) In librum primum Priorum Analyticorum Aristotelis quaestiones. In: Duns Scotos John, Opera omnia, vol I. Lyon (Repr. Georg Olms Verlag, Hildesheim, 1968)
Strode Ralph (1493) Consequentiae. In: Alexandri Sermonete cum dubiis Pauli Pergulensis necnon Gaetani de Thienis declaratives commentariolus. Venetiis
von Osma Wilhelm (1991) De consequentiis – Über die Folgerungen, hrsg. Schupp F, Felix Meiner, Hamburg
Secondary Sources
Ashworth EJ (1974) Language and logic in the post-medieval period. D. Reidel, Dordrecht
Boh I (1982) Consequences. In: Kretzmann N et al (eds) The Cambridge history of later medieval philosophy. Cambridge University Press, Cambridge, pp 300–314
Boh I (1993) Epistemic logic in the later Middle Ages. Routledge, London
Boh I (2001) Consequence and rules of consequence in the post-Ockham period. In: Yrjönsuuri M (ed) Medieval formal logic. Kluwer, Dordrecht, pp 147–181
Bos EP (1976) John Buridan and Marsilius of Inghen on consequences. In: Pinborg J (ed) The logic of John Buridan (Opuscula Graecolatina 9). Museum Tusculanum, Copenhagen, pp 61–69
Bottin F (1976) Proposizioni condizionali, “consequentiae” e paradossi dell’implicazione in Paolo Veneto. Medioevo 2:289–330
Dutilh Novaes C (2005) Buridan’s consequentia: consequence and inference within a token-based semantics. Hist Philos Logic 26:277–299
Dutilh Novaes C (2007) Formalizing medieval logical theories: suppositio, consequentiae and obligationes. Springer, Dordrecht
Gonzales A (1958) The theory of assertoric consequences in Albert of Saxony. Francisc Stud 18:290–354; 19:13–114
Green-Pedersen NJ (1983) Early British treatises on consequences. In: Lewry PO (ed) The rise of British logic (Papers in Mediaeval Studies 7). Pontifical Institute of Mediaeval Studies, Toronto, pp 285–307
Green-Pedersen NJ (1984) The tradition of topics in the Middle Ages: the commentaries on Aristotle’s and Boethius’ ‘Topics’. Philosophia, München
King P (2001) Consequence as inference: medieval proof theory 1300–1500. In: Yrjönsuuri M (ed) Medieval formal logic. Kluwer, Dordrecht, pp 117–145
Moody E (1953) Truth and consequence in medieval logic. North-Holland, Amsterdam
Pozzi L (1978) Le Consequentiae nella logica medievale. Liviana Editrice, Padova
Schupp F (1988) Logical problems of the medieval theory of consequences (History of Logic 6). Bibliopolis, Napoli
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this entry
Cite this entry
Aho, T. (2011). Consequences, Theory of. In: Lagerlund, H. (eds) Encyclopedia of Medieval Philosophy. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9729-4_130
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9729-4_130
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9728-7
Online ISBN: 978-1-4020-9729-4
eBook Packages: Humanities, Social Sciences and Law