Prior's substitutional account of propositional quantification in 'Objects of Thought' shows STT's paradox depends on a realistontology of propositions that is independently contestable.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
STT's paradox(a problem that depends on certain assumptions about propositions)
A logical puzzle or contradiction (the specific abbreviation 'STT' refers to a particular formal system, but the key point is that it's a problem that arises in certain logical frameworks).
Substitutional account(Prior's approach to understanding propositional quantification)
A way of understanding how quantifiers (words like 'all' or 'some') work by thinking about substituting different things into a sentence, rather than assuming those things exist in a deep metaphysical sense.
propositional quantification(Prior's (1971) system supplementing propositional logic with a propositional quantifier that binds propositional letters)
A species of non-nominal quantification, specifically quantification into sentence position, distinct from objectual quantification over propositions and substitutional quantification over sentences