Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #137199
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math |
| Subject | Re: A new category of thought |
| Date | 2025-12-04 08:46 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <10gs6ro$c9o6$1@dont-email.me> (permalink) |
| References | (4 earlier) <10gmcnm$25uic$1@dont-email.me> <10gn0fh$2dnei$1@dont-email.me> <10gp3rk$37btr$1@dont-email.me> <10gpjrh$3df26$1@dont-email.me> <10grlhl$5ene$1@dont-email.me> |
Cross-posted to 3 groups.
On 12/4/2025 3:50 AM, Mikko wrote: > olcott kirjoitti 3.12.2025 klo 17.09: >> On 12/3/2025 4:36 AM, Mikko wrote: >>> olcott kirjoitti 2.12.2025 klo 17.26: >>>> On 12/2/2025 3:49 AM, Mikko wrote: >>>>> 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. >>> >>>> A semantic tautology might be considered the >>>> complete definition of a a word by providing >>>> the complete definition of every word in this >>>> definition recursively all the way down until >>>> every one of these words is completely defined. >>> >>> Semantic tautology is stipulated to mean any expression of language >>> that is proven true entirely on the basis of its meaning expressed >>> in language. >>> >>> This includes expressions that do not define anything. >>> >> >> It does not. > > For example, "A square is not a triangle" is seen to be true on the > basis of the meanings of the words but does not define anything. > > That is deduced from the definitions of square and triangle. They are defined with mutually exclusive properties. 2.2 Truthmakers for Negative Truths https://plato.stanford.edu/entries/truthmakers/#TruMakForNegTru -- Copyright 2025 Olcott My 28 year goal has been to make "true on the basis of meaning" computable. This required establishing a new foundation for correct reasoning.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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