“Offsetting” habitat destruction has widespread appeal as an instrument for balancing economic growth with biodiversity conservation. Requiring proponents to pay the nontrivial costs of habitat loss encourages sensitive planning approaches. Offsetting, biobanking, and biodiverse carbon sequestration schemes will play an important role in conserving biodiversity under increasing human pressures. However, untenable assumptions in existing schemes are undermining their benefits. Policies that allow habitat destruction to be offset by the protection of existing habitat are guaranteed to result in further loss of (...) biodiversity. Similarly, schemes that allow trading the immediate loss of existing habitat for restoration projects that promise future habitat will, at best, result in time lags in the availability of habitat that increases extinction risks, or at worst, fail to achieve the offset at all. We detail concerns about existing approaches and describe how offsetting and trading policies can be improved to provide genuine benefits for biodiversity. Due to uncertainties about the way in which restored vegetation matures, we propose that the biodiversity bank should be a savings bank. Accrued biodiversity values should be demonstrated before they can be used to offset biodiversity losses. We provide recommendations about how this could be achieved in practice. (shrink)
Summary 1. Ecologists and conservation biologists consider many issues when designing a field study, such as the expected value of the data, the interests of the study species, the welfare of individual organisms and the cost of the project. These different issues or values often conflict; however, neither animal ethics nor environmental ethics provides practical guidance on how to assess trade-offs between them. -/- 2. We developed a decision framework for considering trade-offs between values in ecological research, drawing on the (...) field of ecological ethics. We used a case study of the population genetics of three frog species, in which a researcher must choose between four methods of sampling DNA from the study animals. We measured species welfare as the reduction in population growth rate following sampling, and assessed individual welfare using two different definitions: (i) the level of suffering experienced by an animal, and (ii) the level of suffering combined with loss of future life. -/- 3. Tipping the tails of tadpoles ranked as the best sampling method for species welfare, while collecting whole tadpoles and buccal swabbing of adult frogs ranked best for the first and second definitions of individual welfare, respectively. Toe clipping of adult frogs ranked as the worst sampling method for species welfare and the first definition of individual welfare, and equal worst for the second definition of individual welfare. -/- 4. When considering species and individual welfare simultaneously, toe clipping was clearly inferior to the other sampling methods, but no single sampling method was clearly superior to the other three. Buccal swabbing, collecting tadpoles and tail tipping were all preferred options, depending on the definition of individual welfare and the level of precision with which we assessed species welfare. -/- 5.Synthesis and applications. The decision framework we present can be used by ecologists to assess ethical and other trade-offs when planning field studies. A formal decision analysis makes transparent how a researcher might negotiate competing ethical, financial and practical objectives. Defining the components of the decision in this way can help avoid errors associated with human judgement and linguistic uncertainty. (shrink)
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.
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)
This essay examines mountaineering narratives in the light of recent eco-critical scholarship to assert that their tales of intense awareness and connection reveal a more fundamental integration between human subject and natural object than our culture has imagined. North American climbing narratives show three primary modes of imagining nature: first, as an object to conquer; second, as a picturesque setting to admire; third, as the extension of a self whose identity is shaped by the interpenetration of the human and the (...) natural. The third of these modes motivates my study because this interpretation offers a lived example of the type of human connection to the natural world philosophers theorize is possible, and ecologists insist is necessary. (shrink)
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)
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)
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..
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.
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.
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)
INTRODUCTION Kierkegaard himself hardly requires introduction, but his thought continues to require explication due to its inherent complexity and its ...
Almost all of my papers are on the web page. This pap is http://www-formal.stanford.edu/consciousness.html APPROACHES TO ARTIFICIAL INTELLIGENCE biological—Humans are intelligent; imitate humans observe and imitate at either the psychological or neurophysiological level..
Beginning with an overview of the knowledge claims proposed by John Locke and David Hume, this essay first explores the respective responses of Newman and W. G. Ward and then updates the discussion by bringing Newman into dialogue with the thoughtof Alasdair MacIntyre.
In contrast to Bernstein's emphasis on the common ground shared by Rorty and Habermas, this paper stresses the basic differences between them, particularly their diverse assessments of rationalism, universalism, foundationalism and developmentalism, as well as their opposed evaluations of systematic thought and critical social theory. Several difficulties with Rorty's views on reason, truth and objectivity, as with his historicism and physicalism are suggested. It is concluded that Bernstein's emphasis on the common elements in their "moral-political vision", in the face of (...) these striking theoretical differences, overestimates the extent to which normative ideals can survive being cut off from larger contexts of ideas. (shrink)
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)
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..
The priority view has become very popular in moral philosophy, but there is a serious question about how it should be formalized. The most natural formalization leads to ex post prioritarianism, which results from adding expected utility theory to the main ideas of the priority view. But ex post prioritarianism entails a claim which is too implausible for it to be a serious competitor to utilitarianism. In fact, ex post prioritarianism was probably never a genuine alternative to utilitarianism in the (...) first place. By contrast, ex ante prioritarianism is defensible. But its motivation is very different from the usual rationales offered for the priority view. Given the untenability of ex post prioritarianism, it is more natural for most friends of the priority view to revert to utilitarianism. (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)
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)
From the time of our first communication, some thirty years ago, Fred Dallmayr and I have never ceased to disagree about key foundational issues in social and political theory. Our disagreements are not haphazard but consistent; they might be characterized roughly as stemming from the differences between his brand of hermeneutics and my brand of critical theory, or between his sources of inspiration in Hegel and Heidegger and my own in Kant and Habermas. But they are also “reasonable disagreements” that (...) allow for considerable “overlapping consensus” on both methodological and substantive issues. Thus we overlapped sufficiently on questions concerning the role of interpretive understanding in social inquiry to co-edit an anthology on that topic very early on.1 And I want to suggest here that we now overlap sufficiently on the idea of multicultural cosmopolitanism to make our ongoing conversation continually fruitful despite the persistent differences in our “comprehensive doctrines.” Those differences do entail, however, that we follow widely diverging paths before arriving in the same region of the political-theoretical world. And they likely also mean that we are relying on different maps of this region and of the roads leading beyond it as well. But I shall confine my remarks here to charting an alternative route to the sort of global and plural democracy that Dallmayr has set out in a series of recent works.2 It is a route that leads from Kant’s idea for a universal history from a cosmopolitan point of view, through Habermas’s conceptions of social evolution and a postnational constellation, to a sketch of multicultural cosmopolitanism that bears strong affinities to Dallmayr’s vision of “our world.” I Though the genre of universal history to which Kant gave exemplary expression was deeply implicated in colonial domination and exploitation, it cannot simply be discarded in favor of genealogical or other broadly deconstructive modes of historical.. (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)
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)
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.
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)
This article briefly outlines some of the key problems with the way in which the moral realm has traditionally been understood and analysed. I propose two alternative views of what is morally interesting and applicable to nursing practice and I indicate that instability has its upsides. I begin with a moral tale – a 'Good Samaritan' story – which raises fairly usual questions about the nature of morality but also the more philosophically fundamental question about the relationship between subjectivity and (...) moral agency. I then consider this relationship from the perspectives of two twentieth century philosophers: Emmanuel Levinas and Michel Foucault. Levinas' basic point is that the experience of ethical subjectivity is made possible through others: the demand to respond to the existence of others is the basic social structure that precedes individual freedom. If Levinas posits intersubjectivity as a fundamental or primitive feature of the moral realm, Foucault poses an even more basic question: how have moral subjects and relations of obligation been constituted? The aim of ethical inquiry, for Foucault, is to describe the network of discourses, institutions, relations, and practices through which certain kinds of subjects are constituted and constitute themselves, e.g. as a kind of person who can act morally. Finally, I consider some recent research in philosophy of nursing which illustrates how Levinasian and/or Foucauldian perspectives can deepen understanding of nurses' moral practices, specifically, the work of Norwegian public health nurses, Canadian pediatric nurses, and Irish midwives. I suggest that in spite of the instability of morality in general and the particular ethical challenges that face nurses, there are grounds for hope and possible strategies for living in unstable times. (shrink)
In 1932, as America struggled to overcome the great economic depression and Hitler was taking power in Germany, Dewey issued a challenge to teachers. Based upon what he viewed as the principle by which to judge "the processes of education, formal and informal," he urged teachers to embrace the following goal: "Education should create an interest in all persons in furthering the general good, so that they will find their own happiness realized in what they can do to improve the (...) conditions of others" (LW 7: 243).In setting this challenge to teachers, Dewey has in mind helping students develop their character in two ways. First, teachers should nurture students' sensitivity to the impact of their speech and actions .. (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.
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)
Parfit advertised the priority view as a new and fundamental theory in the ethics of distribution. He never discusses risk, and many writers follow suit when discussing the priority view. This article formalizes two popular arguments for a commonly accepted risk-free definition of the priority view. One is based on a direct attempt to define the priority view, the other is based on a contrast with utilitarianism and egalitarianism. But it argues that neither argument succeeds, and more generally, that it (...) is not possible to make sense of the priority view in a risk-free framework. As a diagnosis, the article suggests that the literature on the priority view has paid insufficient attention to axiomatization and has most likely mistaken the proper role of the use of evaluative measurements in theorizing about the ethics of distribution. Reasons are eventually offered for thinking that despite appearances, approaching the priority view in terms of risk from the outset is quite natural. (shrink)
Here are the topics. What is logical AI? The common sense informatic situation Relevant history of logic Problems with logical AI Nonmonotonic reasoning Domain dependent control of reasoning Concepts as objects Contexts as objects Partially defined objects Self-awareness Remarks and references LOGICAL AI Logical AI proposes computer systems that represent what they know about the world by sentences in a suitable mathematical logical language. It achieves goals by inferring that a certain strategy of action is appropriate to achieve the goal. (...) It then carries out that strategy, using observations also expressed as logical sentences. (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.
• [Common Sense Informatic Situation] In general a thinking human is in what we call the common sense informatic situation, as distinct from the bounded informatic situation. The known facts are necessarily incomplete. We live in a world of middle-sized object which can only be partly observed and in which the consequences of our actions can only partly be determined.
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.
Symbolic arithmetic is fundamental to science, technology and economics, but its acquisition by children typically requires years of effort, instruction and drill1,2. When adults perform mental arithmetic, they activate nonsymbolic, approximate number representations3,4, and their performance suffers if this nonsymbolic system is impaired5. Nonsymbolic number representations also allow adults, children, and even infants to add or subtract pairs of dot arrays and to compare the resulting sum or difference to a third array, provided that only approximate accuracy is required6–10. Here (...) we report that young children, who have mastered verbal counting and are on the threshold of arithmetic instruction, can build on their nonsymbolic number system to perform symbolic addition and subtraction11–15. Children across a broad socio-economic spectrum solved symbolic problems involving approximate addition or subtraction of large numbers, both in a laboratory test and in a school setting. Aspects of symbolic arithmetic therefore lie within the reach of children who have learned no algorithms for manipulating numerical symbols. Our findings help to delimit the sources of children’s difficulties learning symbolic arithmetic, and they suggest ways to enhance children’s engagement with formal mathematics. We presented children with approximate symbolic arithmetic problems in a format that parallels previous tests of non-symbolic arithmetic in preschool children8,9. In the first experiment, five- to six-year-old children were given problems such as ‘‘If you had twenty-four stickers and I gave you twenty-seven more, would you have more or less than thirty-five stickers?’’. Children performed well above chance (65.0%, t1952.77, P 5 0.012) without resorting to guessing or comparison strategies that could serve as alternatives to arithmetic. Children who have been taught no symbolic arithmetic therefore have some ability to perform symbolic addition problems. The children’s performance nevertheless fell short of performance on non-symbolic arithmetic tasks using equivalent addition problems with numbers presented as arrays of dots and with the addition operation conveyed by successive motions of the dots into a box (71.3% correct, F1,345 4.26, P 5 0.047)8.. (shrink)
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.
Nel Noddings claims that there is an important normative element in happiness. For support, she points to the Aristotelian idea of the eudaimonic life, a concept that is often translated into English as ‘the happy life’. However, in light of the wide divergence between the Aristotelian view of eudaimonia as a life of virtuous activity and most contemporary psychologists' and lay people's view of happiness as subjective wellbeing, the authors of this article believe that Noddings's merging of the two has (...) several shortcomings. Aside from ambiguity and confusion, it encourages us to deny that, given the human condition, we must sometimes choose between happiness as pursuit of positive emotion and personal satisfaction and happiness as pursuit of the common good and the virtuous life. (shrink)
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)
#tex2html_wrap_inline114# Easy aspects of state: battery level, memory available, etc. #tex2html_wrap_inline116# Ongoing activities: serving users, driving a car #tex2html_wrap_inline118# Knowledge and lack of knowledge #tex2html_wrap_inline120# purposes, intentions, hopes, fears, likes, dislikes #tex2html_wrap_inline122# Actions it is free to choose among relative to external constraints. That's where free will comes from.
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.
• Conventional data mining infers relations among e.g. the fraction of supermarket baskets with diapers also contain beer. • Phenomenal data mining concerns relations between data and the phenomena underlying the data, e.g. y married couples keeping old friends buy diapers and • Example: The sales receipts of a supermarket usually not identify the customers. Grouping baskets by customer is possible and useful but requires new techniques.
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)
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.
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)
If we are willing to accept that a large part of our shared knowledge of the world includes engineering knowledge, then we can conclude that a lot of our sophisticated knowledge is steadfast; that it has been, and will continue to be, developed and improved upon.
This is a 1985 note aimed at regarding STRIPS as a proof strategy for an interactive theorem prover using a situation calculus formalism. It doesn't quite get there.
• Lisp was intended to be compiled at first. However, a universal Lisp function eval in 1959 to show that neater language for computability theory than Turing Steve Russell pointed out that the universal function taken as an interpreter for pure Lisp, and hand-compiled..
An 8 by 8 checkerboard with two diagonally opposite squares removed cannot be covered by dominoes each of which covers two rectilinearly adjacent squares. present a set theory description of the proposition and an informal proof that the covering is impossible. While no present system that I know of will accept either formal description or the proof, I claim that both should be admitted in any heavy duty set theory.
David Lewis is widely credited with the first formulation of common knowledge and the first rigorous analysis of convention. However, common knowledge and convention entered mainstream game theory only when they were formulated, later and independently, by other theorists. As a result, some of the most distinctive and valuable features of Lewis' game theory have been overlooked. We re-examine this theory by reconstructing key parts in a more formal way, extending it, and showing how it differs from more recent game (...) theory. In contrast to current theories of common knowledge, Lewis' theory is based on an explicit analysis of the modes of reasoning that are accessible to rational individuals and so can be used to analyse the genesis of common knowledge. Lewis' analysis of convention emphasises the role of inductive reasoning and of salience in the maintenance of conventions over time. Footnotes Earlier versions of this paper were presented at the 13th Amsterdam Colloquium at the University of Amsterdam, at a workshop on social norms at Wissenschaftskolleg zu Berlin, and at seminars at Tilburg University and the University of Bristol. We are grateful for comments from participants at those meetings, from two anonymous referees, and from Michael Bacharach, Nick Bardsley, Cristina Bicchieri, Luc Bovens, Simon Grant, David McCarthy, Shepley Orr, Brian Skyrms, Peter Vanderschraaf, Peter Wakker and Jörgen Weibull. Robert Sugden's work was supported by the Leverhulme Trust. (shrink)
In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” approach (...) given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)
