1 Meaning and Truth |
Objection to propositions; Propositions as information; Diffuseness of empirical meaning; Propositions dismissed; Truth and semantic assent; Tokens and eternal sentences. |
2 Grammar | Grammar by recursion, Categories; Immanence and transcendence; Grammarian's goal reexamined; Logical grammar; Redundant devices; Names and functors; Lexicon, particle and name; Criterion of Lexicon; Time, events, adverbs; Attitudes and modality. |
3 Truth | Truth and satisfaction; Satisfaction by sequences; Tarski's definition of truth; Paradox in the object language; Resolution in set theory. |
4 Logical Truth | In terms of structure; In terms of substitution; In terms of models; Adequacy of substitution; Saving on sets; In terms of proof; In terms of grammar. |
5 The Scope of Logic | Affinities of identity; Identity reduced; Set theory; Set theory in sheep's clothing; Logic in wolf's clothing; Scope of the virtual theory; Simulated class quantification; Other simulated quantification; Annexes |
6 Deviant Logics | Change of logic; change of subject; Logic in translation; Law of excluded middle; Debate about the dichotomy; Intuitionism; Branched quantifiers; Substitutional quantification; Its strength |
7 The Ground of Logical Truth | The semblance of a theory; An untenable dualism; The place of logic. |