Implicit here is a version of the PC which states that for any proposition P if P is or is reducible to an identical proposition, then P is necessarily true (6 above, with the modality of necessity added).
Categorical syllogistic, with which Aristotle concerned himself, confines itself to simple declarative statements and their variation with respect to modalities, or expressions of necessity and possibility.
Of the assumptions required for the argument, however, (5) has seemed to many to be the least controversial, at least if we really do grasp the modality of accidental necessity.
Unsurprisingly, there is also a corresponding notion of necessity (whose modality is often noted □).
The temporal modalities of future possibility and past necessity are indistinguishable from the control operators ◊,□, prooftheoretically and as far as their relational interpretation is concerned.
For example, Fine (2002) suggests (in a discussion that sets aside epistemic modality) that there are three fundamental kinds of necessity, which he calls 'metaphysical,'nomicic' and 'normative' necessity.
In ontology, they developed theories of states of affairs and an account of modality according to which the most important type of necessity flows from the essences or natures of objects.
In fact, Grosseteste explains the eternal powers of propositions in terms of God's eternal powers to know and will propositions, effectively grounding non-temporal modality in God's powers or lack thereof (in the case of necessity and impossibility).
In "Modalities and Quantification" (1946) and in Meaning and Necessity (1947), Carnap interprets the object language operator of necessity as expressing at the object level the semantic notion of logical truth: "[T]he guiding idea in our constructions of systems of modal logic is this: a proposition p is logically necessary if and only if a sentence expressing p is logically true.
Philo and Diodorus each considered the four modalities possibility, impossibility, necessity and non-necessity.
It has changed, of necessity.
