Advertisement

Temporal Logic pp 234-248 | Cite as

Quantification,Temporal Existence, and Identity

Chapter
  • 113 Downloads
Part of the LEP Library of Exact Philosophy book series (LEP, volume 3)

Abstract

The preceding chapters have dealt primarily with propositional logic: quantifiers have entered not in the standard way with respect to individuals, but only with respect to the realization-time pertaining to certain propositions. We must now turn to the usual arena of quantification theory, viz., quantifiers over individuals and their application to transform propositional functions into propositions.

Keywords

Modal Logic Quantificational Logic Universal Quantifier Propositional Function Preceding Chapter 
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.

Copyright information

© Springer-Verlag/Wien 1971

Authors and Affiliations

  1. 1.PittsburghUSA

Personalised recommendations