• Corpus ID: 124073700

Ibn S¯ in¯ a's alethic modal logic

  title={Ibn S¯ in¯ a's alethic modal logic},
  author={Wilfrid Hodges},
This paper is a report on Ibn Sı̄nā’s logic of necessary, possible, contingent and absolute, which we will refer to as his alethic modal logic. We describe what he did and why he did it. Two new features of our account are, first, a description of the logical properties of the two-dimensional (temporal) logic which he sets out in Qiyās i.3 and Mašriqiyyūn, and second, a review of his account of logic as a science. The two-dimensional logic was a major innovation in its own right, and it had the… 

Avicenna on the Primary Propositions

Avicenna introduces the primary propositions (or the primaries, for short) as the most fundamental principles of knowledge. (In this paper, we are not primarily concerned with the primary/first



Avicenna on Possibility and Necessity

In this paper, I raise the following problem: How does Avicenna define modalities? What oppositional relations are there between modal propositions, whether quantified or not? After giving Avicenna's

An Essay in Modal Logic

Y is such a statement then it is derivable from some subset of S , say X ( n , ) , X(n,) , . . ., X(n,) (in which ure may suppose the n's arranged in increasing order). Since S is an increasing

Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic

  • W. Hodges
  • Computer Science, Philosophy
    Fields of Logic and Computation
  • 2010
The 11th century Arabic-Persian logician Ibn Sīnā (Avicenna) in Sect. 9.6 of his book Qiyās gives what appears to be a proof search algorithm for syllogisms. We confirm that it is indeed a proof

The Empiricism of Avicenna

The core of the article presents a systematic survey of Avicenna's empirical epistemology on the basis of his texts (for related subjects also discussed see the table of contents below). The human

Logic and Metaphysics in Avicenna's Modal Syllogistic

  • P. Thom
  • Philosophy
    The Unity of Science in the Arabic Tradition
  • 2008
This chapter explores an interpretation of Avicenna’s dhātī propositions that incorporates a de dicto element and argues that, given such a reading, his absolute and modal propositions have application to Aristotelian metaphysical theory.

Al-Fārābī and Aristotelian Syllogistics. Greek Theory and Islamic practice. By Joep Lameer. Leiden, Brill, 1994.

out that the ascription of the consonantal text to Solomon b. Buya«ah can be con®rmed, on palaeographical and codicological grounds, by comparison with another fragment (also described in this


In Islamic traditional textbooks modal operators sometimes come before propositions, sometimes before the predicates and sometimes at the end of propositions. This makes the interpretation of

Avicenna and the Aristotelian Tradition: Introduction to Reading Avicenna's Philosophical Works

Preface to the Second Edition (2013) Acknowledgments Introduction to the First Edition (1988) Layout of the Work PART ONE DOCUMENTS ON AVICENNA AND THE ARISTOTELIAN TRADITION Chapter 1. Personal

The reception of Aristotle's Metaphysics in Avicenna's Kitāb al-Šifāʾ : a milestone of Western metaphysical thought

The systematic comparison of Avicenna's Ilahiyyat of the Sifa' with Aristotle's Metaphysics, accomplished for the first time in the present volume, provides a detailed account of Avicenna's reworking