Self-reference 2 (Paradoxes)

Simple instruction for generating paradoxes The trick with which classical logical systems can be invalidated consists of two instructions: 1: A statement refers to itself. 2: The reference or the statement contains a negation. This constellation always results in a paradox. A famous example of a paradox is the barber who shaves all the men in the village, except of course those who shave themselves (they don't need the barber). The formal paradox arises from the question of whether the barber shaves himself. If he does, he's one of those men who shave themselves and, as the statement about

Paradoxes and Logic (Part 1)

Logic in Practice and Theory Computer programs consist of algorithms. Algorithms are instructions on how and in what order an input is to be processed. Algorithms are nothing more than applied logic and a programmer is a practising logician. But logic is a broad field. In a very narrow sense, logic is a part of mathematics; in a broad sense, logic is everything that has to do with thinking. These two poles show a clear contrast: The logic of mathematics is closed and well-defined, whereas the logic of thought tends to elude precise observation: How do I come to a

Go to Top