home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / logic / 2506 < prev    next >
Encoding:
Internet Message Format  |  1992-12-30  |  2.0 KB
  1. Xref: sparky sci.logic:2506 sci.philosophy.tech:4655
  2. Newsgroups: sci.logic,sci.philosophy.tech
  3. Path: sparky!uunet!pmafire!mica.inel.gov!guinness!opal.idbsu.edu!holmes
  4. From: holmes@opal.idbsu.edu (Randall Holmes)
  5. Subject: Re: What is a property?  (was: No Reification Here)
  6. Message-ID: <1992Dec30.190527.3145@guinness.idbsu.edu>
  7. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  8. Nntp-Posting-Host: opal
  9. Organization: Boise State University
  10. References: <1hsmvoINNjc4@im4u.cs.utexas.edu>
  11. Date: Wed, 30 Dec 1992 19:05:27 GMT
  12. Lines: 31
  13.  
  14. In article <1hsmvoINNjc4@im4u.cs.utexas.edu> turpin@cs.utexas.edu (Russell Turpin) writes:
  15. >-*----
  16. >Does everyone in this discussion have the same notion of
  17. >property?  Perhaps just to make sure, or to enlighten me, one of
  18. >the participants would be kind enough to tell me what this notion
  19. >is. 
  20. >
  21. >If I were asked whether every meaningful predicate expresses a
  22. >property, my first answer would be "yes, of course." Even an
  23. >expressive or attitudinal predicate such as "yummy" expresses a
  24. >property that some things have, namely, eliciting the attitude or
  25. >expression from the concerned speaker.  (Of course, to say this I
  26. >must either reify the predicate or relativize my logic.  Is this
  27. >Zeleny's point?)
  28. >
  29. >Russell
  30.  
  31. I follow Quine in saying that properties are simply extensions of
  32. those predicates which happen to have extensions; i.e., sets.  General
  33. predicates which do not necessarily have extensions can always be
  34. quoted, and quoted predicates can be disguised as proper classes.
  35. I admit no intermediate realm of intensions between quoted predicates
  36. and frank sets, although such a realm can be built subsequently using
  37. equivalence classes of syntactical objects.  This means that my notion
  38. of "property" differs quite a lot from Zeleny's, for example.
  39.  
  40. -- 
  41. The opinions expressed        |     --Sincerely,
  42. above are not the "official"    |     M. Randall Holmes
  43. opinions of any person        |     Math. Dept., Boise State Univ.
  44. or institution.            |     holmes@opal.idbsu.edu
  45.