This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

One of Hume's most well-known works and a masterpiece of philosophy, A Treatise of Human Nature is indubitably worth taking the time to read.

John Searle began to discuss his recently published book `The Construction of Social Reality' with Anthony Freeman, and they ended up talking about God. The book itself and part of their conversation are introduced and briefly reflected upon by Anthony Freeman. Many familiar social facts -- like money and marriage and monarchy -- are only facts by human agreement. They exist only because we believe them to exist. That is the thesis, at once startling yet obvious, that philosopher John Searle (...) explores in The Construction of Social Reality. (shrink)

Explanations in the life sciences frequently involve presenting a model of the mechanism taken to be responsible for a given phenomenon. Such explanations depart in numerous ways from nomological explanations commonly presented in philosophy of science. This paper focuses on three sorts of differences. First, scientists who develop mechanistic explanations are not limited to linguistic representations and logical inference; they frequently employ diagrams to characterize mechanisms and simulations to reason about them. Thus, the epistemic resources for presenting mechanistic explanations are (...) considerably richer than those suggested by a nomological framework. Second, the fact that mechanisms involve organized systems of component parts and operations provides direction to both the discovery and testing of mechanistic explanations. Finally, models of mechanisms are developed for specific exemplars and are not represented in terms of universally quantified statements. Generalization involves investigating both the similarity of new exemplars to those already studied and the variations between them. (shrink)

The idea that human thought requires the execution of mental algorithms provides a foundation for research programs in cognitive science, which are largely based upon the computational conception of language and mentality. Consideration is given to recent work by Penrose, Searle, and Cleland, who supply various grounds for disputing computationalism. These grounds in turn qualify as reasons for preferring a non-computational, semiotic approach, which can account for them as predictable manifestations of a more adquate conception. Thinking does not ordinarily require (...) the execution of mental algorithms, which appears to be at best no more than one rather special kind of thinking. (shrink)

Russian translation of Gettier E. L. Is Justified True Belief Knowledge? // Analysis, vol. 23, 1963. Translated by Lev Lamberov with kind permission of the author.

Natural languages differ from most formal languages in having a partial, rather than a total, semantic interpretation function; e.g., some noun phrases don't refer. The usual semantics for handling such noun phrases (e.g., Russell, Quine) require syntactic reform. The alternative presented here is semantic expansion, viz., enlarging the range of the interpretaion function to make it total. A specific ontology based on Meinong's Theory of Objects, which can serve as domain on interpretation, is suggested, and related to the work of (...) Castaneda, Frege, Katz and Fodor, Parsons, and Scott. (shrink)

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.

Defending or attacking either functionalism or computationalism requires clarity on what they amount to and what evidence counts for or against them. My goal here is not to evaluate their plausibility. My goal is to formulate them and their relationship clearly enough that we can determine which type of evidence is relevant to them. I aim to dispel some sources of confusion that surround functionalism and computationalism, recruit recent philosophical work on mechanisms and computation to shed light on them, and (...) clarify how functionalism and computationalism may or may not legitimately come together. (shrink)

What is the computational notion of “implementation”? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation.

Includes chapters on scientific language, mathematics, probability, credibility and induction, scientific explanations, life, and science and values.

Computers are already approving financial transactions, controlling electrical supplies, and driving trains. Soon, service robots will be taking care of the elderly in their homes, and military robots will have their own targeting and firing protocols. Colin Allen and Wendell Wallach argue that as robots take on more and more responsibility, they must be programmed with moral decision-making abilities, for our own safety. Taking a fast paced tour through the latest thinking about philosophical ethics and artificial intelligence, the authors argue (...) that even if full moral agency for machines is a long way off, it is already necessary to start building a kind of functional morality, in which artificial moral agents have some basic ethical sensitivity. But the standard ethical theories don't seem adequate, and more socially engaged and engaging robots will be needed. As the authors show, the quest to build machines that are capable of telling right from wrong has begun. -/- Moral Machines is the first book to examine the challenge of building artificial moral agents, probing deeply into the nature of human decision making and ethics. (shrink)

John Searle's Speech Acts (1969) and Expression and Meaning (1979) developed a highly original and influential approach to the study of language. But behind both works lay the assumption that the philosophy of language is in the end a branch of the philosophy of the mind: speech acts are forms of human action and represent just one example of the mind's capacity to relate the human organism to the world. The present book is concerned with these biologically fundamental capacities, and, (...) though third in the sequence, in effect it provides the philosophical foundations for the other two. Intentionality is taken to be the crucial mental phenomenon, and its analysis involves wide-ranging discussions of perception, action, causation, meaning, and reference. In all these areas John Searle has original and stimulating views. He ends with a resolution of the 'mind-body' problem. (shrink)

In the early 1920s, the German mathematician David Hilbert (1862–1943) put forward a new proposal for the foundation of classical mathematics which has come to be known as Hilbert's Program. It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent. The consistency proof itself was to be carried out using only what Hilbert called “finitary” methods. The special epistemological character of finitary reasoning then yields the required justification (...) of classical mathematics. Although Hilbert proposed his program in this form only in 1921, various facets of it are rooted in foundational work of his going back until around 1900, when he first pointed out the necessity of giving a direct consistency proof of analysis. Work on the program progressed significantly in the 1920s with contributions from logicians such as Paul Bernays, Wilhelm Ackermann, John von Neumann, and Jacques Herbrand. It was also a great influence on Kurt Gödel, whose work on the incompleteness theorems were motivated by Hilbert's Program. Gödel's work is generally taken to show that Hilbert's Program cannot be carried out. It has nevertheless continued to be an influential position in the philosophy of mathematics, and, starting with the work of Gerhard Gentzen in the 1930s, work on so-called Relativized Hilbert Programs have been central to the development of proof theory. (shrink)

I argue that at least one of the following propositions is true: the human species is very likely to become extinct before reaching a ’posthuman’ stage; any posthuman civilization is extremely unlikely to run a significant number of simulations of its evolutionary history ; we are almost certainly living in a computer simulation. It follows that the belief that there is a significant chance that we shall one day become posthumans who run ancestor-simulations is false, unless we are currently living (...) in a simulation. I discuss some consequences of this result. (shrink)

Logical Atomism is a philosophy that sought to account for the world in all its various aspects by relating it to the structure of the language in which we articulate information. In _The Philosophy of Logical Atomism,_ Bertrand Russell, with input from his young student Ludwig Wittgenstein, developed the concept and argues for a reformed language based on pure logic. Despite Russell’s own future doubts surrounding the concept, this founding and definitive work in analytical philosophy by one of the world’s (...) most significant philosophers is a remarkable attempt to establish a novel way of thinking. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

I examine the phenomenon of implicit learning, the process by which knowledge about the rule-governed complexities of the stimulus environment is acquired independently of conscious attempts to do so. Our research with the two seemingly disparate experimental paradigms of synthetic grammar learning and probability learning, is reviewed and integrated with other approaches to the general problem of unconscious cognition. The conclusions reached are as follows: Implicit learning produces a tacit knowledge base that is abstract and representative of the structure of (...) the environment; such knowledge is optimally acquired independently of conscious efforts to learn; and it can be used implicitly to solve problems and make accurate decisions about novel stimulus circumstances. Various epistemological issues and related problems such as intuition, neuroclinical disorders of learning and memory, and the relationship of evolutionary processes to cognitive science are also discussed. (shrink)

This book focuses on material culture as a subject of philosophical inquiry and promotes the philosophical study of material culture by articulating some of the central and difficult issues raised by this topic and providing innovative solutions to them, most notably an account of improvised action and a non-intentionalist account of function in material culture. Preston argues that material culture essentially involves activities of production and use; she therefore adopts an action-theoretic foundation for a philosophy of material culture. Part 1 (...) illustrates this foundation through a critique, revision, and extension of existing philosophical theories of action. Part 2 investigates a salient feature of material culture itself—its functionality. A basic account of function in material culture is constructed by revising and extending existing theories of biological function to fit the cultural case. Here the adjustments are for the most part necessitated by special features of function in material culture. These two parts of the project are held together by a trio of overarching themes: the relationship between individual and society, the problem of centralized control, and creativity. (shrink)

Hilary Putnam deals in this book with some of the most fundamental persistent problems in philosophy: the nature of truth, knowledge and rationality. His aim is to break down the fixed categories of thought which have always appeared to define and constrain the permissible solutions to these problems.

This article defends a modest version of the Physical Church-Turing thesis (CT). Following an established recent trend, I distinguish between what I call Mathematical CT—the thesis supported by the original arguments for CT—and Physical CT. I then distinguish between bold formulations of Physical CT, according to which any physical process—anything doable by a physical system—is computable by a Turing machine, and modest formulations, according to which any function that is computable by a physical system is computable by a Turing machine. (...) I argue that Bold Physical CT is not relevant to the epistemological concerns that motivate CT and hence not suitable as a physical analog of Mathematical CT. The correct physical analog of Mathematical CT is Modest Physical CT. I propose to explicate the notion of physical computability in terms of a usability constraint, according to which for a process to count as relevant to Physical CT, it must be usable by a finite observer to obtain the desired values of a function. Finally, I suggest that proposed counterexamples to Physical CT are still far from falsifying it because they have not been shown to satisfy the usability constraint. (shrink)

I argue against the tendency in the philosophy of science literature to link abduction to the inference to the best explanation (IBE), and in particular, to claim that Peireean abduction is a conceptual predecessor to IBE. This is not to discount either abduction or IBE. Rather the purpose of this paper is to clarify the relation between Peireean abduction and IBE in accounting for ampliative inference in science. This paper aims at a proper classification—not justification—of types of scientific reasoning. In (...) particular, I claim that Peireean abduction is an in-depth account of the process of generating explanatory hypotheses, while IBE, at least in Peter Lipton's thorough treatment, is a more encompassing account of the processes both of generating and of evaluating scientific hypotheses. There is then a two-fold problem with the claim that abduction is IBE. On the one hand, it conflates abduction and induction, which are two distinct forms of logical inference, with two distinct aims, as shown by Charles S. Peirce; on the other hand it lacks a clear sense of the full scope of IBE as an account of scientific inference. (shrink)

The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such arguments in light of recent work on CTT and argue that they are unsound. Although CTT does nothing to support computationalism, it is not irrelevant to it. By eliminating misunderstandings about the relationship between CTT and computationalism, we deepen our appreciation of computationalism as an empirical hypothesis.

Philosophy and Computing explores each of the following areas of technology: the digital revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases, textbases, and hypertexts; Artificial Intelligence; the future of computing. Luciano Floridi shows us how the relationship between philosophy and computing provokes a wide range of philosophical questions: is there a philosophy of information? What can be achieved by a classic computer? How can we define complexity? What are the limits of quantam computers? Is the Internet (...) an intellectual space or a polluted environment? What is the paradox in the Strong Artificial Intelligence program? Philosophy and Computing is essential reading for anyone wishing to fully understand both the development and history of information and communication technology as well as the philosophical issues it ultimately raises. (shrink)

This user-friendly text covers key issues in the philosophy of science in an accessible and philosophically serious way. It will prove valuable to students studying philosophy of science as well as science students. Prize-winning author Alex Rosenberg explores the philosophical problems that science raises by its very nature and method. He skilfully demonstrates that scientific explanation, laws, causation, theory, models, evidence, reductionism, probability, teleology, realism and instrumentalism actually pose the same questions that Plato, Aristotle, Descartes, Hume, Kant and their successors (...) have grappled with for centuries. (shrink)

In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. Furthermore, (...) it is not clear whether any substance in von Neumann's celebrated 1945 ‘First Draft Report on the EDVAC’ is influenced in any identifiable way by Turing's work. This raises the questions: When does Turing enter the field? Why did the Association for Computing Machinery honor Turing by associating his name to ACM's most prestigious award, the Turing Award? Previous authors have.. (shrink)

The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

Have humans been sharing the planet with other intelligent life for millions of years without realizing it? _In Defense of Dolphins_ combines accessible science and philosophy, surveying the latest research on dolphin intelligence and social behavior, to advocate for their ethical treatment. Encourages a reassessment of the human-dolphin relationship, arguing for an end to the inhuman treatment of dolphins Written by an expert philosopher with almost twenty-years of experience studying dolphins Combines up-to-date research supporting the sophisticated cognitive and emotional capacities (...) of dolphins with entertaining first-hand accounts Looks at the serious questions of intelligent life, ethical treatment, and moral obligation Engaging and thought-provoking. (shrink)

In Context and Content Robert Stalnaker develops a philosophical picture of the nature of speech and thought and the relations between them. Two themes in particular run through these collected essays: the role that the context in which speech takes place plays in accounting for the way language is used to express thought, and the role of the external environment in determining the contents of our thoughts. Stalnaker argues against the widespread assumption of the priority of linguistic over mental representation, (...) which he suggests has had a distorting influence on our understanding. The first part of the book develops a framework for representing contexts and the way they interact with the interpretation of what is said in them. This framework is used to help to explain a range of linguistic phenomena concerning presupposition and assertion, conditional statements, the attribution of beliefs, and the use of names, descriptions, and pronouns to refer. Stalnaker then draws out the conception of thought and its content that is implicit in this framework. He defends externalism about thought--the assumption that our thoughts have the contents they have in virtue of the way we are situated in the world--and explores the role of linguistic action and linguistic structure in determining the contents of our thoughts. Context and Content offers philosophers and cognitive scientists a summation of Stalnaker's important and influential work in this area. His new introduction to the volume gives an overview of this work and offers a convenient way in for those who are new to it. The Oxford Cognitive Science series is a new forum for the best contemporary work in this flourishing field, where various disciplines--cognitive psychology, philosophy, linguistics, cognitive neuroscience, and computational theory--join forces in the investigation of thought, awareness, understanding, and associated workings of the mind. Each book constitutes an original contribution to its subject, but will be accessible beyond the ranks of specialists, so as to reach a broad interdisciplinary readership. The series will be carefully shaped and steered with the aim of representing the most important developments in the field and bringing together its constituent disciplines. (shrink)

Presenting a landmark in linguistics and cognitive science, Ray Jackendoff proposes a new holistic theory of the relation between the sounds, structure, and meaning of language and their relation to mind and brain. Foundations of Language exhibits the most fundamental new thinking in linguistics since Noam Chomsky's Aspects of the Theory of Syntax in 1965—yet is readable, stylish, and accessible to a wide readership. Along the way it provides new insights on the evolution of language, thought, and communication.

This study is a philosophical critique of the foundations of Sigmund Freud's psychoanalysis. As such, it also takes cognizance of his claim that psychoanalysis has the credentials of a natural science. It shows that the reasoning on which Freud rested the major hypotheses of his edifice was fundamentally flawed, even if the probity of the clinical observations he adduced were not in question. Moreover, far from deserving to be taken at face value, clinical data from the psychoanalytic treatment setting are (...) themselves epistemically quite suspect. (shrink)

Fetzer famously claims that program verification is not even a theoretical possibility, and offers a certain argument for this far-reaching claim. Unfortunately for Fetzer, and like-minded thinkers, this position-argument pair, while based on a seminal insight that program verification, despite its Platonic proof-theoretic airs, is plagued by the inevitable unreliability of messy, real-world causation, is demonstrably self-refuting. As I soon show, Fetzer is like the person who claims: ‘My sole claim is that every claim expressed by an English sentence and (...) starting with the phrase “My sole claim” is false’. Or, more accurately, such thinkers are like the person who claims that modus tollens is invalid, and supports this claim by giving an argument that itself employs this rule of inference. (shrink)