Single Idea 10018

[catalogued under 3. Truth / F. Semantic Truth / 2. Semantic Truth]

Full Idea

There is an enormous difference between the truth of sentences in the interpreted language of set theory and truth in some model for the disinterpreted skeleton of that language.

Gist of Idea

Truth is quite different in interpreted set theory and in the skeleton of its language

Source

Harold Hodes (Logicism and Ontological Commits. of Arithmetic [1984], p.132)

Book Reference

-: 'Journal of Philosophy' [-], p.132


A Reaction

This is a warning to me, because I thought truth and semantics only entered theories at the stage of 'interpretation'. I must go back and get the hang of 'skeletal' truth, which sounds rather charming. [He refers to set theory, not to logic.]