Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko Newsgroups: sci.logic Subject: Re: This makes all Analytic(Olcott) truth computable Date: Tue, 20 Aug 2024 13:30:45 +0300 Organization: - Lines: 34 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 20 Aug 2024 12:30:45 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c68d48608550e7e7fabcc3f8200ba7d3"; logging-data="3527078"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX192sVTFStdKpR9QVlv3MedS" User-Agent: Unison/2.2 Cancel-Lock: sha1:3gqy7WD8VAdWpJEKrrXAkYz0ORs= Bytes: 2981 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 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"? -- Mikko