Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | sci.logic, comp.theory, sci.math, comp.ai.philosophy |
| Subject | Re: William T. Parry gets rid of Disjunction introduction |
| Date | 2026-07-04 08:21 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <112b1c6$5dkt$1@dont-email.me> (permalink) |
| References | (15 earlier) <11250k5$2cv0q$3@dont-email.me> <1125t9p$2ljhn$3@dont-email.me> <1127rjl$38nc1$2@dont-email.me> <1128j2l$3fomk$1@dont-email.me> <112aaa1$3uq7p$1@dont-email.me> |
Cross-posted to 4 groups.
On 7/4/2026 1:47 AM, Mikko wrote: > On 03/07/2026 18:04, olcott wrote: >> On 7/3/2026 3:24 AM, Mikko wrote: >>> On 02/07/2026 17:40, olcott wrote: >>>> On 7/2/2026 1:31 AM, Mikko wrote: >>>>> >>>>> Getting rid of the principle of explosion makes as much sense as >>>>> getting rid of fire alarms. It makes much more sense to get rid >>>>> of fires and false premises. >>>> >>>> Then you are irrational >>> >>> Matter of opinion, >> >> Matter of correctly and coherently computing the notion >> of truth. My correction to the Principle of Explosion: >> (P ∧ ~P) ⊢ FALSE >> FALSE ⊢ FALSE >> >>> but I think that most of people would consder >>> getting rid of fires is more rational that getting rid of fire >>> alarms. >> >> It is not a fire alarm it is getting rid of semantics >> within inference. My correct reasoning correction to >> logic gets rid of every type of inference besides >> semantic entailment. > > Getting rid of any type of inference does not make much difference > as long as you get the same conclusions through other inferences. > Only getting rid of some conscusions it makes a significant > difference. But you have never shown an example of getting rid of > a conclusion without losing a semantic entailment. > POE always breaks semantic entailment >> Validity and Soundness >> A deductive argument is said to be valid if >> and only if it takes a form that makes it >> impossible for the premises to be true and >> the conclusion nevertheless to be false. >> Otherwise, a deductive argument is said to >> be invalid. https://iep.utm.edu/val-snd/ >> >> *That big mistake is corrected thusly* >> A deductive argument is said to be valid if >> and only if its conclusion is a necessary >> consequence of all of its premises Otherwise, >> a deductive argument is said to be invalid. >> >> P ⇒ Q >> P → Q >> P ⊃ Q >> >> are all abolished and replaced with the binary >> form of logical necessity: P □ Q > > You don't need any of above if you have ¬, ∨, and ∧. > The notion of valid inference that I just established is the foundation of all semantic entailment. -- 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 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.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