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

Groups > sci.math > #646699

Re: Semantic Entailment --- Principle of compositionality applied to base term

From olcott <polcott333@gmail.com>
Newsgroups sci.logic, sci.math, comp.theory
Subject Re: Semantic Entailment --- Principle of compositionality applied to base term
Date 2026-07-14 16:11 -0500
Organization A noiseless patient Spider
Message-ID <11368mu$n1a7$1@dont-email.me> (permalink)
References (18 earlier) <1135v2k$gibk$2@dont-email.me> <11364ah$ljud$1@dont-email.me> <113665i$gibk$4@dont-email.me> <11366nl$md0b$1@dont-email.me> <1136888$gibk$6@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

On 7/14/2026 4:04 PM, André G. Isaak wrote:
> On 2026-07-14 14:38, olcott wrote:
>> On 7/14/2026 3:28 PM, André G. Isaak wrote:
>>> On 2026-07-14 13:57, olcott wrote:
>>>> On 7/14/2026 1:27 PM, André G. Isaak wrote:
>>>>> On 2026-07-14 12:08, olcott wrote:
>>>
>>>>>> semantic (adjective)
>>>>>> of or relating to meaning in language
>>>>>> https://www.merriam-webster.com/dictionary/semantic
>>>>>>
>>>>>> entail (verb)
>>>>>> to cause or involve by necessity or as a consequence.
>>>>>> https://www.dictionary.com/browse/entail
>>>>>>
>>>>>> [semantically entail] is the above semantic + entail.
>>>>>> "meaning in language" that "causes a necessary consequence"
>>>>>>
>>>>>> When P and Q are in English then:
>>>>>> P ⊢ Q // is only true when the meaning of the English
>>>>>> words of P makes the meaning of the English words of
>>>>>> Q necessarily true.
>>>>>
>>>>> So replace P with 'cats are dogs' and Q with 'birds are lizards'. 
>>>>> How is it not the case that the meaning of ((cats are dogs) and (it 
>>>>> is not the case that cats are dogs)) makes 'birds are lizards' 
>>>>> necessarily true? 
>>>>
>>>> It fails to show this thus proving POE is incorrect.
>>>> You are starting to really try so thanks for that.
>>>
>>> How does it fail to show this? 
>>
>> There is not one damned thing about birds that
>> has any damn thing to do with lizards.
> 
> Did I claim otherwise? Reread what I wrote below. 'birds are lizards' is 
> a necessary consequence of the contradiction which serves as a premise
> 

You must show BY THE MEANING OF THE FUCKING ENGLISH
WORDS HOW THE ENGLISH MEANINGS PROVE THE RESULT.

When I say the word semantic do you only hear
nonsense syllables like Same Ticks?


-- 
Copyright 2026 Olcott

My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of general knowledge.
The complete structure of this system is now defined.

The entire body of knowledge expressed in language is
comprised of two types of relations between finite strings:
(a) *Axioms* Expressions of language that are stipulated to be true.

My system bridges the analytic/synthetic distinction by
expressly encoding all empirical "atomic facts" in a formal
language such as CycL of the Cyc project.

(b) *Inference Rules* Expressions of language that are semantically
entailed syntactically from (a) and/or (b).

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

Thread

Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-06 10:15 -0500
  Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-08 10:24 +0300
    Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-08 15:26 -0500
      Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:34 +0300
        Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 09:36 -0500
          Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 08:52 -0700
            Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 11:22 -0500
              Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 16:41 +0000
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 12:02 -0500
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 17:23 +0000
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 12:35 -0500
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 13:05 -0500
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 19:16 +0000
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 15:49 -0500
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-10 10:02 +0000
                Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 09:12 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-11 10:35 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-11 19:49 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-12 11:23 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-12 11:00 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:04 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-13 11:19 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning dbush <dbush.mobile@gmail.com> - 2026-07-13 15:34 -0400
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:44 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-14 13:47 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-15 11:34 +0300
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning olcott <polcott333@gmail.com> - 2026-07-15 11:11 -0500
                Re: Utterly replacing ALL symbolic logic with inherently correct reasoning Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:33 +0300
              Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 12:56 -0700
                Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 13:40 -0700
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 16:05 -0500
          Re: Olcott's big correction to symbolic logic André G. Isaak <agisaak@gm.invalid> - 2026-07-09 14:15 -0600
            Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 13:37 -0700
              Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 16:02 -0500
                Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 14:04 -0700
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 16:08 -0500
                Re: Olcott's big correction to symbolic logic Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-09 18:55 -0700
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 22:12 -0500
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-10 00:08 -0500
                Re: Olcott's big correction to symbolic logic "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-10 16:46 -0700
                Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-09 21:14 +0000
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 17:02 -0500
              Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-10 00:14 -0500
            Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-09 15:58 -0500
              Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-10 10:37 +0300
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-10 08:36 -0500
                Re: Olcott's big correction to symbolic logic André G. Isaak <agisaak@gm.invalid> - 2026-07-10 08:51 -0600
                Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 10:15 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 09:57 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 11:09 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning Alan Mackenzie <acm@muc.de> - 2026-07-10 17:02 +0000
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 12:28 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 12:12 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning Alan Mackenzie <acm@muc.de> - 2026-07-10 18:27 +0000
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 13:57 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 13:11 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 14:33 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 14:52 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 16:17 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-10 16:50 -0700
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 13:45 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 11:16 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 12:36 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 12:06 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 13:35 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 13:07 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 14:30 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 14:46 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 16:09 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning Alan Mackenzie <acm@muc.de> - 2026-07-10 21:32 +0000
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 16:45 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-10 16:44 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-10 23:59 -0500
                Re: Olcott's replacement of symbolic logic with correct reasoning André G. Isaak <agisaak@gm.invalid> - 2026-07-11 06:33 -0600
                Re: Olcott's replacement of symbolic logic with correct reasoning olcott <polcott333@gmail.com> - 2026-07-11 20:08 -0500
                Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-11 10:45 +0300
                Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-11 19:52 -0500
          Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-10 10:52 +0300
            Semantic Entailment --- Principle of compositionality applied to base terms olcott <polcott333@gmail.com> - 2026-07-10 09:05 -0500
              Re: Semantic Entailment --- Principle of compositionality applied to base terms Mikko <mikko.levanto@iki.fi> - 2026-07-11 11:08 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-11 20:00 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term Mikko <mikko.levanto@iki.fi> - 2026-07-12 12:15 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-12 11:10 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term Mikko <mikko.levanto@iki.fi> - 2026-07-13 10:08 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-13 11:25 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-13 11:52 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 16:49 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 12:20 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 11:27 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 13:08 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 12:27 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 14:57 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 16:10 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 14:28 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 15:38 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 16:51 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 16:08 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 17:18 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 22:02 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:04 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 16:11 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 15:32 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 16:35 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 16:13 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 17:20 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 16:46 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 17:56 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 17:02 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 19:33 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 18:42 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 20:23 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 19:38 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 20:56 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term André G. Isaak <agisaak@gm.invalid> - 2026-07-14 20:23 -0600
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 21:38 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-14 15:31 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-15 20:38 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-15 15:44 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term dbush <dbush.mobile@gmail.com> - 2026-07-15 16:53 -0400
                Re: Semantic Entailment --- Principle of compositionality applied to base term Mikko <mikko.levanto@iki.fi> - 2026-07-14 10:51 +0300
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 14:09 -0500
                Re: Semantic Entailment --- Principle of compositionality applied to base term Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 11:12 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base term olcott <polcott333@gmail.com> - 2026-07-14 11:50 -0500
              Re: Semantic Entailment --- Principle of compositionality applied to base terms Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 16:52 +0100
                Re: Semantic Entailment --- Principle of compositionality applied to base terms olcott <polcott333@gmail.com> - 2026-07-14 12:23 -0500
  Re: Olcott's big correction to symbolic logic Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 16:12 +0100
    Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-14 12:09 -0500
      Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-15 12:07 +0300
        Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-15 11:18 -0500
          Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-15 19:21 +0000
            Re: Olcott's big correction to symbolic logic olcott <polcott333@gmail.com> - 2026-07-15 15:01 -0500
              Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:52 +0300
              Re: Olcott's big correction to symbolic logic Alan Mackenzie <acm@muc.de> - 2026-07-16 13:54 +0000
          Re: Olcott's big correction to symbolic logic Mikko <mikko.levanto@iki.fi> - 2026-07-16 09:47 +0300

csiph-web