Avicenna wrote a brief summary of Aristotle's modal syllogistic, but his own theory was different, being based on the assumptions that the subject terms and the predicate terms of assertoric and modal propositions stand for all possible applications and the truth-conditions of assertoric propositions and corresponding possibility propositions are the same.
Thus, the focus domain can be AspP, IP, and MPEpi, which have the denotation of events, propositions, and possibilities, respectively.
The exact adjunction position of the additive hai can be determined by its relative position with epistemic modals and the meanings it indicates (i.e., the addition of actions, propositions or possibilities).
The readings gave Râzî all the conversions mentioned in section 2.3.1 above except 1 (he took the absolute affirmative to convert as a possibility proposition).
In recent decades, the theory of fuzzy logic has been used to represent various types of uncertainties with fuzzy membership functions: the linguistic ambiguity of a proposition, or the possibility or the necessity (rather than the probability) of occurrence of an event.
This proof is open to Avicenna, given that he took first-figure syllogisms with a possibility proposition as its minor premise to be perfect, or nearly so; this syllogistic mix was rejected by most later logicians, along with the other proofs.
He also accepted syllogisms with possibility propositions as minor premises to be productive.
At various points, we find Avicenna presenting Aristotle's decisions (about mixes with possibility propositions as minor premises) as failures to implement general principles (Avicenna al-Masâ'il al-Gharîba: [1974] 94.20, 94.22, 95.52, 95.11 95.11).
Acting commander of the Croatian Navy at the time, Ante Urlić, among other propositions, mentioned the possibility of installing a new set of batteries, sonar and overhauling the submarine.
As well, while perception may indicate the truth of some proposition and hence its possibility, it seems incapable of itself demonstrating the possibility of non-actual truths or the necessity of any proposition.
