-
180Non-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.
-
228Critical 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.
-
471Computers 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.
-
444Syntax, 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.
-
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.
-
21Fred 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.
-
24Jim 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.
-
29Kurt 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.
-
24Brian 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.
-
92Computers 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.
-
217Meinongian 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.
-
110How minds can be computational systemsJournal of Experimental and Theoretical Artificial Intelligence 10 (4): 403-419. 1998.The proper treatment of computationalism, as the thesis that cognition is computable, is presented and defended. Some arguments of James H. Fetzer against computationalism are examined and found wanting, and his positive theory of minds as semiotic systems is shown to be consistent with computationalism. An objection is raised to an argument of Selmer Bringsjord against one strand of computationalism, namely, that Turing-Test± passing artifacts are persons, it is argued that, whether or not this…Read more
-
1314Semiotic Systems, Computers, and the Mind: How Cognition Could Be ComputingInternational Journal of Signs and Semiotic Systems 2 (1): 32-71. 2012.In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are s…Read more
-
9Review: Joseph Y. Halpern, Reasoning About Knowledge: An Overview (review)Journal of Symbolic Logic 53 (2): 660-661. 1988.
-
342CASTANEDA, Hector-Neri (1924–1991)In John R. Shook (ed.), The Dictionary of Modern American Philosophers, 1860-1960, Thoemmes Press. 2005.H´ector-Neri Casta˜neda-Calder´on (December 13, 1924–September 7, 1991) was born in San Vicente Zacapa, Guatemala. He attended the Normal School for Boys in Guatemala City, later called the Military Normal School for Boys, from which he was expelled for refusing to fight a bully; the dramatic story, worthy of being filmed, is told in the “De Re” section of his autobiography, “Self-Profile” (1986). He then attended a normal school in Costa Rica, followed by studies in philosophy at the University of…Read more
-
1737Philosophy of Computer ScienceTeaching Philosophy 28 (4): 319-341. 2005.There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.
-
734Philosophy of Artificial Intelligence: A Course OutlineTeaching Philosophy 9 (2): 103-120. 1986.In the Fall of 1983, I offered a junior/senior-level course in Philosophy of Artificial Intelligence, in the Department of Philosophy at SUNY Fredonia, after returning there from a year’s leave to study and do research in computer science and artificial intelligence (AI) at SUNY Buffalo. Of the 30 students enrolled, most were computerscience majors, about a third had no computer background, and only a handful had studied any philosophy. (I might note that enrollments have subsequently increased …Read more
-
1136Non-Existent Objects and Epistemological OntologyGrazer Philosophische Studien 25 (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 Außersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.
-
927Yes, She Was!: Reply to Ford’s “Helen Keller Was Never in a Chinese Room”Minds and Machines 21 (1): 3-17. 2011.Ford’s Helen Keller Was Never in a Chinese Room claims that my argument in How Helen Keller Used Syntactic Semantics to Escape from a Chinese Room fails because Searle and I use the terms ‘syntax’ and ‘semantics’ differently, hence are at cross purposes. Ford has misunderstood me; this reply clarifies my theory
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