what is now the mainstream view as to the best way forward in the dream of engineering reliable software systems out of autonomous agents. The way of using formal logics to specify, implement and verify distributed systems of interacting units using a guiding analogy of beliefs, desires and intentions. The implicit message behind the book is this: Distributed Artificial Intelligence (DAI) can be a respectable engineering science. It says: we use sound formal systems; can cite established philosophical foundations; and will (...) be able to build reliable and flexible software systems. (shrink)

It seems to me that the ingredients of most theories both in Artificial Intelligence and in Psychology have been on the whole too minute, local, and unstructured to account–either practically or phenomenologically–for the effectiveness of common-sense thought. The "chunks" of reasoning, language, memory, and "perception" ought to be larger and more structured; their factual and procedural contents must be more intimately connected in order to explain the apparent power and speed of mental activities.

A scientific community cannot practice its trade without some set of received beliefs. These beliefs form the foundation of the "educational initiation that prepares and licenses the student for professional practice". The nature of the "rigorous and rigid" preparation helps ensure that the received beliefs are firmly fixed in the student's mind. Scientists take great pains to defend the assumption that scientists know what the world is like...To this end, "normal science" will often suppress novelties which undermine its foundations. Research (...) is therefore not about discovering the unknown, but rather "a strenuous and devoted attempt to force nature into the conceptual boxes supplied by professional education". (shrink)

INTRODUCTION The career of Benjamin Lee Whorf might, on the one hand, be described as that of a businessman of specialized talents— one of those individuals ...

The Concept of Law is the most important and original work of legal philosophy written this century. First published in 1961, it is considered the masterpiece of H.L.A. Hart's enormous contribution to the study of jurisprudence and legal philosophy. Its elegant language and balanced arguments have sparked wide debate and unprecedented growth in the quantity and quality of scholarship in this area--much of it devoted to attacking or defending Hart's theories. Principal among Hart's critics is renowned lawyer and political philosopher (...) Ronald Dworkin who in the 1970s and 80s mounted a series of challenges to Hart's Concept of Law. It seemed that Hart let these challenges go unanswered until, after his death in 1992, his answer to Dworkin's criticism was discovered among his papers. In this valuable and long-awaited new edition Hart presents an Epilogue in which he answers Dworkin and some of his other most influential critics including Fuller and Finnis. Written with the same clarity and candor for which the first edition is famous, the Epilogue offers a sharper interpretation of Hart's own views, rebuffs the arguments of critics like Dworkin, and powerfully asserts that they have based their criticisms on a faulty understanding of Hart's work. Hart demonstrates that Dworkin's views are in fact strikingly similar to his own. In a final analysis, Hart's response leaves Dworkin's criticisms considerably weakened and his positions largely in question. Containing Hart's final and powerful response to Dworkin in addition to the revised text of the original Concept of Law, this thought-provoking and persuasively argued volume is essential reading for lawyers and philosophers throughout the world. (shrink)

Thomas S. Kuhn's classic book is now available with a new index.

The paper presents an account of social institutions on the basis of collective acceptance. Basically, collective acceptance by some members of a group involves the members’ collectively coming to hold and holding a relevant social attitude (a “we-attitude”), viz. either one in the intention family of concepts or one in the belief family. In standard cases the collective acceptance must be in the “we-mode”, viz. performed as a group member, and involve that it be meant for the group. The participants (...) must be collectively committed to what they have accepted. Social institutions are taken to be norm-governed social practices introducing a new social and conceptual status on the practices or some elements involved in those practices. This requires that some of the involved norms be constitutive norms as opposed to merely “accidentally” regulating ones. A classification of social institutions is presented. The account is broader in scope than is Searle’s. (shrink)

The Concept of Law is one of the most influential texts in English-language jurisprudence. 50 years after its first publication its relevance has not diminished and in this third edition, Leslie Green adds an introduction that places the book in a contemporary context, highlighting key questions about Hart's arguments and outlining the main debates it has prompted in the field. The complete text of the second edition is replicated here, including Hart's Postscript, with fully updated notes to include modern references (...) and further reading. (shrink)

The story of this book of 'materials on Ludwik Fleck' is also the story of the reception of Ludwik Fleck. In this volume, some essential materials which have been produced by that reception have been gathered together.

This book develops a systematic philosophical theory of social action and group phenomena, in the process presenting detailed analyses of such central social notions as 'we-attitude' (especially 'we-intention' and mutual belief, social norm, joint action, and - most important - group goal, group belief, and group action). Though this is a philosophical work, it presents a unified conceptual framework that may be useful to social scientists, especially social psychologists, as well as philosophers. The book puts forward and defends a number (...) of systematic philosophical theses, resulting in not only a theory of social action but, more broadly, a philosophical theory of society, or at least those aspects of society with which social psychology is supposed to deal (individuals in groups, groups, joint action, and the like). (shrink)

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)

Reexamines the Western philosophical tradition, looking at the basic concepts of the mind, time, causation, morality, and the self.

Beyond modularityattempts a synthesis of Fodor's anticonstructivist nativism and Piaget's antinativist constructivism. Contra Fodor, I argue that: (1) the study of cognitive development is essential to cognitive science, (2) the module/central processing dichotomy is too rigid, and (3) the mind does not begin with prespecified modules; rather, development involves a gradual process of “modularization.” Contra Piaget, I argue that: (1) development rarely involves stagelike domain-general change and (2) domainspecific predispositions give development a small but significant kickstart by focusing the infant's (...) attention on proprietary inputs. Development does not stop at efficient learning. A fundamental aspect of human development (“representational redescription”) is the hypothesized process by which information that isina cognitive system becomes progressively explicit knowledgetothat system. Development thus involves two complementary processes of progressive modularization and progressive “explicitation.” Empirical findings on the child as linguist, physicist, mathematician, psychologist, and notator are discussed in support of the theoretical framework. Each chapter concentrates first on the initial state of the infant mind/brain and on subsequent domain-specific learning in infancy and early childhood. It then goes on to explore data on older children's problem solving and theory building, with particular focus on evolving cognitive flexibility. Emphasis is placed throughout on the status of representations underlying different capacities and on the multiple levels at which knowledge is stored and accessible. Finally, consideration is given to the need for more formal developmental models, and a comparison is made between representational redescription and connectionist simulations of development. In conclusion, I consider what is special about human cognition by speculating on the status of representations underlying the structure of behavior in other species. (shrink)

One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets.

Computational machineries dedicated to the attribution of legal responsibility should be based on (or, make use of) a stack of definitions relating the notion of legal responsibility to a number of suitably chosen causal notions. This paper presents a general analysis of legal responsibility and of causation in fact based on Hart and Honoré’s work. Some physical aspects of causation in fact are then treated within the “lite” version of DOLCE foundational ontology written in OWL-DL, a standard description logic for (...) the Semantic Web. (shrink)

Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple common names. (...) Names, proper or common, and simple or complex, occur as parts of quantifier phrases, which in conceptual realism stand for referential concepts, i.e., cognitive capacities that inform our speech and mental acts with a referential nature and account for the intentionality, or directedness, of those acts. In Russell’s theory, quantifier phrases express denoting concepts (which do not include proper names). In conceptual realism, names, as well as predicates, can be nominalized and allowed to occur as "singular terms", i.e., as arguments of predicates. Occurring as a singular term, a name denotes, if it denotes at all, a class as many, where, as in Russell’s theory, a class as many of one object is identical with that one object, and a class as many of more than one object is a plurality, i.e., a plural object that we call a group. Also, as in Russell’s theory, there is no empty class as many. When nominalized, proper names function as "singular terms" just the way they do in so-called free logic. Leśniewski’s ontology, which is also called a logic of names can be completely interpreted within this conceptualist framework, and the well-known oddities of Leśniewski’s system are shown not to be odd at all when his system is so interpreted. Finally, we show how the pluralities, or groups, of the logic of classes as many can be used as the semantic basis of plural reference and predication. We explain in this way Russell’s "fundamental doctrine upon which all rests", i.e., "the doctrine that the subject of a proposition may be plural, and that such plural subjects are what is meant by classes [as many] which have more than one term" (Russell 1938, p. 517). (shrink)

Events in the history of thought have often moved as elements of drama—now tense, now tragic, now triumphant. And, it would appear, sometimes ludicrous. This latter is the thrust of a parody which Molière visited upon the savants of his day; he pictures a candidate for a medical degree being solemnly asked why opium puts people to sleep. Just as solemnly and sagaciously, the candidate replies..

This article is an exercise in computational jurisprudence. It seems clear thatthe field of AI and Law should draw upon the insights of legal philosophers,whenever possible. But can the computational perspective offer anything inreturn? I will explore this question by focusing on the concept of OWNERSHIP,which has been debated in the jurisprudential literature for centuries. Althoughthe intellectual currents here flow mostly in one direction – from legal philosophy to AI – I will show that there are also some insights to (...) be gained from a computational analysis of the OWNERSHIP relation. In particular, the article suggests a computational explanation for the emergence of abstract property rights, divorced from concrete material objects. (shrink)

In this paper we address the problem of defining social roles in multi-agent systems. Social roles provide the basic structure of social institutions and organizations. We start from the properties attributed to roles both in the multi-agent systems and the Object Oriented community, and we use them in an ontological analysis of the notion of social role. We identify three main properties of social roles. First, they are definitionally dependent on the institution they belong to, i.e. the definition of a (...) role is given inside the definition of the institution. Second, they attribute powers to the agents playing them, like creating commitments for the institutions and the other roles. Third, they allow roles to play roles, in the same way as agents do. Using Input/Output logics, we propose a formalization of roles in multi-agent systems satisfying the three properties we identified. (shrink)

avec de nombreux textes inédits Pierre Dugac. APPENDICE XVII Wilhelm WEBER : Brie)'e an Richard Dedekind (Cod. Ms. Richard Dedekind 14, II; Niedersàchsische Staats- und Universitàts- bibliothek Gôttingen) Gôttingen 10. Aug.