Sujet : Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 08. Jul 2024, 03:52:41
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6fk9p$mr5k$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 7/7/2024 9:50 PM, Richard Damon wrote:
On 7/7/24 10:22 PM, olcott wrote:
On 7/7/2024 1:30 PM, Richard Damon wrote:
>
Is "Not-a-logic-sentence" a truth value that True, of ~false can return or not?
>
>
*I will try to be perfectly clear*
Not-a-logic-sentence(L,x) ≡ (~True(L,x) ∧ ~True(L,~x))
>
In other words, you have no idea of how to express you concept in the terms of how a logic would be built with it, as you just don't undertand how logic works.
That every expression of language that is {true on the basis of
its meaning expressed using language} must have a connection by
truth preserving operations to its {meaning expressed using language}
is a tautology. The accurate model of the actual world is expressed
using formal language and formalized natural language.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer