home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / ai / philosop / 7405 < prev    next >
Encoding:
Internet Message Format  |  1993-01-27  |  1.4 KB
  1. Xref: sparky comp.ai.philosophy:7405 sci.philosophy.tech:4983 sci.logic:2640
  2. Newsgroups: comp.ai.philosophy,sci.philosophy.tech,sci.logic
  3. Path: sparky!uunet!inmos!fulcrum!bham!bhamcs!ard
  4. From: ard@cs.bham.ac.uk (Antoni Diller)
  5. Subject: Re: Searle on syntax mirroring semantics
  6. Message-ID: <C1IIGx.GL0@cs.bham.ac.uk>
  7. Sender: news@cs.bham.ac.uk
  8. Nntp-Posting-Host: fattie
  9. Organization: School of Computer Science, University of Birmingham, UK
  10. References: <1993Jan26.121155.24448@sophia.smith.edu>
  11. Date: Wed, 27 Jan 1993 12:24:32 GMT
  12. Lines: 23
  13.  
  14. In article <1993Jan26.121155.24448@sophia.smith.edu> orourke@sophia.smith.edu (Joseph O'Rourke) writes:
  15. >Can anyone explain this sentence to me?  It is on p.203 of "The
  16. >Rediscovery of the Mind" by John Searle.
  17. >
  18. >    The development of proof theory showed that within certain
  19. >    well-known limits the semantic relations between propositions
  20. >    can be entirely mirrored by the syntactic relations between
  21. >    the sentences that express those propositions.
  22.  
  23. I assume that by `syntax' he means proof-theory and by
  24. `semantics' he means model-theory; so all he's saying is that
  25. there are some logics for which you can prove soundness and
  26. completeness given a suitable proof-theory and model-theory.
  27. Ie, you can prove:
  28.  
  29. If Delta |- P, then Delta |= P.
  30. If Delta |= P, then Delta |- P.
  31.  
  32. He also probably thinks that a `proposition' is what a sentence
  33. means, ie, is something non-linguistic; but you can ignore that.
  34.  
  35. Antoni Diller
  36.  
  37.