Groups | Search | Server Info | Login | Register
| Newsgroups | sci.logic |
|---|---|
| Date | 2023-06-05 19:04 -0700 |
| References | (20 earlier) <e86f165a-eb51-4b7b-b748-686f8466b252n@googlegroups.com> <4c420b53-8ccc-4d5e-8553-044f0a114250n@googlegroups.com> <e472f7a0-6bf0-426a-ae49-1b36537df2ccn@googlegroups.com> <98fa9f7a-a5af-4ef5-88e1-8af7588eb7f7n@googlegroups.com> <d7677cdb-b171-4ac2-b367-da47fcd57b7fn@googlegroups.com> |
| Message-ID | <3ccc8d50-6880-4c44-a037-d7d4828fad8fn@googlegroups.com> (permalink) |
| Subject | Re: A Paradox of Equality? |
| From | Ross Finlayson <ross.a.finlayson@gmail.com> |
On Monday, June 5, 2023 at 6:32:32 PM UTC-7, Dan Christensen wrote:
> On Monday, June 5, 2023 at 8:42:41 PM UTC-4, Ross Finlayson wrote:
> [snip]
> > > > This whole "higher-order bit" of the Burse-bot clam-loll-troll arrived
> > > > from this.
> > > >
> > > > (A => B) => (B v ~A) | ~(A => B)
> > > >
> > > A tautology. No inconsistencies here, Ross. What else have you got?
> > No, that is not a "tautology".
> >
> It is. Make a truth table. Only 4 lines.
> > It's not an inference, either, it's not implication,
> It is an implication. (A => B) is the antecedent. (B v ~A) | ~(A => B) is the consequent. ('|' = NAND in your notation?)
> > it's not a conditional, and it doesn't entail anything.
> >
> It is a conditional. What do you suppose a tautology entails?
> > It's "the lack thereof, that eases a certain kind of data
> > structure's concatenation", it's a laxative, and has no
> > business in "truth tables".
> >
> > Also absent memory and book-keeping, it's a hazard.
> >
> > No offense - just that it's not type-safe.
> >
> Use an online truth table app.
> > And _nobody_, _not anybody_, needs "material implication"
> Anyone who wants to do advanced mathematics needs material implication. Obviously not a concern for you, but that's OK, Ross.
> Dan
>
> Download my DC Proof 2.0 freeware at http://www.dcproof.com
> Visit my Math Blog at http://www.dcproof.wordpress.com
No they absolutely do _not_ need material implication,
unless you'd care to violate their causality.
In which case they don't need you, ....
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar
A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 10:33 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-03 11:02 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 11:17 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-03 11:47 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 11:57 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 12:37 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 11:13 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 11:20 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 11:42 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 12:14 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 11:56 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 11:58 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 12:08 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 12:25 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 11:26 -0700
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-03 21:12 +0200
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-03 21:20 +0200
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 12:27 -0700
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-03 21:41 +0200
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-03 21:41 +0200
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 13:02 -0700
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-03 22:07 +0200
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 13:27 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 13:49 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 13:56 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:12 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:24 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-03 19:24 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-04 06:46 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-04 06:47 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-04 06:51 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-04 09:33 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-04 12:22 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-04 13:48 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-04 14:38 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-04 15:29 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:20 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-04 18:23 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 01:31 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 02:55 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 08:22 -0700
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-05 19:47 +0200
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 11:59 -0700
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-05 21:49 +0200
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 13:39 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 12:32 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 12:39 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 13:03 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 13:09 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 13:14 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 14:34 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:04 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:14 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:26 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 16:33 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 14:22 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:06 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 17:13 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 17:26 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 17:36 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 17:47 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 17:54 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 18:00 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 18:02 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 18:05 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 18:35 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 22:38 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 22:47 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-05 22:58 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-06 07:35 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-06 09:11 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-06 10:08 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-08 01:25 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 08:09 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-08 11:09 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 11:35 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-08 11:36 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-09 12:51 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-09 13:12 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 18:17 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 18:44 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 14:09 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 14:32 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 17:42 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 18:32 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 19:04 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-16 05:53 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-16 16:59 -0700
Re: A Paradox of Equality? Mild Shock <bursejan@gmail.com> - 2023-06-16 17:07 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-16 21:55 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 19:15 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 20:39 -0700
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-04 08:43 -0700
Re: A Paradox of Equality? Mild Shock <janburse@fastmail.fm> - 2023-06-04 17:55 +0200
Re: A Paradox of Equality? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-04 09:40 -0700
Re: A Paradox of Equality? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-04 10:42 -0700
csiph-web