William J. Rapaport

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 languages, two alternatives suggest themselves. (1) The syntax of a natural language can be changed so that the interpretation function becomes total. What I urge, on the other hand, is (2) that we change the semantics of natural language, as outlined earlier, by enlarging the range of the interpretation function to make it total. I suggest making the world fit our language by adding Meinongian objects to it.

_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 reasoned opinions, and become part of the conversation by contributing their own views. Written by a highly qualified author in the field, the book looks at some of the central questions in the philosophy of computer science, including: What is philosophy? (for readers who might be unfamiliar with it) What is computer science and its relationship to science and to engineering? What are computers, computing, algorithms, and programs?(Includes a line-by-line reading of portions of Turing’s classic 1936 paper that introduced Turing Machines, as well as discussion of the Church-Turing Computability Thesis and hypercomputation challenges to it) How do computers and computation relate to the physical world? What is artificial intelligence, and should we build AIs? Should we trust decisions made by computers? A companion website contains annotated suggestions for further reading and an instructor’s manual. _Philosophy of Computer Science_ is a must-have for philosophy students, computer scientists, and general readers who want to think philosophically about computer science.

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.

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 understanding one domain (by modeling it) in terms of another, can be viewed recursively: The base case of semantic understanding –understanding a domain in terms of itself – is “syntactic understanding.” (3) An internal (or “narrow”), first-person point of view makes an external (or “wide”), third-person point of view otiose for purposes of understanding cognition.

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,” “wide,” “inherited” (more generally: “extra” or “inter-“system) semantics?

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 current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful.

Contextual vocabulary acquisition (CVA) is the deliberate acquisition of a meaning for a word in a text by reasoning from context, where “context” includes: (1) the reader’s “internalization” of the surrounding text, i.e., the reader’s “mental model” of the word’s “textual context” (hereafter, “co-text” [3]) integrated with (2) the reader’s prior knowledge (PK), but it excludes (3) external sources such as dictionaries or people. CVA is what you do when you come across an unfamiliar word in your reading, realize that you don’t know what it means, decide that you need to know what it means in order to understand the passage, but there is no one around to ask, and it is not in the dictionary (or you are too lazy to look it up). In such a case, you can try to figure out its meaning “from context”, i.e., from clues in the co-text together with your prior knowledge. Our computational theory of CVA—implemented in a the SNePS knowledge representation and reasoning system [28]—begins with a stored knowledge base containing SNePS representations of relevant PK, inputs SNePS representations of a passage containing an unfamiliar word, and draws inferences from these two (integrated) information sources. When asked to define the word, definition algorithms deductively search the resulting network for information of the sort that might be found in a dictionary definition, outputting a definition frame whose slots are the kinds of features that a definition might contain (e.g., class membership, properties, actions, spatio-temporal information, etc.) and whose slot-fillers contain information gleaned from the network [6–8,20,23,24]. We are investigating ways to make our system more robust, to embed it in a naturallanguage-processing system, and to incorporate morphological information. Our research group, including reading educators, is also applying our methods to the develop-

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system.

The late Hector-Neri Castañeda, the Mahlon Powell Professor of Philosophy at Indiana University, and founding editor of Noûs, has deeply influenced current analytic philosophy with diverse contributions, including guise theory, the theory of indicators and quasi-indicators, and the proposition/practition theory. This volume collects 15 papers--for the most part previously unpublished--in ontology, philosophy of language, cognitive science, and related areas by ex-students of Professor Castañeda, most of whom are now well-known researchers or even distinguished scholars. The authors share the conviction that Castañeda's work must continue to be explored and that his philosophical methodology must continue to be applied in an effort to further illuminate all the issues that he so deeply investigated. The topics covered by the contributions include intensional contexts, possible worlds, quasi-indicators, guise theory, property theory, Russell's substitutional theory of propositions, event theory, the adverbial theory of mental attitudes, existentialist ontology, and Plato's, Leibniz's, Kant's, and Peirce's ontologies. An introduction by the editors relates all these themes to Castañeda's philosophical interests and methodology.

This essay re-examines Meinong's "Über Gegenstandstheorie" and undertakes a clarification and revision of it that is faithful to Meinong, overcomes the various objections to his theory, and is capable of offering solutions to various problems in philosophy of mind and philosophy of language. I then turn to a discussion of a historically and technically interesting Russell-style paradox (now known as "Clark's Paradox") that arises in the modified theory. I also examine the alternative Meinong-inspired theories of Hector-Neri Castañeda and Terence Parsons.

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 objection holds, such artifacts will inevitably be persons

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 San Carlos, Guatemala. He won a scholarship to the University of Minnesota, where he received his B.A. (1950), M.A. (1952), and Ph.D. (1954), all in philosophy. His dissertation, “The Logical Structure of Moral Reasoning”, was written under the direction of Wilfrid Sellars. He returned to teach in Guatemala, and then received a scholarship to study at Oxford University (1955–1956), after which he took a sabbatical-replacement position in philosophy at Duke University (1956). His first full-time academic appointment was at Wayne State University (1957– 1969), where he founded the philosophy journal Noˆus (1967, a counter-offer made to him by Wayne State to encourage him to stay there rather than to take the chairmanship of philosophy at the University of Pennsylvania). In 1969, he moved (along with several of his Wayne colleagues) to Indiana University, where he eventually became the Mahlon Powell Professor of Philosophy and, later, its first Dean of Latino Affairs (1978–1981). He remained at Indiana until his death. He was also a visiting professor of philosophy at the University of Texas at Austin (1962–1963) and a fellow at the Center for Advanced Study in the Behavioral Sciences (1981–1982). He received grants and fellowships from the Guggenheim Foundation (1967–1968), the T. Andrew Mellon Foundation, the National Endowment for the Humanities, and the National Science Foundation. He was elected President of the American Philosophical Association Central Division (1979– 1980), named to the American Academy of Arts and Sciences (1990), and received the Presidential Medal of Honor from the Government of Guatemala (1991). Casta˜neda’s philosophical interests spanned virtually the entire spectrum of philosophy, and his theories form a highly interconnected whole..

Syntactic semantics is a holistic, conceptual-role-semantic theory of how computers can think. But Fodor and Lepore have mounted a sustained attack on holistic semantic theories. However, their major problem with holism (that, if holism is true, then no two people can understand each other) can be fixed by means of negotiating meanings. Syntactic semantics and Fodor and Lepore’s objections to holism are outlined; the nature of communication, miscommunication, and negotiation is discussed; Bruner’s ideas about the negotiation of meaning are explored; and some observations on a problem for knowledge representation in AI raised by Winston are presented

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 in the Philosophy Department’s AI-related courses, such as logic, philosophy of mind, and epistemology, and that several computer science students have added philosophy as a second major.) This article describes that course, provides material for use in such a course, and offers a bibliography of relevant articles in the AI, cognitive science, and philosophical literature.