home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / philosop / tech / 4654 < prev    next >
Encoding:
Internet Message Format  |  1992-12-30  |  3.2 KB
  1. Xref: sparky sci.philosophy.tech:4654 sci.logic:2505
  2. Newsgroups: sci.philosophy.tech,sci.logic
  3. Path: sparky!uunet!pmafire!mica.inel.gov!guinness!opal.idbsu.edu!holmes
  4. From: holmes@opal.idbsu.edu (Randall Holmes)
  5. Subject: Re: No Reification Here
  6. Message-ID: <1992Dec30.185344.3062@guinness.idbsu.edu>
  7. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  8. Nntp-Posting-Host: opal
  9. Organization: Boise State University
  10. References: <1992Dec29.114844.18880@husc3.harvard.edu> <1hq0mhINNpda@cat.cis.Brown.EDU> <1992Dec29.140859.18884@husc3.harvard.edu>
  11. Date: Wed, 30 Dec 1992 18:53:44 GMT
  12. Lines: 70
  13.  
  14. In article <1992Dec29.140859.18884@husc3.harvard.edu> zeleny@husc10.harvard.edu (Michael Zeleny) writes:
  15. >In article <1hq0mhINNpda@cat.cis.Brown.EDU> 
  16. >PL436000@brownvm.brown.edu (Jamie) writes:
  17. >
  18. >
  19. >>Oh. I get it.
  20. >
  21. >Good.
  22. >
  23. >>But stratification works fine in any case (well, I don't mean it has no
  24. >>costs, but it does work).
  25. >
  26. >Hey, 115 grains of jacketed hollowpoint at 1365 feet per second works
  27. >fine against a headache; however I would advise other techniques, in
  28. >the absence of an independent motivation.
  29.  
  30. So would I, actually.  It is possible to use stratification to avert
  31. semantic paradoxes by making quotation a type-raising operation; it is
  32. only needed if one wants a language with names for all objects in NFU.
  33. If one uses more modest linguistic machinery, one uses the same
  34. solutions to semantic paradoxes as in the usual set theory.
  35.  
  36. >>Thus, if you don't reify the predicate, you need to stratify. And if you
  37. >>do reify the predicate, you need to stratify. Or perhaps there is some
  38. >>other strategy. But so far, it looks as though all the strategies work
  39. >>equally for reified and unreified predicates.
  40.  
  41. This is confused.  Stratification is a tactic for determining which
  42. predicates can be reified; it is ony relevant if one has the project
  43. of reifying at least some predicates in mind.  "Limitation of size" is
  44. another such tactic.  Predicates can _always_ be "reified" in the
  45. sense of being quoted; paradoxes along this line have different sorts
  46. of solutions.
  47.  
  48. [Spiteful remarks about the One True Set Theory from Zeleny omitted]
  49.  
  50. >
  51. >>I'm not sure I agree, by the way, that a predicate is meaningful if and
  52. >>only if it expresses a property.
  53.  
  54. [discussion of indexicals omitted]
  55.  
  56. >
  57. >Perhaps all words are best thought of as indexicals; this, after all,
  58. >is one lesson of pragmatics.  However, I fail to see in what way this
  59. >view would vitiate my claim that predicates are meaningful, iff they
  60. >express a property.
  61.  
  62. It depends on what you mean by "meaningful".  "is an element of
  63. itself" is a meaningful predicate in the sense that ascribing it to
  64. any object (construe this as a syntactical operation!) yields a
  65. meaningful sentence.  I don't think that any predicate is "meaningful"
  66. in the sense of referring to something _qua_ predicate; verbs are not
  67. nouns.  Some predicates have extensions which can have meaningful
  68. names.
  69.  
  70. >
  71. >>      Jamie
  72. >
  73. >cordially,
  74. >mikhail zeleny@husc.harvard.edu
  75. >"Le cul des femmes est monotone comme l'esprit des hommes."
  76.  
  77.  
  78.  
  79. -- 
  80. The opinions expressed        |     --Sincerely,
  81. above are not the "official"    |     M. Randall Holmes
  82. opinions of any person        |     Math. Dept., Boise State Univ.
  83. or institution.            |     holmes@opal.idbsu.edu
  84.