Online research in philosophy

McCarthy develops a theory of radical interpretation--the project of characterizing from scratch the language and attitudes of an agent or population--and applies it to the problems of indeterminacy of interpretation first described by Quine. The major theme in McCarthy's study is that a relatively modest set of interpretive principles, properly applied, can serve to resolve the major indeterminacies of interpretation.

John McCarthy, Stanford University Logical AI (artificial intelligence) is based on programs that represent facts about the world in languages of mathematical logic and decide what actions will achieve goals by logical reasoning. A lot has been accomplished with logic as is.

This article is the basis of an invited talk at KR-96 in 1996 November. It has been modified from the version that appeared in the preprints of that meeting. There is an html version , a .dvi version , .pdf version and a .ps version. Up to: Main McCarthy page Up to: Send comments to mccarthy@stanford.edu. I sometimes make changes suggested in them. - John McCarthy..

• alpha-beta pruning characterizes human play, but it ticed by early chess programmers—Turing, Shannon, Ulam, and Bernstein. We humans are not very good ing the heuristics we ourselves use. Approximations to used by Samuel, Newell and Simon, McCarthy. Proved lent to minimax by Hart and Levine, independently Knuth gives details.

John Searle begins his (1990) ``Consciousness, Explanatory Inversion and Cognitive Science'' with

``Ten years ago in this journal I published an article (Searle, 1980a and 1980b) criticising what I call Strong
AI, the view that for a system to have mental states it is sufficient for the system to implement the right sort of
program with right inputs and outputs. Strong AI is rather easy to refute and the basic argument can be
summarized in one sentence: {it a system, (...) me for example, could implement a program for understanding
Chinese, for example, without understanding any Chinese at all.} This idea, when developed, became
known as the Chinese Room Argument.''

The Chinese Room Argument can be refuted in one sentence. (shrink)

In AI, consciousness of self consists in a program having certain kinds of facts about its own mental processes and state of mind. We discuss what consciousness of its own mental structures a robot will need in order to operate in the common sense world and accomplish the tasks humans will give it. It's quite a lot. Many features of human consciousness will be wanted, some will not, and some abilities not possessed by humans have already been found feasible and (...) useful in limited contexts. We give preliminary fragments of a logical language a robot can use to represent information about its own state of mind. A robot will often have to conclude that it cannot decide a question on the basis of the information in memory and therefore must seek information externally. Gödel's idea of relative consistency is used to formalize non-knowledge. Programs with the kind of consciousness discussed in this article do not yet exist, although programs with some components of it exist. Thinking about consciousness with a view to designing it provides a new approach to some of the problems of consciousness studied by philosophers. One advantage is that it focusses on the aspects of consciousness important for intelligent behavior. (shrink)

From the AI point of view, consciousness must be regarded as a collection of interacting processes rather than the unitary object of much philosophical speculation. We ask what kinds of propositions and other entities need to be designed for consciousness to be useful to an animal or a machine. We thereby assert that human consciousness is useful to human functioning and not just and epiphenomenon. Zombies in the sense of Todd Moody's article are merely the victims of Moody's prejudices. To (...) behave like humans, zombies will need what Moody might call pseudo-consciousness, but useful pseudo-consciousness will share all the observable qualities of human consciousness including what the zombie will be able to report. Robots will require a pseudo-consciousness with many of the intellectual qualities of human consciousness but will function successfully with few if any human emotional conscious qualities if that is how we choose to build them. (shrink)

These studies examined whether having thoughts related to an event before it occurs leads people to infer that they caused the event— even when such causation might otherwise seem magical. In Study 1, people perceived that they had harmed another person via a voodoo hex. These perceptions were more likely among those who had first been induced to harbor evil thoughts about their victim. In Study 2, spectators of a peer’s basketball-shooting performance were more likely to perceive that they had (...) influenced his success if they had first generated positive visualizations consistent with that success. Observers privy to those spectators’ visualizations made similar attributions about the spectators’ influence. Finally, addi- tional studies suggested that these results occur even when the thought-about outcome is viewed as unwanted by the thinker and even in field settings where the relevant outcome is occurring as part of a live athletic competition. (shrink)

Ascribing mental qualities like beliefs, intentions and wants to a machine is sometimes correct if done conservatively and is sometimes necessary to express what is known about its state. We propose some new definitional tools for this: definitions relative to an approximate theory and second order structural definitions.

These notes discuss self-awareness in humans and machines. The goal is to determine useful forms of machine self-awareness and also those that are on the road to human-level AI. This is a draft which is to be improved, and suggestions are solicited. There are a few formulas in this version. The final version will have more.

After satisfying their quantitative and qualitative needs as regards nutrition, consumers in developed countries are becoming more involved in the ethical aspects of food production, especially when it relates to animal products. Social demands for respecting animal welfare in housing systems are increasing rapidly, as is social awareness of human responsibility towards farm animals. Many studies have been conducted on animal welfare measurement in different production systems, but the available information for small ruminants remains insufficient. In this study, a 75 (...) criteria-evaluation tool has been set up on the basis of the five freedoms concept. Animal welfare considerations have been analyzed in 25 documents, including labeling schemes, regulations, and recommendations from different European countries. The results show many differences between regular and organic small ruminant farming standards. Emergency measures are generally lacking. A weak representation of psychological aspects of animal welfare, especially by the current European legislation, is highlighted. (shrink)

Summary In this article the authors seek to broaden the scope of the methodological debates now underway in Germany between proponents of a critical theory of society — principally the late T. W. Adorno and J. Habermas — on the one side and proponents of an analytical theory of social science — principally Karl Popper and Hans Albert — on the other. An attempt is made to formulate and systematize some of the fundamental epistemological and methodological principles which are basic (...) to Habermas' philosophy of social science and to bring them into a critical confrontation with some of the relevant counter-positions which have today a wide currency in analytic circles. (shrink)

Yagisawa (2005) considers two old arguments against the existence requirement. Both arguments are significantly less appealing than Yagisawa suggests. In particular, the second argument, first given by Kaplan (1989: 498), simply assumes that existence is contingent (§1). Yagisawa’s ‘new’ argument shares this weakness. It also faces a dilemma. Yagisawa must either treat ‘at @’ as a sentential operator occupying the same grammatical position as ‘∼’ or as supplying an extra argument place. In the former case, Yagisawa’s argument faces precisely the (...) problems he concedes that Kaplan’s argument does (§2). In the latter case, though the argument does not face these problems, it renders the sense in which things exist contingently no threat to (E) properly understood (§3). (shrink)

This is the first science fiction story I have put up for the public to look at. While it was written just as a story, it partly illustrates my opinions about what household robots should be like. In my article Making Robots Conscious of their Mental States , I argued that robots should not be programmed to have..

Logical AI develops computer programs that represent what they know about the world primarily by logical formulas and decide what to do primarily by logical reasoning--including nonmonotonic logical reasoning. It is convenient to use logical sentences and terms whose meaning depends on context. The reasons for this are similar to what causes human language to use context dependent meanings. This note gives elements of some of the formalisms to which we have been led. Fuller treatments are in [McC93], [Guh91] and (...) [MB94] and the references cited in the Web page [Buv95]. The first main idea is to make contexts first class objects in the logic and use the formula ist(c,p) to assert that the proposition p is true in the context c. A second idea is to formalize how propositions true in one context transform when they are moved to different but related contexts. An ability to transcend the outermost context is needed to give computer programs the ability to reason about the totality of all they have thought about so far [McC96]. (shrink)

Life together : moral reasoning in theological context -- Pilgrim's progress : virtues and the goal of the journey -- The imitation of Christ : issues along the way.

Drawing upon Marxist, French structuralist and American pragmatist traditions, this lively and accessible introduction to the sociology of knowledge gives to its classic texts a fresh reading, arguing that various bodies of knowledge operate within culture to create powerful cultural dispositions, meanings, and categories. It looks at the cultural impact of the forms and images of mass media, the authority of science, medicine, and law as bodies of contemporary knowledge and practice. Finally, it considers the concept of "engendered knowledge" through (...) a consideration of the complex and often troubled relationship between women and science. The sociology of knowledge has sometimes been marginalized as a narrow academic specialization. This lucid study reclaims it as an essential tool for all serious students of culture in all its forms. (shrink)

This article is oriented toward the use of modality in artificial intelligence (AI). An agent must reason about what it or other agents know, believe, want, intend or owe. Referentially opaque modalities are needed and must be formalized correctly. Unfortunately, modal logics seem too limited for many important purposes. This article contains examples of uses of modality for which modal logic seems inadequate.I have no proof that modal logic is inadequate, so I hope modal logicians will take the examples as (...) challenges. (shrink)

Moral puzzles about actions which bring about very small or what are said to be imperceptible harms or benefits for each of a large number of people are well known. Less well known is an argument by Warren Quinn that standard theories of rationality can lead an agent to end up torturing himself or herself in a completely foreseeable way, and that this shows that standard theories of rationality need to be revised. We show where Quinn's argument goes wrong, and (...) apply this to the moral puzzles. (shrink)

There has recently been a surge of interest, theoretical and political, in reparations for slavery. This essay takes up several moral-political issues from that intensifying debate: how to conceptualize and justify collective compensation and collective responsibility, and how to establish a plausible connection between past racial injustices and present racial inequalities. It concludes with some brief remarks on one aspect of the very complicated politics of reparations: the possible effects of hearings and trials on the public memory and political culture (...) of a historically racist society. The hope is that these arguments, taken together, draft a coherent case for slavery reparations as pursued by the Reparations Coordinating Committee. (shrink)

There are few ideas as important to the history of modern democracy as that of the nation as a political community. And yet, by comparison to its companion idea of political community as based upon the agreement of free and equal individuals, it remained until recently a marginal concern of liberal political theory. The aftermath of decolonization and the breakup of the Soviet empire, among other things, has changed that and brought it finally to the center of theoretical attention. And (...) once there, the deep-seated tensions in theory between nationalism and liberalism have proved to be as hard to overlook as their all too familiar tensions in practice. (shrink)

Public accounting in the United States is generally guided by the Code of Professional Conduct of the American Institute of Certified Public Accountants (AICPA). It has been suggested that education in understanding and accepting their ethical code would increase accountants' adherence and ethicality.This study was designed to examine the level of consensus to AICPA ethical standards by accounting students (ethical orientation). Situation ethics provided the theoretical rationale for this study.

This remarkable collection explores the legacy of Wittgenstein's work in contemporary American philosophy. The contributors (including several celebrated philosophers) take a variety of approaches to Wittgenstein; they discuss such topics as rule-following, realism about mathematics, the method of the Tractatus, the relation between style and content in Wittgenstein, and his distinction between sense and nonsense. Wittgenstein also is discussed in relation to subsequent philosophers such as Quine and Kripke.

My 1953 proof that the function is everywhere continuous and nowhere differentiable is just 13 lines. I've added some remarks to the note in the American Mathematical Monthly.

Introduction: conversing with traditions : ancients and moderns in nineteenth-century practical science -- Aristotle on the constitution of social justice and classical democracy -- Aristotle and classical social theory : social justice and moral economy in Marx, Weber, and Durkheim -- Kant on the critique of reason and science -- Kant and classical social theory : epistemology, logic, and methods in Marx, Weber, and Durkheim -- Conclusion: dreams of classical reason : historical science between existentialism and antiquity.

These notes discuss formalizing contexts as first class objects. The basic relationships are: ist(c,p) meaning that the proposition p is true in the context c, and value(c,p) designating the value of the term e in the context c Besides these, there are lifting formulas that relate the propositions and terms in subcontexts to possibly more general propositions and terms in the outer context. Subcontextx are often specialised with regard to time, place and terminology. Introducing contexts as formal objects will permit (...) axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, ie. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. (shrink)

AI needs many ideas that have hitherto been studied only by philosophers. This is because a robot, if it is to have human level intelligence and ability to learn from its experience, needs a general world view in which to organize facts. It turns out that many philosophical problems take new forms when thought about in terms of how to design a robot. Some approaches to philosophy are helpful and others are not.

Elephant 2000 is a proposed programming language good for writing and verifying programs that interact with people (eg. transaction processing) or interact with programs belonging to other organizations (eg. electronic data interchange) 1. Communication inputs and outputs are in an I-O language whose sentences are meaningful speech acts identified in the language as questions, answers, offers, acceptances, declinations, requests, permissions and promises. 2. The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should (...) be truthful and responsive, and promises should be kept. Sentences of logic expressing these forms of correctness can be generated automatically from the form of the program. 3. Elephant aource programs may not need data structures, because they can refer directly to the past. Thus a program can say that an airline passenger has a reservation if he has made one and hasn't cancelled it. 4. Elephant programs themselves can be represented as sentences of logic. Their extensional properties follow from this representation without an intervening theory of programming or anything like Hoare axioms. 5. Elephant programs that interact non-trivially with the outside world can have both input-output specification, relating the programs inputs and outputs, and accomplishment specifications concerning what the program accomplishes in the world. These concepts are respectively generalizations of the philosophers' illocutionary and perlocutionary speech acts. 6. Programs that engage in commercial transactions assume obligations on behalf of their owners in exchange for obligations assumed by other entities. It may be part of the specification of an Elephant 2000 program that these obligations are exchanged as intended, and this too can be expressed by a logical sentence. 7. Human speech acts involve intelligence. Elephant 2000 is on the borderline of AI, but the article emphasizes the Elephant usages that do not require AI. (shrink)

internal events that happen spontaneously from external events (actions). It also treats processes, e.g. a buzzer, that do not settle down. The non-monotonic reasoning is circumscription done situation by situation.

An Example for Natural Language Understanding and the AI Problems it Raises I think this 1976 memorandum is of 1996 interest. The problems it raises haven't been solved or even substantially reformulated.

We discuss first order theories in which individual concepts are admitted as mathematical objects along with the things that reify them. This allows very straightforward formalizations of knowledge, belief, wanting, and necessity in ordinary first order logic without modal operators. Applications are given in philosophy and in artificial intelligence. We do not treat general concepts, and we do not present any full axiomatizations but rather show how various facts can be expressed.

Here are some essays written at various times. What does it mean to be rational? American History for Valley Girls The Chief Seattle Theme Park Here's a Manifesto of the Newtonian Brotherhood of Truly Christian Scientists . I regret to say that it has turned out to be necessary to explicitly characterize it as humor. I didn't mind that some careless readers accused me of being a bigot, but I had to put in a disclaimer when some readers emailed me (...) with their support for the ideas. (shrink)

The relationship between corporate social responsiveness and profitability is investigated in a sample of corporate directors. The findings show there is no relationship between the level of director social responsiveness and corporate profitability. The implications of these results are discussed, especially as they relate to concerns about corporate governance.

This article was published in {\em Man and Computer. Proc. int. Conf., Bordeaux 1970, pp. 48-57 (Karger, Basel 1972)}. It is interesting to compare its 1970 proposals with the current situation, 30 years later. I have decorated it with footnotes commenting on the 1970 situation and making comparisons. Some of the improvements advocated in the paper are still yet to come. I claim quite a few prophet points for it.

The basic computer components are universal. Whatever can be built from transistors can also be built from vacuum tubes, relays, fluidic elements, McCulloch-Pitts neurons, connectionist neurons, or from any of the other kinds of neuron Marvin Minsky proved universal in his 1954 Princeton PhD dissertation.

We discuss the role of short-term auditory verbal storage within a working memory system. Data from single case studies of patients with left parietal lesions and selective impairment of memory span are discussed in order to address the question of the functions of short-term memory in language processing. The backup resource of auditory verbal short-term memory is required for those tasks that necessitate backtracking in order to integrate a verbal message within a developing central cognitive representation.

The most important scientific events of the 20th century were the theory of relativity, quantum mechanics and the discovery of the genetic code. The most important engineering events were nuclear energy, which insures adequate energy for a billion years, the computer, micro-electronics, the green revolution, and the beginnings of genetic engineering. The general development of technology permits worldwide high standards of living.

Electronic mail (email), using ARPANET and other networks has been in use for almost 20 years. The widespread use of telefax is more recent. However, unless email is freed from dependence on the networks, I predict it will be supplanted by telefax for most uses in spite of its many advantages over telefax. These advantages include the fact that information is transmitted more cheaply as character streams than as images. Multiple addressees are readily accommodated. Moreover, messages transmitted as character streams (...) can be readily filed, searched, edited and used by computer programs. (shrink)

A plan is made to fly from Glasgow to Moscow and is shown by circumscription to lead to the traveller arriving in Moscow. Then a fact about an unexpected obstacle---the traveller losing his ticket---is added without changing any of the previous facts, and the original plan can no longer be shown to work if it must take into account the new fact. However, an altered plan that includes buying a replacement ticket can now be shown to work. The formalism used (...) is a modification of one developed by Vladimir Lifschitz, and I have been informed that the modification isn't correct, and I should go back to Lifschitz's original formalism. April 14,2001: I still haven't done it, so this article has to be regarded as tentative. I hope to fix the problems without going back to Lifschitz's formalism, which I find awkward.}. (shrink)

The earth is humanity's garden, and we should make it as productive and beautiful as we can. This view is in contrast to the somewhat religious view that humanity is an intruder on Nature.

Spatial Representation presents original, specially written essays by leading psychologists and philosophers on a fascinating set of topics at the intersection of these two disciplines. They address such questions as these: Do the extraordinary navigational abilities of birds mean that these birds have the same kind of grip on the idea of a spatial world as we do? Is there a difference between the way sighted and blind subjects represent the world 'out there'? Does the study of brain-injured subjects, such (...) as 'blind seers', tell us anything about the working of normal spatial consciousness? -/- The essays are arranged into five sections, each of which reflects a central area of research into spatial cognition, and opens with a short introduction by the editors, designed to facilitate cross-disciplinary reading. The volume as a whole offers a rich and compelling expression of the view that to advance our understanding of the way we represent the external world it is necessary to draw on both philosophical and psychological approaches. (shrink)

Here's the article which was a 1964 Stanford AI Memo. After the original memo, several people offered different proofs of the theorem including Shmuel Winograd, Marvin Minsky and Dimitri Stefanyuk - none published, to my knowledge. Winograd claimed that his proof was non-creative, because it didn't use an extraneous idea like the colors of the squares. This set off a contest to see who could produce the most non-creative proof. Minsky's idea was to start with the diagonal next to an (...) excluded corner ssquare, note that 2 dominoes had to project from it to the diagonal with three squares, and from there 1 domino to the four square diagonal, etc. Coming from the other end also leaves only six of the eight squares in the long diagonal covered. Minsky's proof gets high points for non-creativity, because it is specific to the 8 by 8 board. (Using the colors it is easy to show that a Minsky style proof will work for any even sized board.). (shrink)