info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Is this simplest version of the Liar Paradox: ∃LP (LP ↔ ⊢¬LP) refutable?
1 view
Skip to first unread message
peteolcott
May 27, 2019, 11:23:13 AM5/27/19
to
LHS(LP) and RHS(⊢¬LP) of this expression: (LP ↔ ⊢¬LP)
(1) If LP was true then the LHS would be true and the RHS would be false.
(2) If ¬LP was true then the LHS would be false and the RHS would be true.
Thus in neither case: LHS ↔ RHS, ∴ ¬∃LP.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
(1) If LP was true then the LHS would be true and the RHS would be false.
(2) If ¬LP was true then the LHS would be false and the RHS would be true.
Thus in neither case: LHS ↔ RHS, ∴ ¬∃LP.
--
Copyright 2019 Pete Olcott All rights reserved
"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
0 new messages