Avicenna's Temporal-Modal Logic

Origin. Ibn Sīnā/Avicenna (980-1037). Al-Shifā, Al-Ishārāt. Temporal reading of modality. Absolute vs conditional necessity. Extended Aristotelian syllogistic. Foundation of Arabic modal logic.

Models. Necessity as "always." Possibility as "sometime." Propositions with temporal conditions. Descriptional vs substantial reading. Refined modal syllogistic.

Formalism.

Basic proposition types: ḍarūrī (necessary): always true of subject wujūdī (existential): sometime true while subject exists mumkin (possible): not necessarily true or false

Absolute vs conditional: Absolute necessity (ḍarūrī muṭlaq): always, unconditionally Conditional necessity (ḍarūrī bi-sharṭ): while condition holds "Human is necessarily breathing" — while alive

Substantial vs descriptional: dhātī (substantial): by essence of subject waṣfī (descriptional): while subject has description "Writer is moving" — while writing

Temporal reading of modality: □p ≈ "always p" (ḍarūrī) ◇p ≈ "sometime p" (mumkin) Necessity temporalized.

Proposition classification: Fifteen types in later tradition. Combinations of: necessity, perpetuity, actuality. Time specifications: always, mostly, sometime.

Two-dimensional: lā-dā'im (not-always): sometime not lā-ḍarūrī (not-necessary): possibly not Negations of temporal modes.

Syllogistic: Modal syllogisms with temporal conditions. Mixing modal types. More restrictive than Aristotle.

Conditional propositions: ittifāqī (coincidental): connection in fact luzūmī (implicative): necessary connection

Symbols.

Metatheory. The tradition proves no metatheorems, so what can be said here is what modern reconstruction has established about the system rather than what its authors established. The decisive structural fact is that reading ḍarūrī as "at every time" and mumkin as "at some time" turns the modal operators into quantifiers over a second sort, so a modal categorical proposition unfolds into a two-sorted first-order formula quantifying over individuals and times; on that reading the syllogistic is a decidable fragment, and the validity of any given mood is settled by a finite check rather than by a modal proof system. Avicenna's dhātī/waṣfī distinction functions as a disambiguation of the subject term, and it removes the difficulty Aristotle's mixed apodeictic-assertoric moods run into. Rescher (1967) gave the first sustained formal treatment, and the readings of Street, Thom (2003), Hodges, and Chatti (2019) differ on which formalization is faithful.

Applies to. Modal logic history. Temporal logic. Arabic philosophical tradition. Syllogistic extensions.

Limitations. Reducing necessity to omnitemporal truth collapses a distinction later modal logic depends on: an accidental regularity that happens to hold at every time counts as necessary, and a possibility never realized counts as impossible, so counterfactual and alethic possibility have no place. The temporal dimension is itself unstructured — always, sometimes, not-always, with no ordering operator such as until or since, no metric, and no reference to particular times — so nothing of the form "later than" is expressible. The framework is a syllogistic throughout: propositions have two terms, relations of higher arity and nested quantification are unavailable, connectives do not occur inside a categorical, and modalities do not iterate. Because the waṣfī reading makes the subject term time-dependent, conversion is not uniform across proposition types, which is why the tradition multiplies types instead of deriving them, and no argument establishes that the resulting list is exhaustive.

© 2026 Lingenic LLC