Temporal Logic pp 228-233 | Cite as

Propositional Quantification in Tensed Statements

Part of the LEP Library of Exact Philosophy book series (LEP, volume 3)


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)$$
amounts to
$$(\forall p)F(pv \sim p)$$


Variant 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.

Unable to display preview. Download preview PDF.


  1. 2.
    This discussion of the theses (EC) and (ET) should be compared with A. N. Prior, Time and Change, Ratio, vol. 10 (1968), pp. 173–177.Google Scholar
  2. 4.
    J. M. E. Mctaggart, The Nature of Existence (two vols., Cambridge, 1921, 1927), vol. I, p. 11.Google Scholar

Copyright information

© Springer-Verlag/Wien 1971

Authors and Affiliations

  1. 1.PittsburghUSA

Personalised recommendations