for n > 0, the n-place (non-modal) predicate letters: [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] ...
the non-modal variables: "x", "y", "z" with or without numerical subscripts;
Let `P' be some non-modal
property, and `s' either stuff itself or something it contains.
One part is the a posteriori, but non-modal, knowledge that Hesperus is Phosphorus.
We can distinguish between a fully non-modal conception of the actual world and a partially modal conception thereof.
If there can be, there ought to exist (or at least it ought to be possible for there to exist) ana posteriori necessity whose grounds cannot be split up into propositions that are either modal and a priori, or a posteriori and non-modal. I do not know of any such examples.
21) writes that "The appeal to modal facts is indispensable for systematization and explanation of non-modal ones.
The first mistake is to think that the modal concerns what happens in other worlds, while the nonmodal concerns only our world -- a partial conflation of the non-modal and the actual.(25) Of course, if the modal requires anything like inspection of other, logically distant, worlds and we are worldbound individuals, then modal epistemology takes on a particularly desperate quality.
We cannot change the past, yet new data from the past can confirm a (perhaps) non-modal hypothesis.
No doubt, in everyday language, assertions of possibility have different implications than corresponding non-modal assertions.
For non-modal theories, at least, there is a straightforward relationship between the interdefinability of theories and the equivalence of structures:
Futhermore, if we use the standard modal axiom "[unkeyable]p[unkeyable]p" we can derive the non-modal
fact that 2 + 2 = 4.(1)