The term "non-monotonic logic" covers a family of formal frameworks devised to capture and represent defeasible inference , i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called "non-monotonic" because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge base itself. This is (...) in contrast to classical (first-order) logic, whose inferences, being deductively valid, can never be "undone" by new information. (shrink)

Recently, on the History Channel, artificial intelligence (AI) was singled out, with much wringing of hands, as one of the seven possible causes of the end of human life on Earth. I argue that the wringing of hands is quite inappropriate: the best thing that could happen to humans, and the rest of life of on planet Earth, would be for us to develop intelligent machines and then usher in our own extinction.

Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are mathematical objects.

Functionalism in the philosophy of mind is the doctrine that what makes something a mental state of a particular type does not depend on its internal constitution, but rather on the way it functions, or the role it plays, in the system of which it is a part. This doctrine is rooted in Aristotle's conception of the soul, and has antecedents in Hobbes's conception of the mind as a “calculating machine”, but it has become fully articulated (and popularly endorsed) only (...) in the last third of the 20th century. Though the term ‘functionalism’ is used to designate a variety of positions in a variety of other disciplines, including psychology, sociology, economics, and architecture, this entry focuses exclusively on functionalism as a philosophical thesis about the nature of mental states. (shrink)

Intentionality is the power of minds to be about, to represent, or to stand for, things, properties and states of affairs. The puzzles of intentionality lie at the interface between the philosophy of mind and the philosophy of language. The word itself, which is of medieval Scholastic origin, was rehabilitated by the philosopher Franz Brentano towards the end of the nineteenth century. ‘Intentionality’ is a philosopher's word. It derives from the Latin word intentio, which in turn derives from the verb (...) intendere, which means being directed towards some goal or thing. The entry falls into eleven sections. (shrink)

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

Qualia inversion thought experiments are ubiquitous in contemporary philosophy of mind. The most popular kind is one or another variant of Locke's hypothetical case of.

The employment of a particular class of computer programs known as "connectionist networks" to model mental processes is a widespread approach to research in cognitive science these days. Little has been written, however, on the precise connection that is thought to hold between such programs and actual in vivo cognitive processes such that the former can be said to "model" the latter in a scientific sense. What is more, this relation can be shown to be problematic. In this paper I (...) give a brief overview of the use of connectionist models in cognitive science, and then explore some of the statements connectionists have made about the nature of the "modeling relation" thought to hold between them and cognitive processes. Finally I show that these accounts are inadequate and that more work is necessary if connectionist networks are to be seriously regarded as scientific models of cognitive processes. (shrink)

The aim of philosophy, abstractly formulated, is to understand how things in the broadest possible sense of the term hang together in the broadest possible sense of the term. Under 'things in the broadest possible sense' I include such radically different items as not only 'cabbages and kings', but numbers and duties, possibilities and finger snaps, aesthetic experience and death. To achieve success in philosophy would be, to use a contemporary turn of phrase, to 'know one's way around' with respect (...) to all these things, not in that unreflective way in which the centipede of the story knew its way around before it faced the question, 'how do I walk?', but in that reflective way which means that no intellectual holds are barred. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

I reject the contention that an important theoretical difference exists between formal and natural languages.

Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...) proposal resting on a distinction of three levels too often run together in biomedical ontology research: 1. the level of reality; 2. the level of cognitive representations of this reality; 3. the level of textual and graphical artifacts. We propose a reference terminology for ontology research and development that is designed to serve as common hub into which the several competing disciplinary terminologies can be mapped. We then justify our terminological choices through a critical treatment of the ‘concept orientation’ in biomedical terminology research. (shrink)

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 (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

I argue that, contrary to intuition, it would be both possible and permissible to design people - whether artificial or organic - who by their nature desire to do tasks we find unpleasant.

Everyone has a different "learning style". (A good introduction to the topic of learning styles is Claxton & Murrell 1987. For more on different learning styles, see Keirsey Temperament and Character Web Site, William Perry's Scheme of Intellectual and Ethical Development, Holland 1966, Kolb 1984, Sternberg 1999. For an interesting discussion of some limitations of learning styles from the perspective of teaching styles, see Glenn 2009/2010.) For some online tools targeted at different learning styles, see "100 Helpful Web Tools for (...) Every Kind of Learner". (shrink)

I’m one of those who is awed and impressed by the potential of this field and have devoted some part of my energy to persuading people that it is a positive force. I have done so largely on the grounds of its economic benefits and it potential for making the fruits of computer technology more generally available to the public — for example, to help the overworked physician; to search for oil and minerals and help manage our valuable resources; to (...) explore, mine, and experimentindangerousenvironments;toallowthenon-computingpublicaccesstovast libraries of important information and even advice, and in the process give real meaning to the.. (shrink)

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.. (shrink)

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), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

Computation and information processing are among the most fundamental notions in cognitive science. They are also among the most imprecisely discussed. Many cognitive scientists take it for granted that cognition involves computation, information processing, or both – although others disagree vehemently. Yet different cognitive scientists use ‘computation’ and ‘information processing’ to mean different things, sometimes without realizing that they do. In addition, computation and information processing are surrounded by several myths; first and foremost, that they are the same thing. In (...) this paper, we address this unsatisfactory state of affairs by presenting a general and theory-neutral account of computation and information processing. We also apply our framework by analyzing the relations between computation and information processing on one hand and classicism and connectionism on the other. We defend the relevance to cognitive science of both computation, in a generic sense that we fully articulate for the first time, and information processing, in three important senses of the term. Our account advances some foundational debates in cognitive science by untangling some of their conceptual knots in a theory-neutral way. By leveling the playing field, we pave the way for the future resolution of the debates’ empirical aspects. (shrink)

For many philosophers of science, mathematics lies closer to logic than it does to the ordinary sciences like physics, biology and economics. While this view may account for the relative neglect of the philosophy of mathematics by philosophers of science, it ignores at least two pressing questions about mathematics that philosophers of science need to be able to answer. First, do the similarities between mathematics and science support the view that mathematics is, after all, another science? Second, does the central (...) role of mathematics in science shed any light on traditional philosophical debates about science like scientific realism, the nature of explanation or reduction? When faced with these kinds of questions many philosophers of science have little to say. Unfortunately, most philosophers of mathematics also fail to engage with questions about the relationship between mathematics and science and so a peculiar isolation has emerged between philosophy of science and philosophy of mathematics. In this introductory survey I aim to equip the interested philosopher of science with a roadmap that can guide her through the often intimidating terrain of contemporary philosophy of mathematics. I hope that such a survey will make clear how fruitful a more sustained interaction between philosophy of science and philosophy of mathematics could be. (shrink)

Darwin’s theory of evolution by natural selection unifies the world of physics with the world of meaning and purpose by proposing a deeply counterintuitive ‘‘inversion of reasoning’’ (according to a 19th century critic): ‘‘to make a perfect and beautiful machine, it is not requisite to know how to make it’’ [MacKenzie RB (1868) (Nisbet & Co., London)]. Turing proposed a similar inversion: to be a perfect and beautiful computing machine, it is not requisite to know what arithmetic is. Together, these (...) ideas help to explain how we human intelligences came to be able to discern the reasons for all of the adaptations of life, including our own. (shrink)

The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.