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

Groups > comp.theory > #142673

Re: Olcott's big correction to symbolic logic

From olcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic, sci.math
Subject Re: Olcott's big correction to symbolic logic
Date 2026-07-09 12:02 -0500
Organization A noiseless patient Spider
Message-ID <112ok6h$i010$1@dont-email.me> (permalink)
References (3 earlier) <112nitk$7g8t$1@dont-email.me> <112obl1$f5v1$1@dont-email.me> <_hadncRIO-N3XtL3nZ2dnZfqnPudnZ2d@giganews.com> <112ohrj$h88t$1@dont-email.me> <112oj0m$1054$1@news.muc.de>

Cross-posted to 3 groups.

Show all headers | View raw

On 7/9/2026 11:41 AM, Alan Mackenzie wrote:
> [ Followup-To: set ]
> 
> In comp.theory olcott <polcott333@gmail.com> wrote:
>> On 7/9/2026 10:52 AM, Ross Finlayson wrote:
>>> The entire body of knowledge itself can be
>>> directly encoded as Prolog Facts and rules.
> 
>> Do you understand the details of how this is true
>> without any stream-of-consciousness verbosity?
>> (a) Yes
>> (b) No
>> (c) Succinctness is impossible for me
> 
> I understand better than you that the entire body of knowledge cannot be
> so encoded. 

That is enormously better than stream-of-consciousness
that cannot seem to ever get to the point.

The entire body of general knowledge expressed in
language is computable when all the empirical and analytic
"atomic facts" are first written down as axioms and the
only inference step allowed is semantic entailment
specified syntactically.

This is closest to PTS definitional reflection:
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Thomas Piecha and Peter Schroeder-Heister

Atomic Systems in Proof-Theoretic Semantics: Two Approaches
Thomas Piecha & Peter Schroeder-Heister


>  At the very least, you have not attempted to prove this,
> and the burden of proof is on you.
>  > And if such an encoding were somehow possible, it would be useless.
> What possible use could it be?
> 
>> -- 
>> Copyright 2026 Olcott
> 


-- 
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 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 big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-06 10:15 -0500
  Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-08 10:24 +0300
    Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-08 15:26 -0500
      Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:34 +0300
        Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 09:36 -0500
          Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 08:52 -0700
            Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 11:22 -0500
              Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 16:41 +0000
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 12:02 -0500
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 17:23 +0000
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 12:35 -0500
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 13:05 -0500
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 19:16 +0000
                Re: Olcott's big correction to symbolic logic "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-09 13:08 -0700
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 15:49 -0500
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-10 10:02 +0000
                Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 09:12 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-11 10:35 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-11 19:49 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-12 11:23 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-12 11:00 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:04 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-13 11:19 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning dbush <dbush.mobile@gmail.com> - 2026-07-13 15:34 -0400
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:44 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-14 13:47 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:34 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-15 11:11 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:33 +0300
              Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 12:56 -0700
                Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 13:40 -0700
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 16:05 -0500
          Re: Olcott's big correction to symbolic logic André G. Isaak <agisaak@gm.invalid> - 2026-07-09 14:15 -0600
            Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 13:37 -0700
              Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 16:02 -0500
                Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 14:04 -0700
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 16:08 -0500
                Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 18:55 -0700
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 22:12 -0500
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-10 00:08 -0500
                Re: Olcott's big correction to symbolic logic "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-10 16:46 -0700
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 21:14 +0000
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 17:02 -0500
              Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-10 00:14 -0500
            Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 15:58 -0500
              Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-10 10:37 +0300
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-10 08:36 -0500
                Re: Olcott's big correction to symbolic logic André G. Isaak <agisaak@gm.invalid> - 2026-07-10 08:51 -0600
                Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 10:15 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 09:57 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 11:09 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning Alan Mackenzie <acm@muc.de> - 2026-07-10 17:02 +0000
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 12:28 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 12:12 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning Alan Mackenzie <acm@muc.de> - 2026-07-10 18:27 +0000
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 13:57 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 13:11 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 14:33 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 14:52 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 16:17 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-10 16:50 -0700
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 13:45 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 11:16 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 12:36 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 12:06 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 13:35 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 13:07 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 14:30 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 14:46 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 16:09 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning Alan Mackenzie <acm@muc.de> - 2026-07-10 21:32 +0000
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 16:45 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 16:44 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 23:59 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-11 06:33 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-11 20:08 -0500
                Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-11 10:45 +0300
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-11 19:52 -0500
          Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-10 10:52 +0300
            Semantic Entailment --- Principle of compositionality applied to base terms olcott <polcott333@gmail.com> - 2026-07-10 09:05 -0500
              Re: Semantic Entailment --- Principle of compositionality applied to base terms Mikko <mikko.levanto@iki.fi> - 2026-07-11 11:08 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-11 20:00 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term Mikko <mikko.levanto@iki.fi> - 2026-07-12 12:15 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-12 11:10 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:08 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-13 11:25 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-13 11:52 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 16:49 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 12:20 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 11:27 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 13:08 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 12:27 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 14:57 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 16:10 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 14:28 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 15:38 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 16:51 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 16:08 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 17:18 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 22:02 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:04 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 16:11 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:32 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 16:35 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 16:13 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 17:20 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 16:46 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 17:56 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 17:02 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 19:33 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 18:42 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 20:23 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 19:38 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 20:56 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 20:23 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 21:38 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 15:31 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-15 20:38 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-15 15:44 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-15 16:53 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:51 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 14:09 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 11:12 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 11:50 -0500
              Re: Semantic Entailment --- Principle of compositionality applied to base terms Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 16:52 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base terms olcott <polcott333@gmail.com> - 2026-07-14 12:23 -0500
  Re: Olcott's big correction to symbolic logic Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 16:12 +0100
    Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-14 12:09 -0500
      Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-15 12:07 +0300
        Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-15 11:18 -0500
          Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-15 19:21 +0000
            Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-15 15:01 -0500
              Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:52 +0300
              Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-16 13:54 +0000
                Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-17 09:25 +0300
          Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:47 +0300

csiph-web