-
188Non-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
-
9Meinong 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.
-
489Computers 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.
-
458Syntax, 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.
-
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.
-
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.
-
27Jim 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.
-
19Leora 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.
-
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.
-
104Computers 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.
-
230Meinongian 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.
-
87What 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.
-
90Stuart M. Shieber’s name is well known to computational linguists for his research and to computer scientists more generally for his debate on the Loebner Turing Test competition, which appeared a decade earlier in Communications of the ACM. 1 With this collection, I expect it to become equally well known to philosophers
-
23"Exploring Meinong's Jungle and Beyond" by Richard Routley (review)Philosophy and Phenomenological Research 44 (4): 539. 1984.
-
22Review: Cynthia Dwork, Yoram Moses, Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures (review)Journal of Symbolic Logic 53 (2): 666-666. 1988.
-
26A Resolution Method for Quantified Modal Logics of Knowledge and BeliefJournal of Symbolic Logic 53 (2): 668. 1988.
-
1342How Helen Keller Used Syntactic Semantics to Escape from a Chinese RoomMinds and Machines 16 (4): 381-436. 2006.A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNeP…Read more
-
904A Computational Theory of Perspective and Reference in NarrativeIn Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, Association For Computational Linguistics. pp. 131-138. 1988.Narrative passages told from a character's perspective convey the character's thoughts and perceptions. We present a discourse process that recognizes characters'.
-
110Unsolvable Problems and Philosophical ProgressAmerican Philosophical Quarterly 19 (4). 1982.Philosophy has been characterized (e.g., by Benson Mates) as a field whose problems are unsolvable. This has often been taken to mean that there can be no progress in philosophy as there is in mathematics or science. The nature of problems and solutions is considered, and it is argued that solutions are always parts of theories, hence that acceptance of a solution requires commitment to a theory (as suggested by William Perry's scheme of cognitive development). Progress can be had in philosophy …Read more
-
45Meinong, 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
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