Abstract:On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.
What problem does this paper attempt to address?
The problems that this paper attempts to solve are truth paradoxes, especially problems like the Liar paradox and the Truthteller paradox. These problems reveal the limitations and potential contradictions in classical language when dealing with truth - value determination.
### Specific problem description:
1. **Limitations of classical language assumptions**:
- Classical language assumes that every sentence has a definite truth - value (true or false). However, certain self - referring sentences (such as "This sentence is false") lead to paradoxes and their truth - values cannot be determined.
- These paradoxes stem from the conflict between the classical assumptions of language functions and the actual situation. For example, the Liar paradox shows this conflict: if it is considered to be true, then it claims to be false; if it is considered to be false, then it is actually true.
2. **Introduction of the truth predicate**:
- When the truth predicate \( T \) (that is, "a certain sentence is true") is introduced into the language, the classical truth - value determination process may fall into circular dependence, resulting in the inability to determine the truth - values of certain sentences.
3. **Seeking solutions**:
- The paper aims to solve these paradoxes by redefining the semantics of the truth predicate. Specifically, the author proposes a new semantic framework that allows some sentences to have no definite truth - value (that is, an undetermined state), thus avoiding the paradoxes.
### Core ideas of the solution:
- **Dual - semantic framework**:
- **Primary Semantics**: Maintain the classical logical structure, but admit that some sentences may not have a definite truth - value.
- **Final Semantics**: Expand on the basis of primary semantics to allow more complex truth - value judgments. For example, for the Liar paradox, the final semantics can conclude that it is undetermined in the primary semantics, but false in the final semantics.
- **Application of three - valued logic**:
- Introduce a third truth - value "undetermined" to handle situations that cannot be described by the classical two - valued logic (true/false).
- **Re - interpretation of the truth predicate**:
- In the final semantics, the truth - value of the truth predicate \( T(\bar{\phi}) \) depends on the truth - value of the sentence \( \phi \) in the primary semantics. For example, if \( \phi \) is undetermined in the primary semantics, then \( T(\bar{\phi}) \) is false in the final semantics.
In this way, the paper provides a new method that can both preserve the classical logical structure and solve the truth paradoxes.