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

Groups > comp.theory > #142677

Re: Olcott's big correction to symbolic logic

From Alan Mackenzie <acm@muc.de>
Newsgroups comp.theory, sci.logic, sci.math
Subject Re: Olcott's big correction to symbolic logic
Followup-To comp.theory
Date 2026-07-09 19:16 +0000
Organization muc.de e.V.
Message-ID <112os28$2jvc$1@news.muc.de> (permalink)
References (6 earlier) <112ohrj$h88t$1@dont-email.me> <112oj0m$1054$1@news.muc.de> <112ok6h$i010$1@dont-email.me> <112ole9$1054$2@news.muc.de> <112om5h$imlu$1@dont-email.me>

Cross-posted to 3 groups.

Followups directed to: comp.theory

Show all headers | View raw

[ Followup-To: set ]

In comp.theory olcott <polcott333@gmail.com> wrote:
> On 7/9/2026 12:23 PM, Alan Mackenzie wrote:
> > In comp.theory olcott <polcott333@gmail.com> wrote:
> >> On 7/9/2026 11:41 AM, Alan Mackenzie wrote:
> >>> 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.

> > [ .... ]

> >> 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.

> > That cannot be done.  It stretches the word "axiom" to breaking point.

> Then fucking call it stipulated facts that can be looked up.

I'm calling it rubbish.  I'm demonstrating by argument that your "system"
is incoherent and non existent.

> > Axioms are basic assumptions from which other facts can be derived.  In
> > your "system" there are just facts, from which further facts can't be
> > derived since there are no further facts.

> > "All" the facts you are talking about involve the position and state of
> > every elementary particle in the universe.  There aren't enough pieces of
> > paper to write these down, even ignoring Heisenberg's uncertainty
> > principle.


> "general knowledge" guesstimated at 200 petabytes.

Oh really?  That's just a big number plucked out of thin air.

But let's run with it.  200 petabytes is 2 x 10^14 bytes.  According to
Wikipedia's article on galaxies, there are around 10^12 glaxies in the
observable universe.  So your 200 petabytes will stretch to just 200 bytes
per galaxy.  In the same article, it gives the average number of stars in
a galaxy as around 10^8.  Many of these 10^20 stars will have planets,
and their structure, properties, and interactions will be just as
complicated as in our own system.

This is all part of your "complete" general knowledge.  200 petabytes for
all this is laughably inadequate.

The whole idea of having complete general knowledge is likewise
laughable.

> > You've made it clear, I think in a reply to Mikko, that by "semantic
> > entailment" you just mean informal linguistic discussion in English (or
> > some other human language).

> The simplest idea semantic entailment is completely
> specified by the syllogism. I merely extend that
> to confirming whether or not a fact can be looked
> up in a list of "atomic facts" or5 derived deductively
> from elements of this list.

Which has next to nothing to do with symbolic logic.

> There is no element that says cats are living things.

> > What you're picturing has nothing to do with symbolic logic; it has no
> > defined symbols and is lacking logic.

> >> 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?

> > No answer to this critical point?


> The meaning of my words proves my point.
> This cannot occur until you first comprehend
> the meaning of my words.

Oh, I do.  Your words are just vagueness followed by vagueness, with
constant avoidance of precision.  That is the real reason you object to
mathematical definitions, isn't it?  That in using them correctly you
could be tied down to precise meanings, undermining your vagueness, at
which point your arguments would collapse.

> -- 
> Copyright 2026 Olcott

-- 
Alan Mackenzie (Nuremberg, Germany).

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