[go: up one dir, main page]

Academia.eduAcademia.edu
paper cover icon
Reference, paradoxes and truth

Reference, paradoxes and truth

Synthese, 2008
Abstract
We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones.

Michal Walicki hasn't uploaded this paper.

Let Michal know you want this paper to be uploaded.

Ask for this paper to be uploaded.