Propositional Quantification

Authors

  • Ryan Christensen Brigham Young University

DOI:

https://doi.org/10.15173/russell.v31i1.2208

Abstract

Ramsey defined truth in the following way: x is true if and only if ∃p(x = [p] & p). This definition is ill-formed in standard first-order logic, so it is normally interpreted using substitutional or some kind of higher-order quantifier. I argue that these quantifiers fail to provide an adequate reading of the definition, but that, given certain adjustments, standard objectual quantification does provide an adequate reading.

Downloads

Published

2011-05-14