Re: This makes all Analytic(Olcott) truth computable --- True(L,x) defined

On 8/20/2024 5:30 AM, Mikko wrote:

On 2024-08-19 12:48:08 +0000, olcott said:
 

On 8/19/2024 3:07 AM, Mikko wrote:

On 2024-08-18 12:18:02 +0000, olcott said:
 

On 8/15/2024 4:01 AM, Mikko wrote:

On 2024-08-13 12:43:16 +0000, olcott said:
 

 In epistemology (theory of knowledge), a self-evident proposition
is a proposition that is known to be true by understanding its meaning
without proof https://en.wikipedia.org/wiki/Self-evidence

 Self-evident propositions are uninteresting.
 

 It turns out that self-evident <is> the notion of {analytic truth}
and all of math and logic only deals in {analytic truth}.

 A large part of what math and logic deals in is not self-evident.
For examle, most people would not regard it self-evident that in
classical geometry it is impossible to construct a square that
has the same area as a given circle.
 

 By self-evident I do not mean that people can understand it.
I only mean that it is semantically entailed by a set of axioms.
A better term than self-evident is semantic tautology.

 Which dictionary has that as the first meaning of "self-evident"?
 

 In epistemology (theory of knowledge), a self-evident
proposition is a proposition that is known to be true
by understanding its meaning without proof.
https://en.wikipedia.org/wiki/Self-evidence