On Knowledge, Strings, and Paradoxes [chapter]

Manfred Kerber
1998 Lecture Notes in Computer Science  
A powerful syntactic theory as well as expressive modal logics have to deal with self-referentiality. Self-referentiality and paradoxes seem to be close neighbours and depending on the logical system, they have devastating consequences, since they introduce contradictions and trivialise the logical system. There is a large amount of di erent attempts to tackle these problems. Some of them are compared in this paper, futhermore a simple approach based on a three-valued logic is advocated. In
more » ... approach paradoxes may occur and are treated formally. However, it is necessary to be very careful, otherwise a system built on such an attempt trivialises as well. In order to be able to formally deal with such a system, the reason for self-referential paradoxes is studied in more detail and a semantical condition on the connectives is given such that paradoxes are excluded.
doi:10.1007/3-540-49545-2_23 fatcat:ahvygm4zajb3jdppbq7lpcfrti