The Semantics of Clocks

Barwise, Jon, and Perry, John: 1983, Situations and Attitudes, Bradford Books, Cambridge, MA.Google Scholar

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

Barwise, Jon: 1986b, ‘Information and Circumstance’, Notre Dame Journal of Formal Logic, 27(3) 324–338.CrossRefGoogle Scholar

Brachman, Ronald J., and Levesque, Hector J. (eds.): 1985, Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, CA.Google Scholar

Fodor, Jerry: 1975, The Language of Thought, Thomas Y. Crowell Co., New York. Paperback version, Harvard University Press Cambridge, MA, 1979.Google Scholar

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

Reprinted in Fodor, Jerry, Representations, Bradford, Cambridge, MA, 1981.Google Scholar

Mumford, Lewis: 1934, Technics and Civilization, Harcourt, Brace & Co., New York. Reprinted 1943.Google Scholar

Newell, Allen: 1980, ‘Physical Symbol Systems’, Cognitive Science 4, 135–183.CrossRefGoogle Scholar

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

Postman, Neil: 1985, Amusing Ourselves to Death: Public Discourse in the Age of Show Business, Penguin Books, New York.Google Scholar

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

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

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

Smith, Brian C: Is Computation Formal? MIT Press/A Bradford Book Cambridge, MA. (Forthcoming.)Google Scholar

Winograd, Terry, and Flores, Fernando: 1986, Understanding Computers and Cognition: A New Foundation for Design, Ablex, Norwood, New Jersey.Google Scholar