Re: Minimal Logics in the 2020's: A Meteoric Rise

On 7/4/2024 8:58 PM, Mild Shock wrote:

 When red means blue, and yellow means
green, then black is white. Thanks for your hint!
 If my Grandmother had wheels she would have been a bike
https://www.youtube.com/watch?v=OplyHCIBmfE
 

*Here is the same thing more clearly*
Every expression of language that is {true on the basis of
its verbal meaning} is only made true by a sequence of truth
preserving operations to this {verbal meaning}.
The only way that we know that puppies are not fifteen
story office buildings is that the accurate verbal model
of the actual world tells use so.

olcott schrieb:

When provable means true and false means unprovable
then (Γ ⊢ X) means X is true in Γ.
then (Γ ⊢ ~X) means X is conventional false  in Γ.
the (Γ ⊬ X) ∧ (Γ ⊬ ~X) X is not a truth bearer in Γ.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer