Your conduct and choice of user name both indicate that do not want an honest dialogue.Skepdick wrote: ↑Wed Apr 05, 2023 7:08 amMy conduct has nothing to do with the fact that you are wrong, but it sure gives you a convenient excuse to change the subject without acknowledging your error.PeteOlcott wrote: ↑Tue Apr 04, 2023 6:42 pm The choice of your username seems to indicate the latter.
being a dick
conducting oneself in an inappropriate manner to the annoyance of others.
https://www.urbandictionary.com/define. ... 20a%20Dick
In any case there cannot possibly be any mistake in the way that analytical truth really works:
Introducing the foundation of correct reasoning
Just like with syllogisms conclusions are a semantically necessary consequence of their premises
Semantic Necessity operator: ⊨□
(a) Some expressions of language L are stipulated to have the semantic property of Boolean true.
(b) Some expressions of language L are a semantically necessary consequence of others.
P is a subset of expressions of language L
T is a subset of (a)
Provable(P,X) means P ⊨□ X // This is the conventional provable not Tarski's that has axioms as premises
True(T,X) means X ∈ (a) or T ⊨□ X // True(X) means X is an axiom or X is derived from axioms
False(T,X) means T ⊨□ ~X // False(X) means ~X is derived from axioms
Copyright 2018-2023 PL Olcott