Bertrand Russell was one of the greatest logicians since Aristotle, and one of the most important philosophers of the past two hundred years. As we approach the 125th anniversary of the Nobel laureate's birth, his works continue to spark debate, resounding with unmatched timeliness and power. The Problems of Philosophy, one of the most popular works in Russell's prolific collection of writings, has become core reading in philosophy. Clear and accessible, this little book is an intelligible and stimulating guide to (...) those problems of philosophy which often mistakenly lead to its status as too lofty and abstruse for the lay mind. Focusing on problems he believes will provoke positive and constructive discussion, Russell concentrates on knowledge rather than metaphysics, steering the reader through his famous 1910 distinction between "knowledge by acquaintance and knowledge by description," and introducing important theories of Descartes, Kant, Hegel, Hume, Locke, Plato, and others to lay the foundation for philosophical inquiry by general readers and scholars alike.With a new introduction by John Perry, this valuable work is a perfect introduction to the field and will continue to stimulate philosophical discussion as it has done for nearly forty years. (shrink)

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (shrink)

First published in 1962, contains the William James Lectures delivered at Harvard University in 1955. It sets out Austin's conclusions in the field to which he directed his main efforts for at least the last ten years of his life. Starting from an exhaustive examination of his already well- known distinction of performative utterances from statements, Austin here finally abandons that distinction, replacing it by a more general theory of 'illocutionary forces' of utterances which has important bearings on a wide (...) variety of philosophical problems. (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)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Recent work in psychology and experimental philosophy has shown that judgments of actual causation are often influenced by consideration of defaults, typicality, and normality. A number of philosophers and computer scientists have also suggested that an appeal to such factors can help deal with problems facing existing accounts of actual causation. This article develops a flexible formal framework for incorporating defaults, typicality, and normality into an account of actual causation. The resulting account takes actual causation to be both graded and (...) comparative. We then show how our account would handle a number of standard cases. 1 Introduction2 Causal Models3 The HP Definition of Actual Causation4 The Problem of Isomorphism5 Defaults, Typicality, and Normality6 Extended Causal Models7 Examples7.1 Omissions7.2 Knobe effects7.3 Causes versus background conditions7.4 Bogus prevention7.5 Causal chains7.6 Legal doctrines of intervening causes7.7 Pre-emption and short circuits8 Conclusion. (shrink)

An updated and extended second edition supporting the findings of its well-known predecessor which claimed that courts employ common-sense notions of causation in determining legal responsibility.

Abstract“Force dynamics” refers to a previously neglected semantic category—how entities interact with respect to force. This category includes such concepts as: the exertion of force, resistance to such exertion and the overcoming of such resistance, blockage of a force and the removal of such blockage, and so forth. Force dynamics is a generalization over the traditional linguistic notion of “causative”: it analyzes “causing” into finer primitives and sets it naturally within a framework that also includes “letting,”“hindering,”“helping,” and still further notions. (...) Force dynamics, moreover, appears to be the semantic category that uniquely characterizes the grammatical category of modals, in both their basic and epistemic usages. In addition, on the basis of force dynamic parameters, numerous lexical items fall into systematic semantic patterns, and there exhibit parallelisms between physical and psychosocial reference. Further, from research on the relation of semantic structure to general cognitive structure, it appears that the concepts of force interaction that are encoded within language closely parallel concepts that appear both in early science and in naive physics and psychology. Overall, force dynamics thus emerges as a fundamental notional system that structures conceptual material pertaining to force interaction in a common way across a linguistic range: the physical, psychological, social, inferential, discourse, and mental-model domains of reference and conception. (shrink)

The mathematical theory of communication.

The twentieth century saw a vigorous debate over the nature of rights. Will theorists argued that the function of rights is to allocate domains of freedom. Interest theorists portrayed rights as defenders of well-being. Each side declared its conceptual analysis to be closer to an ordinary understanding of what rights there are, and to an ordinary understand- ing of what rights do for rightholders. Neither side could win a decisive victory, and the debate ended in a standoff.

An updated and extended second edition supporting the findings of its well-known predecessor which claimed that courts employ common-sense notions of causation in determining legal responsibility.

Artificial Intelligence: A Modern Approach, 3e offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence. Number one in its field, this textbook is ideal for one or two-semester, undergraduate or graduate-level courses in Artificial Intelligence. Dr. Peter Norvig, contributing Artificial Intelligence author and Professor Sebastian Thrun, a Pearson author are offering a free online course at Stanford University on artificial intelligence. According to an article in The New York Times, the course on artificial intelligence is (...) “one of three being offered experimentally by the Stanford computer science department to extend technology knowledge and skills beyond this elite campus to the entire world.” One of the other two courses, an introduction to database software, is being taught by Pearson author Dr. Jennifer Widom. Artificial Intelligence: A Modern Approach, 3e is available to purchase as an eText for your Kindle™, NOOK™, and the iPhone®/iPad®. (shrink)

This paper proposes an argumentation-based procedure for legal interpretation, by reinterpreting the traditional canons of textual interpretation in terms of argumentation schemes, which are then classified, formalized, and represented through argument visualization and evaluation tools. The problem of statutory interpretation is framed as one of weighing contested interpretations as pro and con arguments. The paper builds an interpretation procedure by formulating a set of argumentation schemes that can be used to comparatively evaluate the types of arguments used in cases of (...) contested statutory interpretation in law. A simplified version of the Carneades Argumentation System is applied in a case analysis showing how the procedure works. A logical model for statutory interpretation is finally presented, covering pro-tanto and all-things-considered interpretive conclusions. (shrink)

This paper is an introduction to a virtual special issue of AI and Law exploring the legacy of the influential HYPO system of Rissland and Ashley. The papers included are: Arguments and cases: An inevitable intertwining, BankXX: Supporting legal arguments through heuristic retrieval, Modelling reasoning with precedents in a formal dialogue Game, A note on dimensions and factors, An empirical investigation of reasoning with legal cases through theory construction and application, Automatically classifying case texts and predicting outcomes, A factor-based definition (...) of precedential constraint and An improved factor based approach to precedential constraint. After describing HYPO, in this introduction to the special issue I look at various aspects of its influence on AI and Law: the developments led by Rissland at Amherst; the developments led by Ashley in Pittsburgh; the expression of these ideas in terms of rule based systems, and their subsequent formalisation; value based theories, which were inspired by a critique of HYPO; and contemporary approaches which revive the idea of dimensions. (shrink)

We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature.

Use of argumentation methods applied to legal reasoning is a relatively new field of study. The book provides a survey of the leading problems, and outlines how future research using argumentation-based methods show great promise of leading to useful solutions. The problems studied include not only these of argument evaluation and argument invention, but also analysis of specific kinds of evidence commonly used in law, like witness testimony, circumstantial evidence, forensic evidence and character evidence. New tools for analyzing these kinds (...) of evidence are introduced. (shrink)

This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence of (...) an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases. (shrink)

Work on a computer program called SMILE + IBP (SMart Index Learner Plus Issue-Based Prediction) bridges case-based reasoning and extracting information from texts. The program addresses a technologically challenging task that is also very relevant from a legal viewpoint: to extract information from textual descriptions of the facts of decided cases and apply that information to predict the outcomes of new cases. The program attempts to automatically classify textual descriptions of the facts of legal problems in terms of Factors, a (...) set of classification concepts that capture stereotypical fact patterns that effect the strength of a legal claim, here trade secret misappropriation. Using these classifications, the program can evaluate and explain predictions about a problem’s outcome given a database of previously classified cases. This paper provides an extended example illustrating both functions, prediction by IBP and text classification by SMILE, and reports empirical evaluations of each. While IBP’s results are quite strong, and SMILE’s much weaker, SMILE + IBP still has some success predicting and explaining the outcomes of case scenarios input as texts. It marks the first time to our knowledge that a program can reason automatically about legal case texts. (shrink)

A discussion of work formalising Hohfeld's classic taxonomy of rights relations between two parties.

In a criminal trial, evidence is used to draw conclusions about what happened concerning a supposed crime. Traditionally, the three main approaches to modeling reasoning with evidence are argumentative, narrative and probabilistic approaches. Integrating these three approaches could arguably enhance the communication between an expert and a judge or jury. In previous work, techniques were proposed to represent narratives in a Bayesian network and to use narratives as a basis for systematizing the construction of a Bayesian network for a legal (...) case. In this paper, these techniques are combined to form a design method for constructing a Bayesian network based on narratives. This design method is evaluated by means of an extensive case study concerning the notorious Dutch case of the Anjum murders. (shrink)

Stories can be powerful argumentative vehicles, and they are often used to present arguments from analogy, most notably as parables, fables or allegories where the story invites the hearer to infer an important claim of the argument. Case Based Reasoning in Law has many similar features: the current case is compared to previously decided cases, and in case the similarity between the previous and current cases is deemed sufficient, a similar conclusion can be drawn for the current case. In this (...) article, we want to take a further step towards computationally modelling the connection between stories and argumentation in analogical reasoning. We show how story schemes can be used to investigate and determine story similarity, and how the point of a story – that is, the conclusion that the storyteller intends the hearer to draw – can be likened to the ratio decidendi in a legal case. Finally, we present some formal tools for modelling stories based on computational models of practical reasoning. (shrink)

In many domains of public discourse such as arguments about public policy, there is an abundance of knowledge to store, query, and reason with. To use this knowledge, we must address two key general problems: first, the problem of the knowledge acquisition bottleneck between forms in which the knowledge is usually expressed, e.g., natural language, and forms which can be automatically processed; second, reasoning with the uncertainties and inconsistencies of the knowledge. Given such complexities, it is labour and knowledge intensive (...) to conduct policy consultations, where participants contribute statements to the policy discourse. Yet, from such a consultation, we want to derive policy positions, where each position is a set of consistent statements, but where positions may be mutually inconsistent. To address these problems and support policy-making consultations, we consider recent automated techniques in natural language processing, instantiating arguments, and reasoning with the arguments in argumentation frameworks. We discuss application and “bridge” issues between these techniques, outlining a pipeline of technologies whereby: expressions in a controlled natural language are parsed and translated into a logic (a literals and rules knowledge base), from which we generate instantiated arguments and their relationships using a logic-based formalism (an argument knowledge base), which is then input to an implemented argumentation framework that calculates extensions of arguments (an argument extensions knowledge base), and finally, we extract consistent sets of expressions (policy positions). The paper reports progress towards reasoning with web-based, distributed, collaborative, incomplete, and inconsistent knowledge bases expressed in natural language. (shrink)

Reasoning about causation in fact is an essential element of attributing legal responsibility. Therefore, the automation of the attribution of legal responsibility requires a modelling effort aimed at the following: a thorough understanding of the relation between the legal concepts of responsibility and of causation in fact; a thorough understanding of the relation between causation in fact and the common sense concept of causation; and, finally, the specification of an ontology of the concepts that are minimally required for (automatic) common (...) sense reasoning about causation. This article offers a worked-out example of the indicated analysis. Such example consists of: a definition of the legal concept of responsibility (in terms of liability and accountability); a definition of the legal concept of causation in fact (in terms of the initiation of physical processes by an agent and of the provision of reasons and/or opportunities to other agents); CausatiOnt, an AI-like ontology of the common sense (causal) concepts that are minimally needed for reasoning about the legal concept of causation in fact (in particular, the concepts of category, dimension, object, agent, process, event and act). (shrink)

This paper describes an approach to legal logic based on the formal analysis of argumentation schemes. Argumentation schemes a notion borrowed from the .eld of argumentation theory - are a kind of generalized rules of inference, in the sense that they express that given certain premises a particular conclusion can be drawn. However, argumentation schemes need not concern strict, abstract, necessarily valid patterns of reasoning, but can be defeasible, concrete and contingently valid, i.e., valid in certain contexts or under certain (...) circumstances. A method is presented to analyze argumentation schemes and it is shown how argumentation schemes can be embedded in a formal model of dialectical argumentation. (shrink)

We discuss several aspects of legal arguments, primarily arguments about the meaning of statutes. First, we discuss how the requirements of argument guide the specification and selection of supporting cases and how an existing case base influences argument formation. Second, we present,our evolving taxonomy of patterns of actual legal argument. This taxonomy builds upon our much earlier work on argument moves and also on our more recent analysis of how cases are used to support arguments for the interpretation of legal (...) statutes. Third, we show how the theory of argument used by CABARET, a hybrid case-based/rule-based reasoner, can support many of the argument patterns in our taxonomy. (shrink)

The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific information. As BankXX searches its heterogeneous and highly interconnected network of domain knowledge, information is incrementally analyzed and amalgamated into a dozen desirable ingredients for argument (called argument pieces), such as citations to cases, applications of legal theories, and references to prototypical factual scenarios. At the conclusion of the search, BankXX outputs the set of argument (...) pieces filled with harvested material relevant to the input problem situation.This research explores the appropriateness of the search paradigm as a framework for harvesting and mining information needed to make legal arguments. In this article, we describe how legal research fits the heuristic search framework and detail how this model is used in BankXX. We describe the BankXX program with emphasis on its representation of legal knowledge and legal argument. We describe the heuristic search mechanism and evaluation functions that drive the program. We give an extended example of the processing of BankXX on the facts of an actual legal case in BankXX's application domain — the good faith question of Chapter 13 personal bankruptcy law. We discuss closely related research on legal knowledge representation and retrieval and the use of search for case retrieval or tasks related to argument creation. Finally we review what we believe are the contributions of this research to the understanding of the diverse disciplines it addresses. (shrink)

This paper presents a formal reconstruction of a Dutch civil legal case in Prakken’s formal model of adjudication dialogues. The object of formalisation is the argumentative speech acts exchanged during the dispute by the adversaries and the judge. The goal of this formalisation is twofold: to test whether AI & law models of legal dialogues in general, and Prakken’s model in particular, are suitable for modelling particular legal procedures; and to learn about the process of formalising an actual legal dispute.

We shall introduce a set of fundamental legal concepts, providing a definition of each of them. This set will include, besides the usual deontic modalities (obligation, prohibition and permission), the following notions: obligative rights (rights related to other’s obligations), permissive rights, erga-omnes rights, normative conditionals, liability rights, different kinds of legal powers, potestative rights (rights to produce legal results), result-declarations (acts intended to produce legal determinations), and sources of the law.