Advertisement

Temporal Logic pp 228-233 | Cite as

Propositional Quantification in Tensed Statements

  • Nicholas Rescher
  • Alasdair Urquhart
Part of the LEP Library of Exact Philosophy book series (LEP, volume 3)

Abstract

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)$$

Keywords

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

  • Nicholas Rescher
    • 1
  • Alasdair Urquhart
    • 1
  1. 1.PittsburghUSA

Personalised recommendations