Kripke’s argument against functionalism extended to physical computers poses a deep philosophical problem for understanding the standard view of what computers are. The problem puts into jeopardy the definition in the standard view that computers are physical machines for performing physical computations. Indeed, it is entirely possible that, unless this philosophical problem is resolved, we will never have a good understanding of computers and may never know just what they are.

This paper examines relationships between teaching critical thinking and teaching philosophy to adolescents (ages 12–17). The focus is on argumentation, especially on the method used to determine how well the premises of an argument support its conclusion. The method is the method of counterexamples. This article describes the results of teaching this method to adolescents (ages 12–17) who were participants in a summer enrichment program at Rutgers University-Newark, the Rutgers-Merck Summer Bioethics Institute. The participants were to learn about the philosophical (...) ideas underlying current biomedical technologies. The article discusses the basic ideas of argumentation and the method of counterexamples for determining the support that premises give to conclusion for a given argument, and it discusses teaching this method to adolescents. The article describes how to assess that they have properly learned it, and, finally, it closes with a discussion of the cognitive skills adolescents acquire in learning philosophy. Teaching a reliable method of determining argument support for a conclusion prior to teaching philosophy to adolescents results in their achieving a deeper understanding of philosophy. (shrink)

In this paper, I examine a key issue affecting trust in the context of a computing environment, as it affects human agents and artificial agents. Specifically, the paper focuses on the role that "resource conservation" plays in an analysis of moral trust and epistemic trust involving agents. I will argue that resource conservation is a necessary condition in the definition of a moral trust relation, that there is a conceptual relationship between a moral trust relation and epistemic trust---that epistemic trust (...) is a necessary condition for moral trust---, and that a moral trust relation might provide a basic mechanism for the realization of ecological rationality in human agents. (shrink)

With mind-brain identity theories no longer dominant in philosophy of mind in the late 1950s, scientific materialists turned to functionalism, the view that the identity of any mental state depends on its function in the cognitive system of which it is a part. The philosopher Hilary Putnam was one of the primary architects of functionalism and was the first to propose computational functionalism, which views the human mind as a computer or an information processor. But, in the early 1970s, Putnam (...) began to have doubts about functionalism, and in his masterwork _Representation and Reality_, he advanced four powerful arguments against his own doctrine of computational functionalism. In Gödel, Putnam, and Functionalism, Jeff Buechner systematically examines Putnam's arguments against functionalism and contends that they are unsuccessful. Putnam's first argument uses Gödel's incompleteness theorem to refute the view that there is a computational description of human reasoning and rationality; his second, the "triviality argument," demonstrates that any computational description can be attributed to any physical system; his third, the multirealization argument, shows that there are infinitely many computational realizations of an arbitrary intentional state; his fourth argument buttresses this assertion by showing that there cannot be local computational reductions because there is no computable partitioning of the infinity of computational realizations of an arbitrary intentional state into a single package or small set of packages. Buechner analyzes these arguments and the important inferential connections among them -- for example, the use of both the Gödel and triviality arguments in the argument against local computational reductions -- and argues that none of Putnam's four arguments succeeds in refuting functionalism. _ Gödel, Putnam, and Functionalism_ will inspire renewed discussion of Putnam's influential book and will confirm Representation and Reality as a major work by a major philosopher. Jeff Buechner is Director of the Bioethics Institute and Lecturer in Philosophy at Rutgers University-Newark. (shrink)

We argue that the notion of trust, as it figures in an ethical context, can be illuminated by examining research in artificial intelligence on multi-agent systems in which commitment and trust are modeled. We begin with an analysis of a philosophical model of trust based on Richard Holton’s interpretation of P. F. Strawson’s writings on freedom and resentment, and we show why this account of trust is difficult to extend to artificial agents (AAs) as well as to other non-human entities. (...) We then examine Margaret Urban Walker’s notions of “default trust” and “default, diffuse trust” to see how these concepts can inform our analysis of trust in the context of AAs. In the final section, we show how ethicists can improve their understanding of important features in the trust relationship by examining data resulting from a classic experiment involving AAs. (shrink)