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


Groups > sci.math > #641412

Re: A new category of thought

From Kaz Kylheku <046-301-5902@kylheku.com>
Newsgroups comp.theory, sci.logic, sci.math, sci.lang
Subject Re: A new category of thought
Date 2025-11-29 17:53 +0000
Organization A noiseless patient Spider
Message-ID <20251129094642.874@kylheku.com> (permalink)
References <10gf76d$3ha5v$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw


On 2025-11-29, olcott <polcott333@gmail.com> wrote:
> Any expression of language that is proven true entirely
> on the basis of its meaning expressed in language is
> a semantic tautology.

A tautology is an expression of logic which is true for all
combinations of the truth values of its variables and propositions,
which is, of course, regardless of what they mean/represent.

For instance "P or not P".

A deductive argument is tautological; its deduction is true
for all interpretations of the propositions it contains,
in all possible universes of discourse.

You would need to have tremendous stature in logic to
be able to dictate a redefinition of a deeply entrenched,
standard term.

-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca

Back to sci.math | Previous | NextPrevious in thread | Next 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