Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #142837

Re: Olcott's system

From olcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic, sci.math
Subject Re: Olcott's system
Date 2026-07-13 12:20 -0500
Organization A noiseless patient Spider
Message-ID <11336pc$3or9q$1@dont-email.me> (permalink)
References (11 earlier) <11326dp$3eg1c$1@dont-email.me> <113340l$3notj$5@dont-email.me> <11334it$107e$2@news.muc.de> <11335c1$3oclk$1@dont-email.me> <11336e8$107e$3@news.muc.de>

Cross-posted to 3 groups.

Show all headers | View raw

On 7/13/2026 12:14 PM, Alan Mackenzie wrote:
> In comp.theory olcott <polcott333@gmail.com> wrote:
>> On 7/13/2026 11:43 AM, Alan Mackenzie wrote:
>>> In comp.theory olcott <polcott333@gmail.com> wrote:
> 
> [ .... ]
> 
>>>> Claims without supporting evidence cannot
>>>> be correctly accepted as true.
> 
>>> You have never supplied any supporting evidence for your claims that all
>>> general knowledge can be organised as an acyclic graph, and that this
>>> task is feasible to accomplish.
> 
>> I am not talking about my claims.
> 
> Consistency has never been one of the properties of your posts, any more
> than exactness of expression, or intellectual soundness.
> 
>> I am saying that a key element of the generic
>> process of dividing truth from lies requires
> 
>>>> Claims without supporting evidence cannot
>>>> be correctly accepted as true.
> 
> You have never supplied any evidence for your claims, summarized in my
> last post.  They cannot thus be regarded as true.  Do you accept this?
> 

THIS IS A BASIC LAW OF TRUTH ITSELF
Claims without supporting evidence cannot
be correctly accepted as true.

-- 
Copyright 2026 Olcott

My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of general knowledge.
The complete structure of this system is now defined.

The entire body of knowledge expressed in language is
comprised of two types of relations between finite strings:
(a) *Axioms* Expressions of language that are stipulated to be true.

My system bridges the analytic/synthetic distinction by
expressly encoding all empirical "atomic facts" in a formal
language such as CycL of the Cyc project.

(b) *Inference Rules* Expressions of language that are semantically
entailed syntactically from (a) and/or (b).

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Olcott's system "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-12 10:11 +0200
  Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 09:15 -0500
    Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-12 14:30 +0000
      Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:13 -0500
        Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-12 16:48 +0000
          Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:56 -0500
            Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:38 +0300
              Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:28 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 12:19 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 11:25 -0500
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-15 11:01 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 12:24 -0500
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-15 13:32 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 15:34 -0500
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-15 18:10 -0600
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-17 12:48 +0100
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:18 +0300
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:13 +0300
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-15 15:28 -0400
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:05 +0300
      Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:22 +0300
        Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 13:51 +0000
          Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 10:31 -0500
            Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 16:22 +0000
              Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:37 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 20:17 +0000
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:33 -0700
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 15:48 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 21:09 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 18:01 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 12:07 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 12:33 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 14:39 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 16:56 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 15:38 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 17:49 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 17:29 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 19:38 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-14 19:03 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-14 21:12 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-15 13:03 -0700
                Re: Olcott's system (not Hobbes) olcott <polcott333@gmail.com> - 2026-07-15 15:56 -0500
                Re: Olcott's system (not Hobbes) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-15 20:18 -0700
                Re: Olcott's system (not Hobbes) Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:42 +0300
                Re: Olcott's system Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-13 21:27 -0700
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 23:43 -0500
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-13 16:03 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 18:05 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 11:51 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:35 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:41 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:34 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 12:34 +0300
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-17 20:10 +0100
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 12:19 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:45 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:43 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:35 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:45 +0300
              Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-17 08:44 +0100
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-17 12:43 +0000
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-17 11:55 -0700
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-21 15:02 +0100
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-21 16:36 +0000
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-22 11:10 -0600
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-22 19:20 +0100
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-22 13:43 -0700
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-22 21:31 +0000
                Re: Olcott's system Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-24 11:42 +0100
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-24 12:24 +0000
            Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:30 +0300
          Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 11:19 +0300
            Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 12:30 +0000
              Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 10:54 +0300
            Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:26 -0500
              Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:06 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:47 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 10:49 +0300
      Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-18 00:41 -0700
    Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 10:38 -0600
      Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:51 -0500
        Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 11:29 -0600
          Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 13:00 -0500
            Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 12:49 -0600
              Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 13:57 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:02 -0400
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:04 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 14:29 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:31 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 14:46 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 15:51 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:04 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 16:06 -0400
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:34 -0700
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 14:15 -0600
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-13 11:08 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:33 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 16:43 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 11:56 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 17:14 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 12:20 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-13 20:24 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-13 17:49 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 12:48 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 12:41 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 19:39 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:59 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 20:12 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 15:33 -0500
                Re: Olcott's system Alan Mackenzie <acm@muc.de> - 2026-07-14 20:48 +0000
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 16:04 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 11:07 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:22 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:11 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:52 -0500
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-15 15:59 -0700
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:10 +0300
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:59 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:19 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:16 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 10:54 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:13 +0300
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-13 15:36 -0400
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:45 -0700
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:57 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-14 14:16 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:24 +0300
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-15 11:00 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:25 +0300
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 13:50 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:08 -0500
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:31 +0300
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 13:25 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:02 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 16:04 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:15 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 16:27 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:56 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 17:03 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 16:21 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 17:27 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 16:40 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 17:57 -0400
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 17:15 -0500
                Re: Olcott's system dbush <dbush.mobile@gmail.com> - 2026-07-12 18:28 -0400
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 15:38 -0600
                Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 16:44 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-12 15:56 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 17:10 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-12 16:31 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 18:33 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-12 18:32 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 19:53 -0500
                Re: Totally clueless about inductive inference? dbush <dbush.mobile@gmail.com> - 2026-07-12 21:00 -0400
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 20:18 -0500
                Re: Totally clueless about inductive inference? dbush <dbush.mobile@gmail.com> - 2026-07-12 21:19 -0400
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 20:23 -0500
                Re: Totally clueless about inductive inference? dbush <dbush.mobile@gmail.com> - 2026-07-12 21:26 -0400
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-12 20:28 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-13 08:49 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-13 10:34 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-13 10:47 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-13 12:00 -0500
                Re: Totally clueless about inductive inference? André G. Isaak <agisaak@gm.invalid> - 2026-07-13 11:49 -0600
                Re: Totally clueless about inductive inference? olcott <polcott333@gmail.com> - 2026-07-13 12:55 -0500
                Re: Totally clueless about inductive inference? Mikko <mikko.levanto@iki.fi> - 2026-07-14 12:27 +0300
                Re: Totally clueless about inductive inference? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:56 -0700
                Re: Olcott's system André G. Isaak <agisaak@gm.invalid> - 2026-07-12 14:34 -0600
                Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 15:49 -0500
                Re: Olcott's system "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-13 13:52 -0700
                Re: Olcott's system Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:30 +0300
                Terribly evil lies that kill all life on Earth olcott <polcott333@gmail.com> - 2026-07-15 11:07 -0500
                Re: Terribly evil lies that kill all life on Earth Alan Mackenzie <acm@muc.de> - 2026-07-15 16:50 +0000
                Re: Terribly evil lies that kill all life on Earth olcott <polcott333@gmail.com> - 2026-07-15 12:19 -0500
                Re: Terribly evil lies that kill all life on Earth Alan Mackenzie <acm@muc.de> - 2026-07-15 17:54 +0000
                Re: Terribly evil lies that kill all life on Earth olcott <polcott333@gmail.com> - 2026-07-15 13:05 -0500
                Re: Terribly evil lies that kill all life on Earth Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-18 11:32 +0100
                Re: Terribly evil lies that kill all life on Earth Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:52 +0300
                Re: Terribly evil lies that kill all life on Earth Mikko <mikko.levanto@iki.fi> - 2026-07-16 11:45 +0300
  Re: Olcott's system olcott <polcott333@gmail.com> - 2026-07-12 11:23 -0500
    Re: Olcott's system inconsistent "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-13 08:24 +0200
      Re: Olcott's system inconsistent olcott <polcott333@gmail.com> - 2026-07-13 10:35 -0500
        Re: Olcott's system inconsistent "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2026-07-22 10:31 +0200

csiph-web