XPost: comp.theory, sci.logic, sci.math
From: polcott333@gmail.com

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  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.

Also it is very important that the formal language
fully integrates every aspect of semantics directly
in the syntax. Much of the issues with formal systems
is that the model can get out-of-sync with the formal
system. When the model is one-and-the-same as the
formal system then getting out-of-sync is not possible.

To eliminate ambiguity with the sense meanings of
words each lexeme has its own GUID.

A lexeme is the fundamental unit of meaning in a
language, representing a single word or a group of
words that convey a specific concept.
https://fiveable.me/key-terms/introduction-linguistics/lexeme

--
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.

--- SoupGate-Win32 v1.05
 * Origin: you cannot sedate... all the things you hate (1:229/2)