Logic and Foundations of Mathematics Commons^™

Propositional Quantification, Ryan Christensen

Philosophy Faculty Publications

Ramsey deWned truth in the following way: xz is true if and only if 'pzz(xz = [zpz] & pz). This deWnition is ill-formed in standard Wrst-order logic, so it is normally interpreted using substitutional or some kind of higher-order quanti-Wer. I argue that these quantiWers fail to provide an adequate reading of the deWnition, but that, given certain adjustments, standard objectual quantiWcation does provide an adequate reading.