home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / ai / philosop / 7430 < prev    next >
Encoding:
Internet Message Format  |  1993-01-28  |  1.6 KB
  1. Xref: sparky comp.ai.philosophy:7430 sci.philosophy.tech:5010 sci.logic:2653
  2. Path: sparky!uunet!portal!nntp1.radiomail.net!csl.sri.com!csl.sri.com!usenet
  3. From: rar@csl.sri.com (Bob Riemenschneider)
  4. Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
  5. Subject: Re: Searle on syntax mirroring semantics
  6. Date: 28 Jan 93 13:02:18
  7. Organization: Computer Science Lab, SRI International, Menlo Park, CA.
  8. Lines: 20
  9. Message-ID: <1k9hj0INNaes@roche.csl.sri.com>
  10. References: <1993Jan26.121155.24448@sophia.smith.edu>
  11. NNTP-Posting-Host: birch.csl.sri.com
  12. In-reply-to: orourke@sophia.smith.edu's message of Tue, 26 Jan 1993 12:11:55 GMT
  13.  
  14. In article <1993Jan26.121155.24448@sophia.smith.edu> orourke@sophia.smith.edu (Joseph O'Rourke) writes:
  15.  
  16. >   Can anyone explain this sentence to me?  It is on p.203 of "The
  17. >   Rediscovery of the Mind" by John Searle.
  18. >
  19. >           The development of proof theory showed that within certain
  20. >           well-known limits the semantic relations between propositions
  21. >           can be entirely mirrored by the syntactic relations between
  22. >           the sentences that express those propositions.
  23.  
  24. The completeness theorem for first-order logic can be read as saying
  25. that, if P is a set of propositions that can be expressed by a set of
  26. first-order sentences S and q is a proposition that can be expressed by
  27. a first-order sentence t, then P formally implies q (a semantic
  28. relation) if and only if t is derivable from S (a syntactic relation).
  29. As a consequence, many other semantic relations correspond to syntactic
  30. relations.  But not all do, by G\"odel's incompleteness theorems.
  31.  
  32.  
  33.                                                         -- rar
  34.