[MD] Tuukka's letter to Robert Pirsig

[craigerb at comcast.net]

[Tuukka]
> Nonrelativizability is not a property of a predicate, but a property of 
> the way in which it is used.

> the meanings of nonrelativizably used predicates are random, from a logical point of view.
> If we want to write unambiguous text that may be rationally understood, we may not use such predicates.
> If we may not use the predicate “nonrelativizably used predicate”, we also may not allege,
> that a certain predicate in a certain discussion is used nonrelativizably.

[Tuukka, reconstructed]
1) A nonrelativizably used predicate is being used meaninglessly (from a logical point of view).
2) Using predicates meaninglessly is not allowed in unambiguous text that may be rationally understood.
3) Alleging that a predicate is being used nonrelativizably is
using the predicate 'nonrelativizably used predicate'.
4) In alleging that a predicate is being used nonrelativizably, the predicate
'nonrelativizably used predicate' is used nonrelativizably.
5) :. Alleging that a predicate is being used nonrelativizably is 
not allowed in unambiguous text that may be rationally understood.

1) - 5) is valid, but as 4) is false, 5) has not been shown to be true. 
Craig