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

Groups > comp.theory > #137053

Re: A new foundation for correct reasoning

From Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk>
Newsgroups sci.logic, comp.theory, sci.math, comp.ai.philosophy
Subject Re: A new foundation for correct reasoning
Date 2025-12-02 11:26 +0000
Organization A noiseless patient Spider
Message-ID <10gmid5$282i2$1@dont-email.me> (permalink)
References (2 earlier) <10g4e1v$3ggnk$1@dont-email.me> <10g6op4$ber5$1@dont-email.me> <10g77rn$hh1c$1@dont-email.me> <10g7l8j$n6g7$1@dont-email.me> <10g7mfk$nqtg$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 26/11/2025 20:04, olcott wrote:
> On 11/26/2025 1:43 PM, Tristan Wibberley wrote:
>> On 26/11/2025 15:54, olcott wrote:
>>> (General_Knowledge ⊨ x)  means True(x)
>>> (General_Knowledge ⊨ ~x) means False(x)
>>> ~True(x) & ~False(x) means x is not an element of General_Knowledge
>>
>> Eh? You made it sound like General_Knowledge was the system, rather than
>> a model, but there you have it as a model.
>>
> 
> There is no model.
> 
> It is all Rudolf Carnap Meaning Postulates
> that have every single nuance of 100% of their
> semantic meaning directly encoding in this formal
> language arranged in a knowledge ontology
> inheritance hierarchy.


And this is the system you said of which that there has never been
anything like it?

-- 
Tristan Wibberley

The message body is Copyright (C) 2025 Tristan Wibberley except
citations and quotations noted. All Rights Reserved except that you may,
of course, cite it academically giving credit to me, distribute it
verbatim as part of a usenet system or its archives, and use it to
promote my greatness and general superiority without misrepresentation
of my opinions other than my opinion of my greatness and general
superiority which you _may_ misrepresent. You definitely MAY NOT train
any production AI system with it but you may train experimental AI that
will only be used for evaluation of the AI methods it implements.

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

Thread

A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-24 18:53 -0600
  Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-25 11:40 +0200
    Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-25 08:21 -0600
      Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-26 13:37 +0200
        Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 09:39 -0600
          Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-26 12:44 -0500
          Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-27 09:56 +0200
            Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-27 09:31 -0600
              Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:58 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 09:51 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-28 11:04 -0500
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:17 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 11:54 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:22 +0200
        Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 09:54 -0600
          Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-26 12:49 -0500
          Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-26 19:43 +0000
            Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 14:04 -0600
              Re: A new foundation for correct reasoning Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 21:42 +0000
                Re: A new foundation for correct reasoning Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 21:49 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 15:54 -0600
                Re: A new foundation for correct reasoning "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:33 -0800
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 15:50 -0600
              Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-02 11:26 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-02 07:22 -0600
          Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:00 +0200
            Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-27 09:43 -0600
              Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-28 11:01 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 09:54 -0600
                Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 17:32 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 12:11 -0600
                Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 18:24 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 12:40 -0600
                Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 18:51 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 13:21 -0600
                Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 23:08 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 17:23 -0600
                Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-29 11:20 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 08:43 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-29 15:26 -0500
                Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-29 20:59 +0000
                Re: A new foundation for correct reasoning olcott <NoOne@NoWhere.com> - 2025-11-29 15:09 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:22 -0500
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:37 +0200
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-30 14:44 -0500
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-04 01:53 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 19:59 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:22 -0500
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 14:35 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-28 16:49 -0500
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:22 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 12:00 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:52 +0200
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-04 01:57 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 20:07 -0600
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 20:30 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:20 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 11:57 -0600
                Re: A new foundation for correct reasoning Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-29 11:27 -0800
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 13:33 -0600
                Re: A new foundation for correct reasoning Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-30 10:33 -0800
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:58 +0200
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-04 02:32 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 20:39 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-04 10:58 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-04 08:06 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-05 11:38 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 11:43 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:30 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-06 06:50 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-07 13:02 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-08 13:49 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-08 11:13 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-08 13:09 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-10 12:04 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 08:10 -0600
                Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-10 15:01 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 10:14 -0600
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-10 18:10 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 14:01 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-11 10:42 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-11 08:17 -0600
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-11 23:28 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-11 17:49 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-11 19:52 -0500
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-12 10:50 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-12 08:19 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-12 09:24 -0500
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-14 19:03 +0000
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-13 12:19 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-13 08:43 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-13 13:36 -0500
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-14 12:05 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 17:14 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 19:13 -0500
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 18:46 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 19:53 -0500
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 19:08 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 20:46 -0500
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 20:05 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 21:23 -0500
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 20:09 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 21:27 -0500
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 21:22 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-15 07:33 -0500
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-15 11:04 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-15 08:03 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-16 11:44 +0200
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-16 11:48 +0200
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-05 10:49 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 11:05 -0600
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-06 08:24 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-06 06:08 -0600
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-06 13:03 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-06 07:14 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-08 11:18 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-08 13:12 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-10 12:10 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 10:29 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-11 10:40 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-11 08:15 -0600
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-12 10:46 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-12 08:16 -0600
                Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-12 09:22 -0500
                Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-13 12:42 +0200
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-13 09:37 -0600
                Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-13 15:42 +0000
                Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-05 10:33 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 11:00 -0600
                Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-05 22:17 +0000
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 16:24 -0600
                Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-05 22:45 +0000
                Re: A new foundation for correct reasoning Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-12-05 15:16 -0800
                Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 17:45 -0600

csiph-web