[FOM] Wittgenstein?

[T P Uschanov]

Torkel Franzen wrote:

>  >In other words, when one wants to say "There are statements that are
>  >true that cannot be proven within system S", one would be better off
>  >saying "There are statements that are true within system S that
>  >cannot be proven within system S".
> 
>   Could you explain this further, say in the case where S is PA. What
> is meant by "A is true within PA"?

Well, simply that they are true within PA and not something else. For 
instance, the Peano axioms are true within PA, but it was not true that 
NaturalNo.(0) within the arithmetic I was taught at school.

-- 
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