| Deutsch English Français Italiano |
|
<uvvsap$3i5q8$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--
Date: Sat, 20 Apr 2024 10:54:01 +0300
Organization: -
Lines: 16
Message-ID: <uvvsap$3i5q8$1@dont-email.me>
References: <uvq0sg$21m7a$1@dont-email.me> <uvq359$1doq3$4@i2pn2.org> <uvrbvs$2acf7$1@dont-email.me> <uvs70t$1h01f$1@i2pn2.org> <uvsgcl$2i80k$1@dont-email.me> <uvsj4v$1h01e$1@i2pn2.org> <uvubo2$34nh3$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 Apr 2024 09:54:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3c0dc521ac8cd5f46eb39e971a1d97ad";
logging-data="3741512"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX191i9gceQouOMfc2HYh3+/B"
User-Agent: Unison/2.2
Cancel-Lock: sha1:skd/bJK+XCY/aSyCtbKhXhl6rWc=
Bytes: 1709
On 2024-04-19 18:04:48 +0000, olcott said:
> When we create a three-valued logic system that has these
> three values: {True, False, Nonsense}
> https://en.wikipedia.org/wiki/Three-valued_logic
Such three valued logic has the problem that a tautology of the
ordinary propositional logic cannot be trusted to be true. For
example, in ordinary logic A ∨ ¬A is always true. This means that
some ordinary proofs of ordinary theorems are no longer valid and
you need to accept the possibility that a theory that is complete
in ordinary logic is incomplete in your logic.
--
Mikko