Sujet : Re: True on the basis of meaning --- Good job Richard ! ---Socratic method
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 16. May 2024, 02:36:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v23kf1$15oml$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 24 25 26 27 28
User-Agent : Mozilla Thunderbird
On 5/13/2024 9:31 PM, Richard Damon wrote:
On 5/13/24 10:03 PM, olcott wrote:
>
Can a sequence of true preserving operations applied to expressions
that are stipulated to be true derive p?
*You keep forgetting that you said this*
No, so True(L, p) is false
and thus ~True(L, p) is true.
>
Can a sequence of true preserving operations applied to expressions
that are stipulated to be true derive ~p?
*You keep forgetting that you said this*
No, so False(L, p) is false,
So True(L, x) always returns True or False for all
inputs and False(L, x) defined as True(L,~x)
always returns True or False for all inputs.
TruthBearer(L, x) ≡ (True(L,x) ∨ False(L,x))
*To make this easier to understand*
True(English, "a fish") is false
False(English, "a fish") is false
TruthBearer(English, "a fish") is false
Thus "a fish" is rejected as a type mismatch error
for any system of bivalent logic, yet the predicates
still answer correctly.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer