Propositional Quantification in Tensed Statements
Part of the LEP Library of Exact Philosophy book series (LEP, volume 3)
- 110 Downloads
It is interesting to consider the use of propositional quantifiers in tensed contexts, since this device substantially augments the sphere of statable tense-logical theses. For in the absence of a device for explicit propositional quantification, we can only assert theses that have a tacit initial string of universal quantifiers, as, for example,
$$F(pv \sim p)$$
$$(\forall p)F(pv \sim p)$$
KeywordsVariant Form Linear Time Future Time Universal Quantifier Distinct Time
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag/Wien 1971