Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | sci.logic, sci.math, comp.theory, comp.ai.philosophy |
| Subject | Re: William T. Parry gets rid of Disjunction introduction |
| Date | 2026-07-01 10:32 +0300 |
| Organization | A noiseless patient Spider |
| Message-ID | <1122fq3$1modk$2@dont-email.me> (permalink) |
| References | (8 earlier) <111p4qo$3504e$2@dont-email.me> <111qpms$3h4i2$2@dont-email.me> <111tth6$cvoh$1@dont-email.me> <111vtlf$u8a6$1@dont-email.me> <1120ht4$14g8n$1@dont-email.me> |
Cross-posted to 4 groups.
On 30/06/2026 16:55, olcott wrote: > On 6/30/2026 3:10 AM, Mikko wrote: >> On 29/06/2026 16:55, olcott wrote: >>> On 6/28/2026 4:32 AM, Mikko wrote: >>>> On 27/06/2026 21:29, olcott wrote: >>>>> On 6/27/2026 1:24 PM, dbush wrote: >>>>>> On 6/27/2026 2:03 PM, olcott wrote: >>>>>>> On 6/27/2026 12:54 PM, dbush wrote: >>>>>>>> On 6/27/2026 11:11 AM, polcott wrote: >>>>>>>>> On 6/27/2026 2:08 AM, Mikko wrote: >>>>>>>>>> On 26/06/2026 15:49, olcott wrote: >>>>>>>>>>> On 6/26/2026 1:49 AM, Mikko wrote: >>>>>>>>>>>> On 26/06/2026 04:32, olcott wrote: >>>>>>>>>>>>> William T. Parry, Entailment Logics >>>>>>>>>>>>> gets rid of Disjunction introduction >>>>>>>>>>>>> to prevent the principle of explosion >>>>>>>>>>>>> >>>>>>>>>>>>> A simple logical matrix and sequent calculus for >>>>>>>>>>>>> Parry’s logic of Analytic Implication >>>>>>>>>>>>> >>>>>>>>>>>>> The main and distinctive feature of PAI (and of the many >>>>>>>>>>>>> systems of analytic implication belonging to its ilk) is >>>>>>>>>>>>> the rejection of the classically valid principle of Addition, >>>>>>>>>>>>> sometimes also referred to as Disjunction Introduction. In >>>>>>>>>>>>> other words, the principle leading from a formula ϕ to a >>>>>>>>>>>>> disjunction of the form ϕ ∨ ψ, where ψ is an arbitrary >>>>>>>>>>>>> formula. Parry blamed on this principle the derivability >>>>>>>>>>>>> of the paradoxes of strict implication—given that it is >>>>>>>>>>>>> famously featured in Lewis’ derivation of an arbitrary >>>>>>>>>>>>> formula ψ from a contradiction of the form ϕ ∧ ¬ϕ. >>>>>>>>>>>>> >>>>>>>>>>>>> https://philarchive.org/archive/SZMASL >>>>>>>>>>>> >>>>>>>>>>>> He also gets rid of an efficient way to convince people who >>>>>>>>>>>> don't >>>>>>>>>>>> understand much of logic. >>>>>>>>>>> >>>>>>>>>>> As I recently showed in another post. I figured >>>>>>>>>>> all this out on my own. I didn't even know that >>>>>>>>>>> anyone else ever did this. I just knew that when >>>>>>>>>>> trying to find out what is deduced from a set of >>>>>>>>>>> premises that you cannot pop in another sentence >>>>>>>>>>> from out of nowhere and get a correct conclusion. >>>>>>>>>>> >>>>>>>>>>> By popping in another sentence from out of nowhere >>>>>>>>>>> (as it shows above) the principle of explosion is >>>>>>>>>>> derived. >>>>>>>>>> >>>>>>>>>> The usual meaning of proof is a sequence of statement where >>>>>>>>>> eachstatement either is a premis or follows from one or more >>>>>>>>>> earlier >>>>>>>>>> statements >>>>>>>>> >>>>>>>>> Except with Disjunction introduction, that is its problem. >>>>>>>> >>>>>>>> So you're saying that in the following natural language statement: >>>>>>>> >>>>>>> >>>>>>> It is a key issue in that it creates the >>>>>>> psychotic break from reality known as the >>>>>>> Principle of Explosion, otherwise it may >>>>>>> make no difference at all. >>>>>>> >>>>>>> Stay on topic or I will block you. >>>>>> >>>>>> Explain in detail how the below which you dishonestly trimmed is >>>>>> off- topic. >>>>>> >>>>> >>>>> The topic is how Disjunction introduction enables the >>>>> Principle of Explosion. >>>> >>>> It does not. In any sensible logic every tautology is provable. >>>> Then the principle of explosion follows. >>> >>> POE is unprovable in both of these more sensible systems >>> of logic. >> >> THe expression "these system" above does not denote. > > Parry’s logic of Analytic Implication If the intent was to include that in the denotation you failed to say something important. -- Mikko
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-25 20:32 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-26 09:49 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-26 07:49 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 09:14 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-26 08:17 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 09:22 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 09:24 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 12:09 -0400
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-27 07:18 -0700
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:11 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:08 +0300
Re: William T. Parry gets rid of Disjunction introduction polcott <polcott333@gmail.com> - 2026-06-27 10:11 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 13:54 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 13:03 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 14:24 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 13:29 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 14:34 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 18:30 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 17:40 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 18:52 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 18:22 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 19:30 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 18:56 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:08 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 20:24 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:29 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 20:40 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:42 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 20:49 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:53 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 22:02 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 22:23 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 23:34 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:23 +0300
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-28 23:56 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-28 23:13 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 08:08 -0400
Re: William T. Parry gets rid of Disjunction introduction polcott <polcott333@gmail.com> - 2026-06-29 08:17 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 09:23 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-29 09:00 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 10:01 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-30 11:48 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-30 09:37 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 09:46 +0300
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-01 04:33 -0700
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:01 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:21 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-02 09:37 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-02 10:42 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-03 11:17 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-03 09:46 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 09:37 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 08:15 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-04 09:19 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:16 +0300
Olcott gets rid of the Principle of Explosion olcott <polcott333@gmail.com> - 2026-07-06 08:56 -0500
Re: Olcott gets rid of the Principle of Explosion dbush <dbush.mobile@gmail.com> - 2026-07-06 10:09 -0400
Re: Olcott gets rid of the Principle of Explosion Mikko <mikko.levanto@iki.fi> - 2026-07-08 12:05 +0300
Re: Olcott gets rid of the Principle of Explosion Mikko <mikko.levanto@iki.fi> - 2026-07-08 12:02 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 13:17 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 12:54 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 12:57 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 14:06 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 13:17 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 15:04 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 14:20 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 16:54 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 16:15 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 17:36 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 16:50 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 17:53 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 17:37 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 18:40 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 18:47 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 20:24 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 19:49 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 20:57 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 20:11 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 21:24 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 20:41 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 21:44 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 21:03 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 22:12 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 21:28 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 22:40 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 09:31 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 11:04 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 12:46 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 14:19 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 13:29 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 14:53 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 14:08 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 16:13 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 15:24 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 16:30 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 17:06 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 19:05 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 19:17 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 20:49 -0500
Re: William T. Parry gets rid of Disjunction introduction "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-08 15:12 -0700
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-06 21:58 -0700
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 08:44 -0700
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 08:56 -0700
Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 11:10 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 10:53 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 13:07 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 12:17 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 14:48 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 14:35 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? Alan Mackenzie <acm@muc.de> - 2026-07-07 21:57 +0000
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-08 00:36 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 17:17 -0500
Re: William T. Parry gets rid of Disjunction introduction Alan Mackenzie <acm@muc.de> - 2026-07-06 22:17 +0000
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 17:31 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-08 12:10 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-30 10:55 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-30 08:45 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 09:50 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:04 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-01 13:34 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:27 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:48 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:40 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:22 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:18 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:13 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:32 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-28 22:17 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-29 12:29 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-29 08:55 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 09:59 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-30 11:10 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-30 08:55 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-30 10:01 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 09:53 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:06 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:29 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-02 09:40 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-03 11:22 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-03 09:50 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 11:15 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 12:09 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:20 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 10:32 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:25 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-01 13:37 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 13:02 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-01 14:17 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:31 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-02 09:40 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-03 11:24 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-03 10:04 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 09:47 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 08:21 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 09:08 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 11:44 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 10:59 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 15:58 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 15:29 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 16:36 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 16:11 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 18:42 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 17:57 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 19:08 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 18:23 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 19:33 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 18:43 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 20:18 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 19:28 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 21:17 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 20:22 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 21:29 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 20:50 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 22:17 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 21:23 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 22:45 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 21:52 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 23:05 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-05 14:40 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-05 15:51 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:40 +0300
Re: William T. Parry gets rid of Disjunction introduction Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-06 13:06 +0100
Re: William T. Parry gets rid of Disjunction introduction Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-06 19:40 +0100
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 11:16 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 12:11 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:53 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:04 +0300
Re: William T. Parry gets rid of Disjunction introduction Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-06 12:49 +0100
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 08:45 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-06 09:50 -0400
csiph-web