Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Newsgroups | sci.logic, sci.math, comp.theory |
| Subject | Re: Semantic Entailment --- Principle of compositionality applied to base term |
| Date | 2026-07-14 16:13 -0600 |
| Organization | Christians and Atheists United Against Creeping Agnosticism |
| Message-ID | <1136cb0$nbeo$3@dont-email.me> (permalink) |
| References | (21 earlier) <11366nl$md0b$1@dont-email.me> <1136888$gibk$6@dont-email.me> <11368mu$n1a7$1@dont-email.me> <11369tp$nbeo$1@dont-email.me> <1136a3v$nd0j$1@dont-email.me> |
Cross-posted to 3 groups.
On 2026-07-14 15:35, olcott wrote: > On 7/14/2026 4:32 PM, André G. Isaak wrote: >> On 2026-07-14 15:11, olcott wrote: >>> 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. >> >> I fully explained that in the post you responded to. >> >> The fact that you find the principle of explosion counterintuitive >> does not make it false. >> >> André >> > > There are no facts about birds that specify > facts about lizard dip shit. So what? The question was whether or not 'birds are lizards' is semantically entailed by ((cats are dogs) and (it is not the case that cats are dogs)), not whether facts about birds specify facts about lizards. What exactly do you think the meaning of ((cats are dogs) and (it is not the case that cats are dogs)) actually is? And how does it *not* semantically entail that birds are lizards? André -- To email remove 'invalid' & replace 'gm' with well known Google mail service.
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