XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   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.   
      
   --   
   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)