XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 12/3/2025 8:07 PM, olcott wrote:   
   > On 12/3/2025 7:57 PM, Tristan Wibberley wrote:   
   >> On 29/11/2025 18:00, olcott wrote:   
   >>> On 11/29/2025 4:22 AM, Mikko wrote:   
   >>>> olcott kirjoitti 28.11.2025 klo 20.11:   
   >>>>> On 11/28/2025 11:32 AM, Alan Mackenzie wrote:   
   >>>>>> [ Followup-To: set ]   
   >>>>>>   
   >>>>>> In comp.theory olcott  wrote:   
   >>>>>>   
   >>>>>> [ .... ]   
   >>>>>>   
   >>>>>>> individual means one.   
   >>>>>>> a group of individuals is not one individual   
   >>   
   >> yes it is.   
   >>   
   >>>   
   >>> An ontology where the set of animals is an individual   
   >>> animal is incoherent.   
   >>   
   >>   
   >> But one in which the set of animals is an individual set of things can   
   >> be okay. Are you sure you've been studying?   
   >>   
   >>   
   >   
   > The seven virtues of simple type theory   
   > https://www.sciencedirect.com/science/article/pii/S157086830700081X   
   >   
   > The purpose of Russell's Simple Type Theory was to   
   > eliminate Russell's Paradox.   
   >   
      
   A direct application as a knowledge ontology inheritance hierarchy.   
   https://claude.ai/share/968a8f74-1094-42d8-a262-f38e2dfaf6ad   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)