Tarski’s theorem shows that the set of code numbers of sentences true in is not definable. This has negative consequences for the prospects of aritmetically defining a truth predicate for arithmetic. Nevertheless, Tarski showed how to define truth in terms of satisfaction and by giving an inductive definition of satisfaction beginning with atomic sentences and on up with sentences of higher and higher complexity in terms of the satisfaction of their parts. While a stronger set theory or higher-order logic is still required to convert the inductive definition into an explicit one, Hellman investigates how Det-T and Det-R measure up against this weaker type of definability.
Addison’s theorem establishes that the class of arithmetically definable sets of numbers is itself not an arithmetically definable class of sets. This means that in the language, , of arithmetic extended by a one place predicate , no formula is true in when is assigned a set of numbers such that is definable over . The proof is involved and is clinched by contradiction on the existence of a generic arithmetical set (I may, or may not, get around to explaining what this is in the next post or so, since it involves explanation of the technique of forcing).
The example turns on this: Addison’s theorem shows that the predicate = ‘set of numbers definable in arithmetic’ is not inductively definable in arithmetic. Nevertheless, is determined by the primitive predicates of . Set out the following: is the set of standard -models of arithmetic. Now extend each model by adding the class of all sets of natural numbers from the domain of such that is in the extension in of a formula of with one free variable. Let be the class of -structures extended in this way.
So, contains all the standard models of arithmetic that have standard interpretations of . This means that in -structures, reference determines reference but within this same class of structures, does not inductively define . In spite of this lack of definiability, Det-R still holds since (and this is all up to isomorphism) any two structures that assign the same interpretations to the primitives of must also assign the same extension to the well-formed-formulas of with only one free variable. So, up to isomorphism, the same sets of natural numbers are assigned to the distinguished elements of
The next example from Hellman is not mathematical, but from classical particle mechanics. After that I will go into Hellman’s clarification on the difference between the ontological and ideological status of attributes, properties and relations before moving into constructive work on the mental.