Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #136607
| From | Kaz Kylheku <643-408-1753@kylheku.com> |
|---|---|
| Newsgroups | sci.logic, comp.theory, sci.math, comp.ai.philosophy |
| Subject | Re: A new foundation for correct reasoning |
| Date | 2025-11-26 21:42 +0000 |
| Organization | A noiseless patient Spider |
| Message-ID | <20251126134210.19@kylheku.com> (permalink) |
| References | (2 earlier) <10g4e1v$3ggnk$1@dont-email.me> <10g6op4$ber5$1@dont-email.me> <10g77rn$hh1c$1@dont-email.me> <10g7l8j$n6g7$1@dont-email.me> <10g7mfk$nqtg$1@dont-email.me> |
Cross-posted to 4 groups.
On 2025-11-26, olcott <polcott333@gmail.com> wrote: > "animals" <are> "living things" is stipulated. So a dead rabbit isn't an animal? Pure genius! -- TXR Programming Language: http://nongnu.org/txr Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal Mastodon: @Kazinator@mstdn.ca
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-24 18:53 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-25 11:40 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-25 08:21 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-26 13:37 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 09:39 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-26 12:44 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-27 09:56 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-27 09:31 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:58 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 09:51 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-28 11:04 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:17 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 11:54 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:22 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 09:54 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-26 12:49 -0500
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-26 19:43 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 14:04 -0600
Re: A new foundation for correct reasoning Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 21:42 +0000
Re: A new foundation for correct reasoning Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-26 21:49 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 15:54 -0600
Re: A new foundation for correct reasoning "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-26 22:33 -0800
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-26 15:50 -0600
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-02 11:26 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-02 07:22 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-27 10:00 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-27 09:43 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-28 11:01 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 09:54 -0600
Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 17:32 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 12:11 -0600
Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 18:24 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 12:40 -0600
Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 18:51 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 13:21 -0600
Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-28 23:08 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 17:23 -0600
Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-29 11:20 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 08:43 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-29 15:26 -0500
Re: A new foundation for correct reasoning Alan Mackenzie <acm@muc.de> - 2025-11-29 20:59 +0000
Re: A new foundation for correct reasoning olcott <NoOne@NoWhere.com> - 2025-11-29 15:09 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:22 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:37 +0200
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-30 14:44 -0500
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-04 01:53 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 19:59 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:22 -0500
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-28 14:35 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-11-28 16:49 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:22 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 12:00 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:52 +0200
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-04 01:57 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 20:07 -0600
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 20:30 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-29 12:20 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 11:57 -0600
Re: A new foundation for correct reasoning Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-29 11:27 -0800
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-11-29 13:33 -0600
Re: A new foundation for correct reasoning Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-30 10:33 -0800
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:58 +0200
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-04 02:32 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-03 20:39 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-04 10:58 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-04 08:06 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-05 11:38 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 11:43 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:30 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-06 06:50 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-07 13:02 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-08 13:49 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-08 11:13 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-08 13:09 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-10 12:04 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 08:10 -0600
Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-10 15:01 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 10:14 -0600
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-10 18:10 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 14:01 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-11 10:42 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-11 08:17 -0600
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-11 23:28 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-11 17:49 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-11 19:52 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-12 10:50 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-12 08:19 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-12 09:24 -0500
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-14 19:03 +0000
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-13 12:19 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-13 08:43 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-13 13:36 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-14 12:05 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 17:14 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 19:13 -0500
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 18:46 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 19:53 -0500
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 19:08 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 20:46 -0500
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 20:05 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 21:23 -0500
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 20:09 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-14 21:27 -0500
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-14 21:22 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-15 07:33 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-15 11:04 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-15 08:03 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-16 11:44 +0200
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-16 11:48 +0200
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-05 10:49 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 11:05 -0600
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-06 08:24 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-06 06:08 -0600
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-06 13:03 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-06 07:14 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-08 11:18 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-08 13:12 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-10 12:10 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-10 10:29 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-11 10:40 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-11 08:15 -0600
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-12 10:46 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-12 08:16 -0600
Re: A new foundation for correct reasoning Richard Damon <Richard@Damon-Family.org> - 2025-12-12 09:22 -0500
Re: A new foundation for correct reasoning Mikko <mikko.levanto@iki.fi> - 2025-12-13 12:42 +0200
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-13 09:37 -0600
Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-13 15:42 +0000
Re: A new foundation for correct reasoning Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-12-05 10:33 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 11:00 -0600
Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-05 22:17 +0000
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 16:24 -0600
Re: A new foundation for correct reasoning Python <python@cccp.invalid> - 2025-12-05 22:45 +0000
Re: A new foundation for correct reasoning Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-12-05 15:16 -0800
Re: A new foundation for correct reasoning olcott <polcott333@gmail.com> - 2025-12-05 17:45 -0600
csiph-web