- What we say in ordinary English by using the words 'be', 'same', and 'true' can be said by using quantifiers and variables.
- The apparatus of quantifiers and variables involves the concept of reflection as well as derelativization.
- Is derelativization as well as reflection required for the expression of identity propositions?
- What can be shown and what can be said with respect to identity.
- 'Der' needed as well as 'Ref' for the reductive analysis of identity as a relation.
- 'Der' and 'Ref' transcend syntactical categories, as do the concepts of being and identity. Truth, on the other hand, can be expressed by 'Der' and 'Ref' only when these are restricted to the category of third-level predicables.
- Reflection, thus restricted, is the same as correspondence.
- Natural languages, lacking presentences, need pseudo-predicables like "true". Their category of definite descriptions also fails to distinguish third-level predicables like 'What Percy says' from second-level predicables like 'What the postman brought'. This is a further reason for the emergence of the pseudo-predicable 'true'.
- Definite descriptions, seeming to name objects, give rise not only to pseudo-properties for these objects, like truth, but also to pseudo-relations between them, like identity.
- The point about being, identity, and truth made without benefit of logical symbolism.
Photocopy of complete Book filed in "Various - Papers on Identity Boxes: Vol 19 (W)".
Text Colour Conventions (see disclaimer)
- Blue: Text by me; © Theo Todman, 2018
- Mauve: Text by correspondent(s) or other author(s); © the author(s)