Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | dbush <dbush.mobile@gmail.com> |
|---|---|
| Newsgroups | sci.logic, sci.math, comp.theory |
| Subject | Re: Semantic Entailment --- Principle of compositionality applied to base term |
| Date | 2026-07-14 15:31 -0400 |
| Organization | A noiseless patient Spider |
| Message-ID | <11362pu$kcbg$1@dont-email.me> (permalink) |
| References | (13 earlier) <11338l5$3pd8g$2@dont-email.me> <1135lq7$fs5i$3@dont-email.me> <1135r4k$ig9u$1@dont-email.me> <1135rhf$gibk$1@dont-email.me> <1135tug$je4q$1@dont-email.me> |
Cross-posted to 3 groups.
On 7/14/2026 2:08 PM, olcott wrote:
> On 7/14/2026 12:27 PM, André G. Isaak wrote:
>> On 2026-07-14 11:20, olcott wrote:
>>> On 7/14/2026 10:49 AM, Tristan Wibberley wrote:
>>>> On 13/07/2026 18:52, André G. Isaak wrote:
>>>>> On 2026-07-13 10:25, olcott wrote:
>>>>>
>>>>>> The notion of semantic entailment is the most important
>>>>>> element of my whole system. When I explain what this
>>>>>> meaning people only disagree.
>>>>>
>>>>>
>>>>> Except you *haven't* explained what this means. You've made claims
>>>>> about
>>>>> 'semantic entailment', such as it excludes the Principle of Explosion,
>>>>
>>>> I don't think it does exclude the principle of explosion, but it
>>>> doesn't
>>>> include it. I think the syntactic specification may include it or
>>>> exclude it by omission if it somehow particularises a closed system.
>>>>
>>>>
>>>
>>> None of the issues that arise in math can possibly
>>> exist in this system.
>>
>> That's simply a baseless assertion.
>>
>>> P ⊢ Q means syntactic derivation implements semantic
>>> entailment encoded in syntactically the language.
>>> This is the only inference steps allowed.
>>>
>>> PA ⊢ G is simply false.
>>
>> Gödel would agree. He would also agree that PA ⊢ ¬G is false.
>>
>>> (P ∧ ¬P) ⊢ Q is simply false.
>>
>> This doesn't follow from the definition you give above. Q *is*
>> semantically entailed by (P ∧ ¬P).
>>
>> André
>>
>
> Only if you stupidly ignore what {semantically entailed}
> means. When you plug English words into P and Q this
> becomes completely clear.
On 7/13/2026 12:28 PM, olcott wrote:
> Claims without supporting evidence cannot
> be correctly accepted as true.
Explain exactly which step in the principle of explosion does this.
Failure to do so will be taken as your admission that the principle of
explosion is correct.
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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 Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-14 16:25 +0100
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