•  223
    How to Make the World Fit Our Language: An Essay in Meinongian Semantics
    Grazer Philosophische Studien 14 (1): 1-22. 1981.
    For a formal language, one usually only considers semantic interpretations which are complete: for each singular referring expression in the language, there corresponds an element of the universe of discourse. However, natural languages only have a partial interpretation function when given such a set- or model-theoretic semantics whose universe of discourse (or "model") is taken to be the real, physical world. To put semantics on a par with syntax for parity of treatment of natural and formal l…Read more
  •  44
    _A unique resource exploring the nature of computers and computing, and their relationships to the world._ _Philosophy of Computer Science_ is a university-level textbook designed to guide readers through an array of topics at the intersection of philosophy and computer science. Accessible to students from either discipline, or complete beginners to both, the text brings readers up to speed on a conversation about these issues, so that they can read the literature for themselves, form their own …Read more
  •  307
    Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a meaning for an unknown word from its “context.” without external sources of help. 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 present and defend a computational theory of CVA that we have adapted to a new classroom curriculum designed to help students use CVA to improve their reading comprehension…Read more
  •  133
    How to Pass a Turing Test
    Journal 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 underst…Read more
  •  209
    I survey a common theme that pervades the philosophy of computer science (and philosophy more generally): the relation of computing to the world. Are algorithms merely certain procedures entirely characterizable in an “indigenous,” “internal,’ “intrinsic,” “local,” “narrow,” “syntactic” (more generally: “intra-system”), purely-Turing-machine language? Or must algorithms interact with the real world, having a purpose that is expressible only in a language with an “external,” “extrinsic,” “global,…Read more
  •  2071
    Non-Existent Objects and Epistemological Ontology
    Grazer Philosophische Studien 25 (1): 61-95. 1986.
    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.
  •  1423
    Is Artificial General Intelligence Impossible?
    Cosmos+Taxis 12 (5+6): 5-22. 2024.
    In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in…Read more
  •  908
    Non-Existent Objects and Epistemological Ontology
    Grazer 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.
  •  738
    Critical Review of Minds, Brains and Science
    Noûs 22 (4): 585-609. 1988.
    Critical Review of Searle's Minds, Brains and Science
  •  1471
    Computers Are Syntax All the Way Down: Reply to Bozşahin
    Minds 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.
  •  1258
    Syntax, Semantics, and Computer Programs
    Philosophy 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.
  •  835
    Meinongian Semantics and Artificial Intelligence
    Humana 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.
  •  150
    What is a Computer? A Survey
    Minds 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.
  • Intentionality and the Structure of Existence
    Dissertation, Indiana University. 1976.
  •  757
    Philosophy for Children and Other People
    American Philosophical Association Newsletter on Teaching Philosophy (Summer): 19-22. 1987.
    It is a matter of fact—and has been so for a considerable amount of time—that philosophy is taught at the pre—college level. However, to teach philosophy at that (or at any) level is one thing; to teach it well is quite another. Fortunately, it can be taught well, as a host of successful experiences and programs have shown. But in what ways can it be taught? Are there differences in the ways in which it can or should be taught at the pre-college level from the ways in which it is taught in colle…Read more
  •  1375
    Logical foundations for belief representation
    Cognitive Science 10 (4): 371-422. 1986.
    This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and rea…Read more
  •  104
    List of errata to Rapaport, William J. (1978), "Meinongian Theories and a Russellian Paradox", Noûs 12: 153-180
  •  1408
    The SNePS Family
    with Stuart C. Shapiro
    Computers and Mathematics with Applications 23 243-275. 1992.
    SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), …Read more
  •  1558
    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
  •  1230
    To think or not to think
    Noûs 22 (4): 585-609. 1988.
    A critical study of John Searle's Minds, Brains and Science (Cambridge, MA: Harvard University Press, 1984).
  •  159
    Stuart 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
  •  957
    On cogito propositions
    Philosophical Studies 29 (1): 63-68. 1976.
    I argue that George Nakhnikian's analysis of the logic of cogito propositions (roughly, Descartes's 'cogito' and 'sum') is incomplete. The incompleteness is rectified by showing that disjunctions of cogito propositions with contingent, non-cogito propositions satisfy conditions of incorrigibility, self-certifyingness, and pragmatic consistency; hence, they belong to the class of propositions with whose help a complete characterization of cogito propositions is made possible.
  •  419
    How to pass a Turing test: Syntactic semantics, natural-language understanding, and first-person cognition
    Journal 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
  •  197
    This is a draft of the written version of comments on a paper by David Cole, presented orally at the American Philosophical Association Central Division meeting in New Orleans, 27 April 1990. Following the written comments are 2 appendices: One contains a letter to Cole updating these comments. The other is the handout from the oral presentation
  •  3942
    What Is the “Context” for Contextual Vocabulary Acquisition?
    Proceedings of the 4th Joint International Conference on Cognitive Science/7th Australasian Society for Cognitive Science Conference 2 547-552. 2003.
    “Contextual” vocabulary acquisition is the active, deliberate acquisition of a meaning for a word in a text by reasoning from textual clues and prior knowledge, including language knowledge and hypotheses developed from prior encounters with the word, but without external sources of help such as dictionaries or people. But what is “context”? Is it just the surrounding text? Does it include the reader’s background knowledge? I argue that the appropriate context for contextual vocabulary acquisiti…Read more