Abstract
In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close to a material consequence for that reason, are rejected explicitly as not syllogistic. He also rejects the ‘enthymemes’ unless they are complemented by their missing premise and the superfluous premises which, according to him, should promptly be ruled out. It seems then that the consequence relation in his theory is formal. It can be characterized as being ‘productivity in all matters’ or ‘necessary truth preserving’. It is illustrated by some (but not all) single premise arguments, and above all by all kinds of syllogisms which, in his theory, are more numerous and various than in Aristotle’s one. The syllogism may contain two or more premises, including disjunctive ones. When it is hypothetical, it may lead to several conclusions. The premises may be in conflict, but then, the conclusion is false. He thus rejects the principle according to which ‘anything follows from a contradiction’. But, unlike what some scholars say, he does not admit any connexive principle. In the compound syllogisms, the conclusion follows by steps, each step taking two premises at once.
Similar content being viewed by others
References
Al-Farabi: Kitab Al-Qiyas, In: Al-Ajam R. (ed.) Al-Mantiq inda al-Farabi (The Logic of al-Farabi), vol. 2, pp. 11–64 (1986)
Aristotle: Prior Analytics. In: Barnes, J. (ed.) The Complete Works of Aristotle, vol. 1, pp. 1–90. Princeton University Press, Princeton, NJ (1991) (the Revised Oxford Translation, Princeton/Bollingen Series LXXI)
Avicenna: In Zayed, S. (ed.) Al-Shifa.’, al-Mantiq 4: al-Qiyas, rev. and intr. by I. Madkour, pp. 3–580. Wizarat al thaqafa wa-l-Irsad al-Qawmi, Cairo
Avicenna: Al Ishārāt wat-tanbīhāt, with the commentary of N. Tūsi, intr by Dr. Seliman Donya, Part 1, 3rd edn., Dar el Ma‘ārif, Cairo (1971)
Badawi, A.: Mantiq Aristu, vol. 1. Dar al-Kalam, Beirut (1980)
Blanché, R.: Structures Intellectuelles (Essai Sur l’organisation Systématique des Concepts). Editions Vrin, Paris (1966)
Chatti, S.: Arabic Logic from al-Farabi to Averroes (forthcoming in Birkhaüser, Basel)
Dutilh Novaes, C.: Logic in the 14th Century after Ockham. In: Gabbay, Dov, Woods, John (eds.) Handbook of the History of Logic: Medieval and Renaissance Logic, vol. 2, pp. 433–504. North Holland, Elsevier (2008)
Dutilh Novaes, C.: Form and matter in later Latin medieval logic: the cases of suppositio and consequentia. J. Hist. Philos. 50(3), 339–64 (2012)
El-Rouayheb, K.: Impossible antecedents and their consequences: some thirteenth century Arabic discussions. Hist. Philos. Log. 30(3), 209–225 (2009)
El-Rouayheb, K.: Relational Syllogisms and the History of Arabic Logic, 900–1900. Brill, Leiden (2010)
Hodges, W.: Identifying Ibn Sīnā’s hypothetical sentence forms. www.wilfridhodges.co.uk/arabic59.pdf
Hodges, W.: Ibn Sina on analysis: 1. Proof search. Or: Abstract State Machines as a tool for history of logic. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday. Lecture Notes in Computer Science, vol. 6300, pp. 354–404. Springer, Heidelberg (2010)
Hodges, W.: Ibn Sīnā on reductio ad absurdum. Rev. Symb. Log. 10(3), 583–601 (2017)
Hubien, H.: Iohanni Buridani: Tractatus de Consequentiis. Publications Universitaires, Louvain (1976)
Łukasiewicz, J.: Contribution à l’histoire de la logique des propositions. In: Largeault, J. (ed.) Logique mathématique, textes, pp. 9–28. Editions Armand Colin, Paris (1972)
Malink, M.: A reconstruction of Aristotle’s modal syllogistic. Hist. Philos. Log. 27, 95–141 (2006)
Maroth, M.: Ibn Sina und Die Peripatetische ‘Aussagenlogik’. Brill, Leiden (1989)
Movahed, Z.: A Critical Examination of Ibn Sīna’s Theory of the Conditional Syllogism. Sophia Perennis, vol. 1, no. 1 (2009). www.ensani.ir/storage/Files/20120507101758-9055-5.pdf
Read, S.: The medieval theory of consequence. Synthese 187, 899–912 (2012)
Rescher, N.: Avicenna on the logic of “conditional” propositions. Notre-Dame J. Formal Log. 4(1), 48–58 (1963)
Restall, G., Beall, J.C.: Logical consequence. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy (2013). http://plato.stanford.edu/entries/logical-consequence/
Russell, B., Whitehead, A.N.: Principia Mathematica, to *56. Cambridge University Press, Cambridge, MA (1973)
Shehaby, N.: The Propositional Logic of Avicenna. A Translation from al-Shifā, al-Qiyās. D. Reidel, Holland (1973)
Street, T.: Arabic logic. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic, vol. 1. Elsevier, New York City (2004)
Thom, P.: The syllogism and its transformations. In: Read, S., Dutilh Novaes, C. (eds.) The Cambridge Companion to Medieval Logic, pp. 290–315. Cambridge University Press, Cambridge (2016)
Wansing, H.: Connexive logic. In: Zalta, E.N. (ed.) Stanford Encyclopedia of Philosophy (2010). http://plato.stanford.edu/entries/logic-connexive
Acknowledgments
I would like to thank an anonymous reviewer for his very detailed and fruitful comments, criticisms and suggestions about an earlier version of this paper, which improved it in several ways. I am equally very grateful to Prof. Wilfrid Hodges for his invaluable and precious help and suggestions and also for having procured me many useful documents. Thanks also to Prof. Stephen Read and all the participants of the workshop ‘Medieval Logic’ at UNILOG 2015 for their valuable questions and remarks and to Prof. Jean-Yves Beziau for his help and patience.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Chatti, S. Logical Consequence in Avicenna’s Theory. Log. Univers. 13, 101–133 (2019). https://doi.org/10.1007/s11787-018-0210-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-018-0210-y