Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #136609

Re: A new foundation for correct reasoning

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:49 +0000
Organization A noiseless patient Spider
Message-ID <20251126134822.721@kylheku.com> (permalink)
References (3 earlier) <10g6op4$ber5$1@dont-email.me> <10g77rn$hh1c$1@dont-email.me> <10g7l8j$n6g7$1@dont-email.me> <10g7mfk$nqtg$1@dont-email.me> <20251126134210.19@kylheku.com>

Cross-posted to 4 groups.

Show all headers | View raw

On 2025-11-26, Kaz Kylheku <643-408-1753@kylheku.com> wrote:
> On 2025-11-26, olcott <polcott333@gmail.com> wrote:
>> "animals" <are> "living things" is stipulated.
>
> So a dead rabbit isn't an animal?

How about Mickey Mouse? Living thing or not? Animal or not?

-- 
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

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