Re: A new category of thought

Subject	Re: A new category of thought
Newsgroups	comp.theory, sci.logic, sci.math, sci.lang
References	<10gf76d$3ha5v$1@dont-email.me>
From	Richard Damon <Richard@Damon-Family.org>
Message-ID	<7pIWQ.9130$fEH6.3983@fx41.iad> (permalink)
Organization	Forte - www.forteinc.com
Date	2025-11-29 15:08 -0500

Cross-posted to 4 groups.

Show all headers | View raw

On 11/29/25 11:32 AM, olcott wrote:
> Any expression of language that is proven true entirely
> on the basis of its meaning expressed in language is
> a semantic tautology.
> 
> I also call this Analytic(Olcott)
> 
> https://plato.stanford.edu/entries/analytic-synthetic/
> 
> Two Dogmas of Empiricism
> Willard Van Orman Quine
> https://www.theologie.uzh.ch/dam/jcr:ffffffff- 
> fbd6-1538-0000-000070cf64bc/Quine51.pdf
> 
> It overcomes Quine's objections by encoding basic facts
> of the world as Rudolf Carnap Meaning Postulates organized
> as a knowledge ontology inheritance hierarchy
> 
>    In information science, an ontology encompasses a
>    representation, formal naming, and definitions of
>    the categories, properties, and relations between
>    the concepts...
>    https://en.wikipedia.org/wiki/Ontology_(information_science)
> 
>    That is essentially Kurt Gödel's "theory of simple types" By
>    the theory of simple types I mean the doctrine which says
>    that the objects of thought ... are divided into types,
>    namely: individuals, properties of individuals, relations
>    between individuals, properties of such relations, etc.
>    https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944
> 

Ib other words, you are claiming to have create a "logic system" that 
can only handle things that are tautologically true.

Since most interesting statements are not tautologies, your system is 
just uninteresting at best, and generally worthless.

Can you show an actually useful problem that you can actually SOLVE with 
your idea of a logic system.

Back to sci.math | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

A new category of thought olcott <polcott333@gmail.com> - 2025-11-29 10:32 -0600
  Re: A new category of thought Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 17:53 +0000
    Re: A new category of thought olcott <polcott333@gmail.com> - 2025-11-29 12:07 -0600
      Re: A new category of thought dbush <dbush.mobile@gmail.com> - 2025-11-29 13:19 -0500
        Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-01 16:55 +0000
          Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-01 11:04 -0600
        Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-02 11:49 +0200
          Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-02 09:26 -0600
            Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-04 08:46 -0600
              Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-05 10:52 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-05 11:21 -0600
                Re: A new category of thought André G. Isaak <agisaak@gm.invalid> - 2025-12-05 19:57 -0700
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-05 21:18 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:01 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-06 06:40 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-07 12:47 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 09:16 -0600
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 02:04 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 21:21 -0600
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 09:55 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-08 12:43 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-06 22:16 -0500
                Re: A new category of thought polcott <polcott333@gmail.com> - 2025-12-06 21:50 -0600
                Re: A new category of thought Python <python@cccp.invalid> - 2025-12-07 05:32 +0000
                Re: A new category of thought Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-12-07 15:49 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 11:38 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-07 07:32 -0500
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 07:37 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-07 17:55 -0500
                Re: A new category of thought polcott <polcott333@gmail.com> - 2025-12-07 17:15 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-07 21:50 -0500
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 21:26 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-08 07:40 -0500
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-08 12:47 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-08 19:18 -0500
                Re: A new category of thought polcott <polcott333@gmail.com> - 2025-12-08 19:00 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-08 21:24 -0500
                Key new insight into halting undecidability polcott <polcott333@gmail.com> - 2025-12-08 20:34 -0600
                Re: Key new insight into halting undecidability Richard Damon <Richard@Damon-Family.org> - 2025-12-08 21:57 -0500
                Re: Key new insight into halting undecidability polcott <polcott333@gmail.com> - 2025-12-08 21:16 -0600
                Re: Key new insight into halting undecidability Richard Damon <Richard@Damon-Family.org> - 2025-12-08 22:22 -0500
                Re: Key new insight into halting undecidability polcott <polcott333@gmail.com> - 2025-12-08 21:50 -0600
                Re: Key new insight into halting undecidability Richard Damon <Richard@Damon-Family.org> - 2025-12-08 23:20 -0500
                Re: Key new insight into halting undecidability polcott <polcott333@gmail.com> - 2025-12-08 22:30 -0600
                Re: Key new insight into halting undecidability Richard Damon <Richard@Damon-Family.org> - 2025-12-09 07:42 -0500
                Re: Key new insight into halting undecidability polcott <polcott333@gmail.com> - 2025-12-09 10:05 -0600
                Re: Key new insight into halting undecidability Richard Damon <Richard@Damon-Family.org> - 2025-12-09 23:02 -0500
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 02:14 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 21:21 -0600
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 07:07 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-08 10:41 -0600
                Re: A new category of thought Python <python@cccp.invalid> - 2025-12-08 19:39 +0000
            Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-05 10:57 +0200
              Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-05 11:30 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-06 10:53 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-06 06:33 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-07 12:42 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 09:03 -0600
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-08 06:12 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-08 07:59 -0600
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-08 10:18 -0600
      Re: A new category of thought Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 20:23 +0000
        Re: A new category of thought olcott <polcott333@gmail.com> - 2025-11-29 14:51 -0600
          Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:27 -0500
            Re: A new category of thought "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-29 15:53 -0800
              Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-11-29 19:17 -0500
                Re: A new category of thought "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-29 16:35 -0800
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:10 -0500
                Re: A new category of thought "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-29 19:49 -0800
                Re: A new category of thought "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-29 19:50 -0800
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-02 01:59 +0000
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-12-01 23:11 -0500
          Re: A new category of thought Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 21:39 +0000
            Re: A new category of thought olcott <polcott333@gmail.com> - 2025-11-29 15:59 -0600
              Re: A new category of thought Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 22:44 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-11-29 17:19 -0600
                Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-11-29 19:21 -0500
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-02 01:13 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-01 19:50 -0600
              Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-01 13:02 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-01 11:15 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-02 10:53 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-02 08:00 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-03 12:41 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-03 09:59 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-05 10:48 +0200
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-05 09:30 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-05 10:41 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-06 10:37 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-06 06:24 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-07 12:39 +0200
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-07 08:59 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-09 15:15 +0200
                Re: A new category of thought polcott <polcott333@gmail.com> - 2025-12-09 12:04 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-14 13:02 +0200
                Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-02 01:39 +0000
                Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-01 20:01 -0600
          Re: A new category of thought Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-01 17:37 +0000
            Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-01 13:44 -0600
  Re: A new category of thought Richard Damon <Richard@Damon-Family.org> - 2025-11-29 15:08 -0500

csiph-web