Truth and Generalized Quantification

Download Edit this record How to cite View on PhilPapers
Abstract
Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers.
PhilPapers/Archive ID
WHITAG-6
Revision history
Archival date: 2018-09-04
View upload history
References found in this work BETA
Reaching Transparent Truth.Cobreros, Pablo; Égré, Paul; Ripley, David & van Rooij, Robert

View all 14 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-07-02

Total downloads
25 ( #32,831 of 37,148 )

Recent downloads (6 months)
9 ( #27,514 of 37,148 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.