Primary Literature

• Abelard, Peter, Dialectica, edited by Lambertus M. de Rijk, Assen: van Gorcum, 1956.
• Albert of Saxony, Perutilis logica, in the incunabular edition of Venice 1522, with a Spanish translation by A. Muñoz García, Maracaibo: Univ. del Zulia, 1988. (Scholar)
• Alexander of Aphrodisias, On Aristotle’s Prior Analytics 1.1–7, translation J. Barnes, S. Bobzien, K. Flannery, K. Ierodiakonou, London: Duckworth, 1991. (Scholar)
• Billingham, Richard, De Consequentiis, in S. Weber, Richard Billingham “De Consequentiis” mit Toledo-Kommentar, Amsterdam: B.R. Grüner, 2003. (Scholar)
• Boethius, De hypotheticis syllogismis, L. Obertello (ed.), with Italian translation, Brescia: Paideia, 1969.
• –––, De topicis differentiis, D.Z. Nikitas (ed.), in Boethius: De topicis differentiis kai hoi buzantines metafraseis tou Manouel Holobolou kai Prochorou Kudone, Athens/Paris/Brussels: Academy of Athens/Vrin/Ousia (Corpus Philosophorum Medii Aevi. Philosophi Byzantini 5), 1969.
• Buridan, John, Iohannis Buridani tractatus de consequentiis, edited by Hubert Hubien), Series Philosophes Médievaux, Vol. XVI, Louvain: Université de Louvain, 1976.
• –––, Treatise on Consequences, translation by S. Read, New York: Fordham University Press, 2015.
• –––, Summulae de Dialectica, translation by G. Klima, New Haven: Yale University Press, 2001.
• Burley, Walter, De Puritate Artis Logicae — Tractatus Longior, ed. Ph. Boehner, St. Bonaventure: The Franciscan Institute, 1955.
• –––, “De Consequentiis,” ed. N.J. Green-Pedersen, Franciscan Studies, 40 (1980): 102–166. (Scholar)
• –––, On the Purity of the Art of Logic — the shorter and the longer treatises, transl. P.V. Spade, New Haven: Yale University Press, 2000.
• Fland, Robert, Consequentiae, in P.V. Spade, “Robert Fland’s Consequentiae: An Edition.” Mediaeval Studies, 38 (1976): 54–84. (Scholar)
• Garlandus Compotista, Dialectica, edited by Lambertus M. de Rijk, Assen: van Gorcum, 1959.
• Lavenham, Richard, in P.V. Spade, “Five Logical Tracts by Richard Lavenham,” in J. Reginald O’Donnell, ed., Essays in Honour of Anton Charles Pegis, Toronto: Pontifical Institute of Mediaeval Studies, 1974, pp. 70–124. (Scholar)
• Ockham, William (of), Opera Philosophica I, St. Bonaventure: The Franciscan Institute, 1974.
• Paul of Venice, Logica Parva, translation by. A. Perreiah, Munich: Philosophia Verlag, 1984.
• –––, Logica Parva, edited by A. Perreiah, Leiden: Brill, 2002.
• Pseudo-Scotus, “Questions on Aristotle’s Prior Analytics: Question X,” In Yrjönsuuri (ed.) 2001, pp. 225–234. (Scholar)
• Schupp, F., Logical problems of the medieval theory of consequences, with the edition of the Liber consequentiarum, Naples: Bibliopolis, 1988.
• Simon of Faversham, Quaestiones Super Libro Elenchorum, edited by Sten Ebbesen et al, Toronto: Pontifical Institute of Medieval Studies, 1984.
• Strode, Ralph, Tractatus de Consequentiis, in W. Seaton, An Edition and Translation of the “Tractatus de Consequentiis” by Ralph Strode, Fourteenth Century Logician and Friend of Geoffrey Chaucer, Ph.D. Dissertation, University of California, Berkeley, 1973. (Scholar)

Secondary Literature

• Archambault, J., 2018a, “Introduction: Consequences in Medieval Logic,” Vivarium, 56 (3–4): 201–221. (Scholar)
• –––, 2018b, “Consequence and Formality in the Logic of Walter Burley, ” Vivarium, 56 (3–4): 292–319. (Scholar)
• Ashworth, E.J., 1974, Language and Logic in the Post-Medieval Period, Dordrecht: Reidel. (Scholar)
• Ashworth, E.J. and P.V. Spade, 1992, “Logic in Late Medieval Oxford,” in J.I. Catto and R. Evans (eds.), The History of the University of Oxford, Oxford: Clarendon Press, pp. 35–64 (Scholar)
• Barnes, J., 1990, “Logical form and logical matter,” in A. Alberti (ed.), Logica, Mente, e Persona, Florence: Leo S. Olschki, pp. 1–119. (Scholar)
• –––, 2007, Truth etc., Oxford: Oxford University Press. (Scholar)
• Bird, O., 1961, “Topic and consequence in Ockham’s logic,” Notre Dame Journal of Formal Logic, 2: 65–78. (Scholar)
• Boh, I., 1982, “Consequences,” in N. Kretzmann, A. Kenny, J. Pinborg (eds.) 1982, pp. 300–314. (Scholar)
• –––, 2001, “Consequences and Rules of Consequence in the Post-Ockham Period,” in M. Yrjönsuuri (ed.) 2001, pp. 147–181. (Scholar)
• Boehner, Ph., 1951, “Does Ockham know of material implication?” Franciscan Studies, 11: 203–230. (Scholar)
• Bosman, B., 2018, “The Roots of the Notion of Containment in Theories of Consequence,” Vivarium, 56 (3–4): 222–240. (Scholar)
• Caret, C. and Hjortland, O. (eds.), 2015, Foundations of Logical Consequence, Oxford: Oxford University Press. (Scholar)
• Castelnérac, B. and Marion, M., 2009, “Arguing for Inconsistency: Dialectical Games in the Academy,” in G. Primiero and S. Rahman (eds.), Acts of Knowledge: History, Philosophy and Logic, London: College Publications, pp. 37 –76. (Scholar)
• Ciola, G., 2018, “Marsilius of Inghen on the Definition of consequentia,” Vivarium, 56 (3–4): 272–291. (Scholar)
• Corcoran, J., 1974, “Aristotle’s Natural Deduction System,” in J. Corcoran (ed.), Ancient Logic and its Modern Interpretations, Dordrecht: Kluwer, pp. 85–131. (Scholar)
• Courtenay, W., 1982, “The early stages in the introduction of Oxford logic into Italy,” in A. Maierù (ed.), 1982, pp. 13–32. (Scholar)
• –––, 2004, “The University of Paris at the time of Jean Buridan and Nicole Oresme,” Vivarium, 42 (1): 3–17. (Scholar)
• Crimi, M., 2018, “Formal and Material Consequences in Ockham and Buridan,” Vivarium, 56 (3–4): 241–271. (Scholar)
• De Rijk, L. M., 1962–1967, Logica Modernorum, Assen: van Gorcum. (Scholar)
• Dod, B., 1982, “Aristoteles Latinus,” in N. Kretzmann, A. Kenny, J. Pinborg (eds.) 1982, pp. 46–79. (Scholar)
• D’Ors, A., 1993, “Ex impossibili quodlibet sequitur (Jean Buridan)”, in Jacobi (ed.) 1993, pp. 195–212. (Scholar)
• Dutilh Novaes, C., 2005, “Buridan’s consequentia: consequence and inference within a token-based semantics,” History and Philosophy of Logic, 26(4): 277–297. (Scholar)
• –––, 2008, “Logic in the 14^th century after Ockham,” in D. Gabbay and J. Woods (eds.), Handbook of the History of Logic (Volume 2), Amsterdam: Elsevier, pp. 433–504. (Scholar)
• –––, 2012a, “Reassessing logical hylomorphism and the demarcation of logical constants,” Synthese, 185: 387–410. (Scholar)
• –––, 2012b, “Form and Matter in Later Latin Medieval Logic: the cases of suppositio and consequentia,” Journal of the History of Philosophy, 50(3): 339–364. (Scholar)
• –––, 2021, The Dialogical Roots of Deduction, Cambridge: Cambridge University Press. (Scholar)
• Dutilh Novaes, C. and Bosman, B., 2017, “Formal, material, and hybrid grounding for consequence: Peter Abelard and John Buridan,” in C. Grellard (ed.), Miroir de l’Amitié: Mélanges offerts â Joël Biard, Paris: Vrin, pp. 229–242. (Scholar)
• Dutilh Novaes, C. and Read, S. (eds.), 2016, The Cambridge Companion to Medieval Logic, Cambridge: Cambridge University Press. (Scholar)
• Ebbesen, S., 1981, “Analyzing Syllogisms or Anonymus Aurelianensis III — the (presumably) Earliest Extant Latin Commentary on the Prior Analytics, and its Greek Model,” Cahiers de l’Institut du Moyen-Age Grec et Latin, 37: 1–20. (Scholar)
• Etchemendy, J., 1990, The Concept of Logical Consequence, Cambridge, MA: Harvard University Press. (Scholar)
• Field, H., 2008, Saving Truth from Paradox, Oxford: Oxford University Press. (Scholar)
• Green-Pedersen, N.J., 1980, “Two Early Anonymous Tracts on Consequences,” Cahiers de l’Institut du Moyen-Age Grec et Latin, 35: 12–28. (Scholar)
• –––, 1981, “Walter Burley, De consequentiis and the origin of the theory of consequence,” in H.A.G. Braakhuis, C.H. Kneepkens and L.M. de Rijk, (eds.) English Logic and Semantics, Nijmegen: Ingenium, pp. 279–301. (Scholar)
• –––, 1984, The Tradition of the Topics in the Middle Ages, Munich: Philosophia Verlag. (Scholar)
• –––, 1985, “Early British Treatises on Consequences,” in P. Osmund Lewry O.P. (ed.), The Rise of British Logic, Toronto: Pontifical Institute of Mediaeval Studies, pp. 285–307. (Scholar)
• Jacobi, K. (ed.), 1993, Argumentationstheorie, Leiden: Brill. (Scholar)
• Johnston, S., 2014, “A Formal Reconstruction of Buridan’s Modal Syllogism”. History and Philosophy of Logic 36 (1): 2–17. (Scholar)
• Kaufmann, M., 1993, “Nochmals; Ockhams consequentiae und die materiale implication,” in K. Jacobi (ed.), pp. 223–232. (Scholar)
• King, P., 2001, “Medieval proof theory,” in M. Yrjönsuuri (ed.), pp. 117–145. (Scholar)
• Klima, G., 2004, “Consequences of a Closed, Token-Based Semantics: The Case of John. Buridan,” History and Philosophy of Logic, 25: 95–110 (Scholar)
• –––, 2016, “Consequence,” in C. Dutilh Novaes and S. Read (ed.), 2016, pp.316–341. (Scholar)
• Kretzmann, N., A. Kenny, and J. Pinborg (eds.), 1982, The Cambridge History of Later Medieval Philosophy, Cambridge: Cambridge University Press. (Scholar)
• Lagerlund, H., 2000, Modal Syllogistics in the Middle Ages, Leiden: Brill. (Scholar)
• MacFarlane, J., 2000, What does it mean to say that logic is formal?, University of Pittsburgh, Ph.D. dissertation [available online]. (Scholar)
• Maierù, A. (ed.), 1982, English Logic in Italy in the 14th and 15th Centuries, Napoli: Bibliopolis. (Scholar)
• Martin, C.J., 1986, “William’s Machine,” The Journal of Philosophy, 83 (10): 564–572. (Scholar)
• –––, 2004, “Logic,” in J. Brower and K. Gilfoy (eds.), The Cambridge Companion to Abelard, Cambridge: Cambridge University Press, pp. 158–199. (Scholar)
• –––, 2005, “Formal consequence in Scotus and Ockham: towards an account of Scotus’ logic,” in O. Boulnois, E. Karger, J.-L. Solre, G. Sondag (eds.), 1302: Duns Scot à Paris 1302–2002, Actes du colloque de Paris, septembre 2002, Turnout: Brepols, pp. 117–150. (Scholar)
• –––, 2009, “The logical textbooks and their influence,” in J. Marenbon (ed.) The Cambridge Companion to Boethius, Cambridge: Cambridge University Press, pp. 56–84. (Scholar)
• –––, 2018, “The Theory of Natural Consequence,” Vivarium, 56 (3–4): 340–366. (Scholar)
• Moody, E.A., 1953, Truth and Consequence in Medieval Logic, New York and Amsterdam, North Holland. (Scholar)
• Netz, R., 1999, The Shaping of Deduction in Greek Mathematics: A study in cognitive history, Cambridge: Cambridge University Press. (Scholar)
• Normore, C., 1993, “The necessity in deduction: Cartesian inference and its medieval background,” Synthese, 96: 437–454. (Scholar)
• –––, 2015, “Ex impossibili quodlibet sequitur,” Vivarium, 53: 353–371. (Scholar)
• Pozzi, L., 1978, Le consequentiae nella logica medievale, Padova: Liviana. (Scholar)
• Read, S., 1993, “Formal and material consequence, disjunctive syllogism and Gamma,” in K. Jacobi (ed.) 1993, pp. 233–262. (Scholar)
• –––, 1994, “Formal and material consequence,” Journal of Philosophical Logic, 23: 247–65 (Scholar)
• –––, 2001, “Self-reference and validity revisited,” in M. Yrjönsuuri (ed.) 2001, pp. 183–196. (Scholar)
• –––, 2010, “Inference,” in R. Pasnau (ed.), The Cambridge History of Medieval Philosophy, Cambridge: Cambridge University Press. (Scholar)
• –––, 2015, “ The medieval theory of consequence,” Synthese, 187(3): 899–912. (Scholar)
• Schupp, F., 1993, “Zur Textrekonstruktion der formalen und materialen Folgerung in der kritischen Ockham-Ausgabe,” in K. Jacobi (ed.) 1993, pp. 213–221. (Scholar)
• Shapiro, S., 2005, “Logical consequence, proof theory, and model theory,” in S. Shapiro, Oxford Handbook of Philosophy of Mathematics and Logic, Oxford: Oxford University Press, pp. 651–670. (Scholar)
• Spade, P.V., 2000, Introduction to Walter Burley, On the Purity of the Art of Logic, New Haven: Yale University Press. (Scholar)
• Spruyt, J., 2003, “The Forma-Materia Device in Thirteenth-Century Logic and Semantics,” Vivarium, 41: 1–46. (Scholar)
• –––, 2018, “Consequence and ‘Cause’: Thirteenth-Century Reflections on the Nature of Consequences,” Vivarium, 56 (3–4): 320–339. (Scholar)
• Stump, E., 1982, “Topics: their development and absorption into consequences,” in N. Kretzmann, A. Kenny, J. Pinborg (eds.) 1982, pp. 273–299. (Scholar)
• Sundholm, B. G., 1998, “Inference, consequence, implication: a constructivist’s perspective,” Philosophia Mathematica, 6: 178–194. (Scholar)
• Tarski, A., 2002, “On the Concept of Following Logically,” History and Philosophy of Logic, 23: 155–196. (Scholar)
• Thom, P., 2007, Logic and Ontology in the Syllogistic of Robert Kilwardby, Leiden: Brill. (Scholar)
• –––, 2010, “Three conceptions of formal logic,” Vivarium, 48 (1–2): 228–242. (Scholar)
• –––, 2016, “The Syllogism and Its Transformations, ” in C. Dutilh Novaes and S. Read, 2016, pp. 290–315. (Scholar)
• –––, 2019, Robert Kilwardby’s Science of Logic, Leiden: Brill. (Scholar)
• Uckelman, S. and Lagerlung, H., 2016, “Logic in the Latin Thirteenth Century, ” in C. Dutilh Novaes and S. Read (eds.) 2016, pp. 119–141. (Scholar)
• Wilks, I., 2016, “ Latin Logic up to 1200, ” in C. Dutilh Novaes and S. Read (eds.) 2016, pp. 94–118. (Scholar)
• Yrjönsuuri, M. (ed.), 2001, Medieval Formal Logic, Dordrecht: Kluwer. (Scholar)