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

Groups > comp.theory > #137050

Re: A new category of thought

From Mikko <mikko.levanto@iki.fi>
Newsgroups comp.theory, sci.logic, sci.math, sci.lang
Subject Re: A new category of thought
Date 2025-12-02 11:49 +0200
Organization A noiseless patient Spider
Message-ID <10gmcnm$25uic$1@dont-email.me> (permalink)
References <10gf76d$3ha5v$1@dont-email.me> <20251129094642.874@kylheku.com> <10gfcpa$3ji8m$1@dont-email.me> <10gfdg4$3jp83$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

dbush kirjoitti 29.11.2025 klo 20.19:
> On 11/29/2025 1:07 PM, olcott wrote:
>> On 11/29/2025 11:53 AM, Kaz Kylheku wrote:
>>> 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.
>>>
>>
>> I did not say tautology. I said semantic tautology.
>> I am defining a new thing under the Sun.
>>
>> *Semantic tautology is stipulated to mean*
>> Any expression of language that is proven true entirely
>> on the basis of its meaning expressed in language.
> 
> So in other words, "semantic tautology" is just another term for 
> "definition".

A definition gives a new word for something.

A semantic tautology is a verbose expression that may take some effort
to understand but once understood is onderstood to say nothing.

-- 
Mikko

Back to comp.theory | Previous | Next — Previous 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 Mikko <mikko.levanto@iki.fi> - 2025-12-03 12:36 +0200
              Re: A new category of thought olcott <polcott333@gmail.com> - 2025-12-03 09:09 -0600
                Re: A new category of thought Mikko <mikko.levanto@iki.fi> - 2025-12-04 11:50 +0200
                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 10:22 -0600
                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