This collection of articles and associated discussion papers focuses on a problem that has attracted increasing attention from linguists and psychologists throughout the world during the past several years. Reduced to essentials, the problem is that of discovering the character of the mental capacities that make it possible for human beings to attain knowledge of their language on the basis of fragmentary and haphazard early linguistic experience. A fundamental assumption running through all of these contributions is that people possess strong (...) innate predispositions that are critical for success in this task. (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.

This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the ``learning'' required to deal with the three dimensional world of objects, processes, and other beings was done by evolution. Each child need not do this learning itself.

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)

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)

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.

John Searle begins his ``Consciousness, Explanatory Inversion and Cognitive Science'' with " ``Ten years ago in this journal I published an article 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)

Rare copy number variants have a prominent role in the aetiology of schizophrenia and other neuropsychiatric disorders. Substantial risk for schizophrenia is conferred by large CNVs at several loci, including microdeletions at 1q21.1, 3q29, 15q13.3 and 22q11.2 and microduplication at 16p11.2. However, these CNVs collectively account for a small fraction of cases, and the relevant genes and neurobiological mechanisms are not well understood. Here we performed a large two-stage genome-wide scan of rare CNVs and report the significant association of copy (...) number gains at chromosome 7q36.3 with schizophrenia. Microduplications with variable breakpoints occurred within a 362-kilobase region and were detected in 29 of 8,290 patients versus 2 of 7,431 controls in the combined sample. All duplications overlapped or were located within 89 kilobases upstream of the vasoactive intestinal peptide receptor gene VIPR2. VIPR2 transcription and cyclic-AMP signalling were significantly increased in cultured lymphocytes from patients with microduplications of 7q36.3. These findings implicate altered vasoactive intestinal peptide signalling in the pathogenesis of schizophrenia and indicate the VPAC2 receptor as a potential target for the development of new antipsychotic drugs. © 2011 Macmillan Publishers Limited. All rights reserved. (shrink)

Circadian rhythm abnormalities in bipolar disorder have led to a search for genetic abnormalities in circadian "clock genes" associated with BD. However, no significant clock gene findings have emerged from genome-wide association studies. At least three factors could account for this discrepancy: complex traits are polygenic, the organization of the clock is more complex than previously recognized, and/or genetic risk for BD may be shared across multiple illnesses. To investigate these issues, we considered the clock gene network at three levels: (...) essential "core" clock genes, upstream circadian clock modulators, and downstream clock controlled genes. Using relaxed thresholds for GWAS statistical significance, we determined the rates of clock vs. control genetic associations with BD, and four additional illnesses that share clinical features and/or genetic risk with BD. Then we compared the results to a set of lithium-responsive genes. Associations with BD-spectrum illnesses and lithium-responsiveness were both enriched among core clock genes but not among upstream clock modulators. Associations with BD-spectrum illnesses and lithium-responsiveness were also enriched among pervasively rhythmic clock-controlled genes but not among genes that were less pervasively rhythmic or non-rhythmic. Our analysis reveals previously unrecognized associations between clock genes and BD-spectrum illnesses, partly reconciling previously discordant results from past GWAS and candidate gene studies. (shrink)

Logical AI involves representing knowledge of an agent’s world, its goals and the current situation by sentences in logic. The agent decides what to do by inferring that a certain action or course of action is appropriate to achieve the goals. We characterize briefly a large number of concepts that have arisen in research in logical AI. Reaching human-level AI requires programs that deal with the common sense informatic situation. This in turn requires extensions from the way logic has been (...) used in formalizing branches of mathematics and physical science. It also seems to require extensions to the logics themselves, both in the formalism for expressing knowledge and the reasoning used to reach conclusions. A large number of concepts need to be studied to achieve logical AI of human level. This article presents candidates. The references, though numerous, to articles concerning these concepts are still insuf- ficient, and I’ll be grateful for more, especially for papers available on the web. This article is available in several forms via http://www-formal.stanford.edu/jmc/conceptsai.html. (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)

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)

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.

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.

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)

McCarthy provided the audience with a concise summary of the basic approach and central theses of the common text. He then posed two substantial questions. The first concerned the possibility of extending the analysis of discourse and silence to deal with non-senseful "utterance." The second dealt with the relation between the concept of silence proposed by Dauenhauer and Ricoeur's concept of distantiation. What follows is an edited version of his paper.

Once there were brook trout in the streams in the mountains. You could see them standing in the amber current where the white edges of their fins wimpled softly in the flow. They smelled of moss in your hand. Polished and muscular and torsional. On their backs were vermiculate patterns that were maps of the world in its becoming. Maps and mazes. Of a thing which could not be put back. Not be made right again. In the deep glens where (...) they lived all things were older than man and they hummed of mystery.Cormac McCarthy, The Road. (shrink)

The aim of this article is to motivate and outline a dialogical perspective on agency that accommodates centrifugal and centripetal tendencies in current cultural theories of agency. To complement approaches that assume a high degree of integration and clarity, we emphasise the diversity of agency as it is experienced in the open-ended dialogical relationship with a particular other. While these former approaches to agency provide us with the means to examine the influence of social processes such as division of labour (...) and reproduction of community, they tend to underplay the importance of agency as it is embodied and experienced in the lives of particular people. To reflect on this aspect of agency, we will draw extensively on Bakhtin's work, which crosses boundaries between philosophy, psychology and literary criticism, and which is concerned to understand what is personal in activity. In terms of agency, his work draws our attention to the sense of responsibility and potentiality that imbues our dialogues with particular others, the aesthetics and ethics involved in dialoguing with the other, and the sense of dilemmatic choice and intonation that is involved in our dialogue with the other. (shrink)

From an etymological standpoint the word "interest" is well suited to phenomenological investigations, lnteresse, to be among, 1 or as Husserl sometimes translates, Dabeisein, 2 succinctly expresses the sense ofHusserl's more usual term, "intentionality." Mind, he never tired or saying, is not at all another thing alongside the various things of the world; it is already outside itself, and in the company of the things it thinks. Yet despite the appropriateness of "interest" to name this fact of psychic life, only (...) gradually does the word assume a place in the phenomenological vocabulary. The reason is not hard to find. Husserl's early work treats intentional achievements statically and hence rather thinly. Once he secured the transcendental or properly phenomenological stance he was free to move beyond his initial "Platonism" to a more truly Platonic position, which attempts to think the forms in motion. That is to say, Husserl discovered genetic phenomenology. 3 Mind is now considered in light of its purposiveness: genetic phenomenology highlights the teleological character of our thinking engagement with the world. "Interest," accordingly, may be said to name the history of our readiness to take up with things in their intelligibility. Alternately stated, Husserl's account of interest displays the drawing power of the real in virtue of its being thinkable or ideal. It is perhaps not too grave an injustice to read interest as the Husserlian analogue to the "idea of the good" proposed by Socrates to Glaucon and Adeimantus as that which lights the mind's way. (shrink)

This essay places More's Sadness of Christ in the ancient genre of consolatio. Arising out of Socrates’ use of philosophy as a means of consolation in the Phaedo, the genre was epitomized in Boethius’ Consolation of Philosophy. In the genre, philosophy, with the help of poetry and rhetoric, provides moral remedies to suffering man with the hope of reordering his passions, intellect, and will to their true good. In other words, the genre of consolatio is philosophy's attempt to provide a (...) solution to the moral problem of evil. Thomas More's Sadness of Christ is a Christian version of this ancient genre. While appropriating philosophical principles and images, More recasts those principles and images in the light of faith, and gives the Christian martyr's proper preparation for death and suffering by reordering his passions and intellect to their proper good through consolation in prayer and meditation on the sufferings of Christ. (shrink)