[FOM] Wittgenstein?

[T P Uschanov]

Neil Tennant wrote:

> What do you mean by "p is true in PA"?:
> 
> 1) PA|-p and (since PA proves only truths) p is true; or
> 2) PA|-p and p is (i.e. happens to be) true; or
> 3) p is in the language of PA and is true...?

4) p is in the language of PA; being where it is within this language 
generally leads the users of the language of PA to hold it true; which 
in turn leads them (not necessarily wholly groundlessly) to make 
assertions such as your candidate 1) above.

(Note that this answer is neutral as between the various dictionary 
senses of "true", as also between different mathematical or 
philosophical theories of truth.)

-- 
T. P. Uschanov, Research Assistant        | e-mail:
Department of Philosophy                  | <tuschano at cc.helsinki.fi>
P. O. Box 9 (Siltavuorenpenger 20 A)      | telephone:
FIN-00014 University of Helsinki, Finland | +358 (0)40 584 2720