-
183Non-Existent Objects and Epistemological OntologyGrazer Philosophische Studien 26 (1): 61-95. 1985.This essay examines the role of non-existent objects in "epistemological ontology"--the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Aussersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.
-
235Critical Review of Minds, Brains and ScienceNoûs 22 (4): 585-609. 1988.Critical Review of Searle's Minds, Brains and Science
-
8Meinong and the Principle of Independence. Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical LogicJournal of Symbolic Logic 51 (1): 248-252. 1986.
-
481Computers Are Syntax All the Way Down: Reply to BozşahinMinds and Machines 29 (2): 227-237. 2019.A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.
-
452Syntax, Semantics, and Computer ProgramsPhilosophy and Technology 33 (2): 309-321. 2020.Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
-
22Fred Landman. Pegs and alecs. An abridged version of LIII 656. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 45–61 (review)Journal of Symbolic Logic 53 (2): 662-663. 1988.
-
25Jim Des Rivières and Hector J. Levesque. The consistency of syntactical treatments of knowledge. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 115–130 (review)Journal of Symbolic Logic 53 (2): 665-666. 1988.
-
31Raymond M. Smullyan. Logicians who reason about themselves. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 341–352 (review)Journal of Symbolic Logic 53 (2): 668-669. 1988.
-
18Leora Morgenstern. A first order theory of planning, knowledge, and action. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 99–114 (review)Journal of Symbolic Logic 53 (2): 664-665. 1988.
-
31
-
17Jaakko Hintikka. Reasoning about knowledge in philosophy: the paradigm of epistemic logic. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 63–80 (review)Journal of Symbolic Logic 53 (2): 663-664. 1988.
-
30Kurt Konolige. What awareness isn't: a sentential view of implicit and explicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 241–250 (review)Journal of Symbolic Logic 53 (2): 667-668. 1988.
-
17Joseph Y. Halpern. Reasoning about knowledge: an overview. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 1–17 (review)Journal of Symbolic Logic 53 (2): 660-661. 1988.
-
23Gordon Plotkin and Colin Stirling. A framework for intuitionistic modal logics. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 399–406 (review)Journal of Symbolic Logic 53 (2): 669. 1988.
-
20Stanley J. Rosenschein and Leslie Pack Kaelbling. The synthesis of digital machines with provable epistemic properties. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 83–98 (review)Journal of Symbolic Logic 53 (2): 664. 1988.
-
26Gerhard Lakemeyer. Steps towards a first-order logic of explicit and implicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 325–340 (review)Journal of Symbolic Logic 53 (2): 668. 1988.
-
25Brian Cantwell Smith. Varieties of self-reference. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 19–43 (review)Journal of Symbolic Logic 53 (2): 661-662. 1988.
-
97Computers Are Syntax All the Way Down: Reply to BozşahinMinds and Machines 29 (2): 227-237. 2019.A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.
-
227Meinongian Semantics and Artificial IntelligenceHumana Mente 6 (25): 25-52. 2013.This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. In particular, propositional semantic networks are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems are presented.
-
86What is a Computer? A SurveyMinds and Machines 28 (3): 385-426. 2018.A critical survey of some attempts to define ‘computer’, beginning with some informal ones, then critically evaluating those of three philosophers, and concluding with an examination of whether the brain and the universe are computers.
-
15Review: Gerhard Lakemeyer, Steps Towards a First-Order Logic of Explicit and Implicit Belief (review)Journal of Symbolic Logic 53 (2): 668-668. 1988.
-
820A Triage Theory of Grading: The Good, the Bad, and the MiddlingTeaching Philosophy 34 (4). 2011.This essay presents and defends a triage theory of grading: An item to be graded should get full credit if and only if it is clearly or substantially correct, minimal credit if and only if it is clearly or substantially incorrect, and partial credit if and only if it is neither of the above; no other (intermediate) grades should be given. Details on how to implement this are provided, and further issues in the philosophy of grading (reasons for and against grading, grading on a curve, and the su…Read more
-
106Review of Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference (review)Journal of Symbolic Logic 53 (2): 669-670. 1988.
-
171Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics (SUNY Buffalo) (edited book)Assoc for computational linguistics. 1988.Narrative passages told from a character's perspective convey the character's thoughts and perceptions. We present a discourse process that recognizes characters' thoughts and perceptions in third-person narrative. An effect of perspective on reference In narrative is addressed: references in passages told from the perspective of a character reflect the character's beliefs. An algorithm that uses the results of our discourse process to understand references with respect to an appropriate set of …Read more
-
1353Contextual Vocabulary Acquisition: from Algorithm to CurriculumIn Adriano Palma (ed.), Castañeda and His Guises: Essays on the Work of Hector-Neri Castañeda, De Gruyter. pp. 107-150. 2014.Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we…Read more
-
391Meinong, Defective Objects, and (Psycho-)Logical ParadoxGrazer Philosophische Studien 18 (1): 17-39. 1982.Alexius Meinong developed a notion of defective objects in order to account for various logical and psychological paradoxes. The notion is of historical interest, since it presages recent work on the logical paradoxes by Herzberger and Kripke. But it fails to do the job it was designed for. However, a technique implicit in Meinong's investigation is more successful and can be adapted to resolve a similar paradox discovered by Romane Clark in a revised version of Meinong's Theory of Objects due t…Read more
-
1227Understanding understanding: Syntactic semantics and computational cognitionPhilosophical Perspectives 9 49-88. 1995.John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: Everything makes sense. The…Read more
-
252How to pass a Turing test: Syntactic semantics, natural-language understanding, and first-person cognitionJournal of Logic, Language, and Information 9 (4): 467-490. 2000.I advocate a theory of syntactic semantics as a way of understanding how computers can think (and how the Chinese-Room-Argument objection to the Turing Test can be overcome): (1) Semantics, considered as the study of relations between symbols and meanings, can be turned into syntax â a study of relations among symbols (including meanings) â and hence syntax (i.e., symbol manipulation) can suffice for the semantical enterprise (contra Searle). (2) Semantics, considered as the process of under…Read more
Buffalo, New York, United States of America
Areas of Specialization
Philosophy of Computation, Misc |
Philosophy of Cognitive Science |
Philosophy of Mind |
Philosophy of Language |
Areas of Interest
6 more