Quantification,Temporal Existence, and Identity
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.
KeywordsModal Logic Quantificational Logic Universal Quantifier Propositional Function Preceding Chapter
Unable to display preview. Download preview PDF.