From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!rutgers!rochester!cantaloupe.srv.cs.cmu.edu!kck Mon Dec  9 10:49:05 EST 1991
Article 1968 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!rutgers!rochester!cantaloupe.srv.cs.cmu.edu!kck
>From: kck+@cs.cmu.edu (Karl Kluge)
Newsgroups: comp.ai.philosophy
Subject: Cats and cherries
Message-ID: <1991Dec09.054021.34442@cs.cmu.edu>
Date: 9 Dec 91 05:40:21 GMT
Organization: School of Computer Science, Carnegie Mellon
Lines: 10
Nntp-Posting-Host: g.gp.cs.cmu.edu
Originator: kck@G.GP.CS.CMU.EDU


While I haven't had time to read all of FIRE, WOMEN, AND DANGEROUS THINGS, I
did take a look at the "cats & cherries" example and the section on Putnam's
theorem. My reaction is that there is an obvious problem with the category
cat*, to wit that determining if X is a cat* requires examining the entire
universe to check on the location of all cats and all cherries. This
suggests imposing a locality constraint on category definitions as a
possible fix to reference, and one that doesn't seem to be covered in the
possible fixes critiqued. Whether that can do the trick, I don't know at
this point.


