home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / sci / philosop / tech / 4609 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.6 KB  |  35 lines
  1. Newsgroups: sci.philosophy.tech
  2. Path: sparky!uunet!pmafire!mica.inel.gov!guinness!opal.idbsu.edu!holmes
  3. From: holmes@opal.idbsu.edu (Randall Holmes)
  4. Subject: Re: A note on Modal Logic that has nothing to do with Ikky Sex
  5. Message-ID: <1992Dec22.200746.2507@guinness.idbsu.edu>
  6. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  7. Nntp-Posting-Host: opal
  8. Organization: Boise State University
  9. References: <1992Dec21.180311.14665@guinness.idbsu.edu> <1992Dec22.013357.18774@husc3.harvard.edu> <1992Dec22.195444.2427@guinness.idbsu.edu>
  10. Date: Tue, 22 Dec 1992 20:07:46 GMT
  11. Lines: 22
  12.  
  13. An additional comment:
  14.  
  15. One expects trouble with Tarski's paradox when expressing the model
  16. theory of ZFC inside ZFC itself, of course.  One can build a language
  17. inside ZFC which contains constants for all the objects of ZFC, but
  18. one cannot define satisfaction, and so truth, for sentences of this
  19. language.  One can, of course, add truth for sentences of this
  20. language as a primitive notion (or reference for terms of this
  21. language) and state the necessary axioms for it, but this notion of
  22. truth will not be adequate in turn for sentences of the language
  23. augmented with the truth predicate.  But there is no problem with
  24. defining truth in any given _model_ of ZFC (such models are sets), so
  25. this is not really a limitation on the model theory of ZFC in ZFC; it
  26. reflects the fact that the intended interpretation of ZFC is not the
  27. theory of a model of ZFC.
  28.  
  29.  
  30. -- 
  31. The opinions expressed        |     --Sincerely,
  32. above are not the "official"    |     M. Randall Holmes
  33. opinions of any person        |     Math. Dept., Boise State Univ.
  34. or institution.            |     holmes@opal.idbsu.edu
  35.