Advertisement

The Semantics of Clocks

  • Brian Cantwell Smith
Part of the Studies in Cognitive Systems book series (COGS, volume 1)

Keywords

Subject Matter Turing Machine Representational System Interpretation Function Clock State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barwise, Jon, and Perry, John: 1983, Situations and Attitudes, Bradford Books, Cambridge, MA.Google Scholar
  2. Barwise, Jon: 1986a, ‘The Situation in Logic — III: Situations, Sets and the Axiom of Foundation’, in Alex Wilkie (ed.) Logic Colloquium 84, North Holland, Amsterdam. Also available as CSLI Technical Report CSLI-85–26 from the Center for the Study of Language and Information, Stanford University, 1985.Google Scholar
  3. Barwise, Jon: 1986b, ‘Information and Circumstance’, Notre Dame Journal of Formal Logic, 27(3) 324–338.CrossRefGoogle Scholar
  4. Brachman, Ronald J., and Levesque, Hector J. (eds.): 1985, Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, CA.Google Scholar
  5. Fodor, Jerry: 1975, The Language of Thought, Thomas Y. Crowell Co., New York. Paperback version, Harvard University Press Cambridge, MA, 1979.Google Scholar
  6. Fodor, Jerry: 1980, ‘Methodological Solipsism Considered as a Research Strategy in Cognitive Psychology’, The Behavioral and Brain Sciences, 3(1), pp. 63–73.CrossRefGoogle Scholar
  7. Reprinted in Fodor, Jerry, Representations, Bradford, Cambridge, MA, 1981.Google Scholar
  8. Mumford, Lewis: 1934, Technics and Civilization, Harcourt, Brace & Co., New York. Reprinted 1943.Google Scholar
  9. Newell, Allen: 1980, ‘Physical Symbol Systems’, Cognitive Science 4, 135–183.CrossRefGoogle Scholar
  10. Perry, John: 1986, ‘Circumstantial Attitudes and Benevolent Cognition’, in J. Butterfield (ed.), Language, Mind and Logic, pp. 123–134, Cambridge University Press Cambridge.Google Scholar
  11. Postman, Neil: 1985, Amusing Ourselves to Death: Public Discourse in the Age of Show Business, Penguin Books, New York.Google Scholar
  12. Smith, Brian C: 1982, Reflection and Semantics in a Procedural Language, Technical Report MIT/LCS/TR-272, M.I.T., Cambridge, MA, 495 pp. Prologue reprinted in (Brachman and Levesque, 1985), pp. 31–39.Google Scholar
  13. Smith, Brian C: 1984, ‘Reflection and Semantics in Lisp’, Conference Record of 11th Principles of Programming Languages Conference, pp. 23–35, Salt Lake City, Utah. Also available as Xerox PARC Intelligent Systems Laboratory Technical Report ISL-5, Palo Alto, California, 1984.Google Scholar
  14. Smith, Brian C: 1986, ‘The Correspondence Continuum’, appeared with the Proceedings of the Sixth Canadian AI Conference, Montreal, Canada, May 21–23. Available as CSLI Technical Report CSLI-87–71 from the Center for the Study of Language and Information, Stanford University, 1987. To appear in Artificial Intelligence (forthcoming).Google Scholar
  15. Smith, Brian C: Is Computation Formal? MIT Press/A Bradford Book Cambridge, MA. (Forthcoming.)Google Scholar
  16. Winograd, Terry, and Flores, Fernando: 1986, Understanding Computers and Cognition: A New Foundation for Design, Ablex, Norwood, New Jersey.Google Scholar

Copyright information

© Kluwer Academic Publishers 1988

Authors and Affiliations

  • Brian Cantwell Smith
    • 1
  1. 1.Intelligent Systems Laboratory, and Center for the Study of Language and InformationXerox Palo Alto Research CenterPalo AltoUSA

Personalised recommendations