2
$\begingroup$

Consider the following paradox:

On Silicy everyone lies all the time, and if you are not from Silicy, you speak the truth all the times. Call the proposition "I am from Silicy" $p$.

Then $p$ is not true, because then he is from Silicy, thus lies.

But $p$ cannot be false either because then he is not from Silicy, which means he always speaks true, which contradicts that $p$ is false.

Can someone explain to me where I go wrong here? My knowledge of logic is very limited: I know truth tables, the logical symbols and some tautologies such as de Morgan's laws, and that is pretty much it.

$\endgroup$
  • 4
    $\begingroup$ Such self-referential phrases ($p$ is about $p$) do not fit in the framework of Boolean algebra, they are not acceptable propositions. $\endgroup$ – Yves Daoust Aug 2 '17 at 10:39
  • $\begingroup$ @YvesDaoust I think your comment should be an answer $\endgroup$ – TZakrevskiy Aug 2 '17 at 10:47
  • $\begingroup$ As @YvesDaoust points out, you cannot assume something that contradicts with your assumptions, so statement "On silicy everyone lies" is not a valid nor acceptable statement.I mean of course you can assume such thing, but if you do that, you can derive almost anything from it. $\endgroup$ – onurcanbektas Aug 2 '17 at 10:49
  • 1
    $\begingroup$ How did Crete become Sicily here? (I suspect Vizzini may be to blame). $\endgroup$ – Henning Makholm Aug 2 '17 at 11:37
  • 1
    $\begingroup$ @HenningMakholm: in Lieland, Sicily is called Silicy. $\endgroup$ – Yves Daoust Aug 2 '17 at 12:15
3
$\begingroup$

Such self-referential phrases ($p$ is about $p$) do not fit in the framework of Boolean algebra/propositional logic, they are not acceptable propositions.

A proposition must have a well-defined truth value, either $\text{true}$ or $\text{false}$, and $\text{true}\lor\lnot\text{true}$, $\text{false}\lor\lnot\text{false}$ do hold.

$\endgroup$
  • $\begingroup$ “A proposition must have a well-defined truth value.” I think it is questionable, there are undecidable propositions. But every mathematical object must be well defined, of course, and in general a definition cannot refer to the object being defined. $\endgroup$ – Idéophage Aug 2 '17 at 12:25
  • $\begingroup$ @Idéophage: there are no undecidable propositions. Propositions belong to the zero-th order logic. $\endgroup$ – Yves Daoust Aug 2 '17 at 12:27
  • $\begingroup$ Ok, I confused with a statement, it seems. $\endgroup$ – Idéophage Aug 2 '17 at 12:34
1
$\begingroup$

Proposition $p$: Someone from Sicily says "I lie". Your first assertion is correct, this cannot hold if we assume that everyone on Sicily lies.

Therefore, $p$ is false. Someone from Sicily, in this case, did not say "I lie".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.