The Logic of Legal Requirements


Book Description

When a legal rule requires us to drive on the right, notarize our wills, or refrain from selling bootleg liquor, how are we to describe and understand that requirement? In particular, how does the logical form of such a requirement relate to the logical form of other requirements, such as moral requirements, or the requirements of logic itself? When a general legal rule is applied or distinguished in a particular case, how can we describe that process in logical form? Such questions have come to preoccupy modern legal philosophy as its methodology, drawing on the philosophy of logic, becomes ever more sophisticated. This collection gathers together some of the most prominent legal philosophers in the Anglo-American and civil law traditions to analyse the logical structure of legal norms. They focus on the issue of defeasibility, which has become a central concern for both logicians and legal philosophers in recent years. The book is divided into four parts. The first section is devoted to unravelling the basic concepts related to legal defeasibility and the logical structure of legal norms, focusing on the idea that law, or its components, are liable to implicit exceptions, which cannot be specified before the law's application to particular cases. Part two aims to disentangle the main relations between the issue of legal defeasibility and the issue of legal interpretation, exploring the topic of defeasibility as a product of certain argumentative techniques in the law. Section 3 of the volume is dedicated to one of the most problematic issues in the history of jurisprudence: the connections between law and morality. Finally, section 4 of the volume is devoted to analysing the relationships between defeasibility and legal adjudication.




How to Build a Person


Book Description

Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system whose descendants will literally be persons.




Cognitive Carpentry


Book Description

A sequel to the author's How to Build a Person, this work builds upon that theoretical groundwork for the implementation of rationality through artificial intelligence. It argues that progress in AI has stalled because of its creators' reliance upon unformulated intuitions about rationality. Instead, the author bases the OSCAR architecture upon an explicit philosophical theory of rationality, encompassing principles of practical cognition, epistemic cognition and defeasible reasoning. One of the results is the first automated defeasible reasoner capable of reasoning in a rich, logical environment.




Superminds


Book Description

This is the first book-length presentation and defense of a new theory of human and machine cognition, according to which human persons are superminds. Superminds are capable of processing information not only at and below the level of Turing machines (standard computers), but above that level (the "Turing Limit"), as information processing devices that have not yet been (and perhaps can never be) built, but have been mathematically specified; these devices are known as super-Turing machines or hypercomputers. Superminds, as explained herein, also have properties no machine, whether above or below the Turing Limit, can have. The present book is the third and pivotal volume in Bringsjord's supermind quartet; the first two books were What Robots Can and Can't Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The final chapter of this book offers eight prescriptions for the concrete practice of AI and cognitive science in light of the fact that we are superminds.




Studies in Legal Logic


Book Description

Studies in Legal Logic is a collection of nine interrelated papers about the logic, epistemology and ontology of law. All of the papers were written after the publication of the author’s Reasoning with Rules and supplement the issues addressed therein. Some of the papers are new; others have been revised substantially after the publication of their original versions. The emphasis is on analysis, not on logical technicalities. Studies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, the role of dialectics in law and artificial intelligence, the statics and dynamics of the law, and the consistency of rules. Moreover, it contains a new, simplified and yet more powerful version of Reason-based Logic and extensive examples of how it can be used for the analysis of legal reasoning. The examples deal with legal theory construction, case-based reasoning, and judicial proof.




Belief, Agency, and Knowledge


Book Description

A study focused on the normative aspects of epistemology. More specifically, it is concerned with the nature of epistemic norms and their relation both to the value of knowledge and to the structure of cognitive agency.




Oxford Handbook of Reasons and Normativity


Book Description

The Oxford Handbook of Reasons and Normativity maps a central terrain of philosophy, and provides an authoritative guide to it. Few concepts have received as much attention in recent philosophy as the concept of a reason to do or believe something. And one of the most contested ideas in philosophy is normativity, the 'ought' in claims that we ought to do or believe something. This is the first volume to provide broad coverage of the study of reasons and normativity across multiple philosophical subfields. In addition to focusing on reasons in ethics, epistemology, and the philosophy of mind, action, and language, the Handbook explores philosophical work on the nature of normativity in general. Topics covered include: the unity of normativity; the fundamentality of reasons; attempts to explain reasons in other terms; the relation of motivational reasons to normative reasons; the internalist constraint; the logic and language of reasons and 'ought'; connections between reasons, intentions, choices, and actions; connections between reasons, reasoning, and rationality; connections between reasons, knowledge, understanding and evidence; reasons encountered in perception and testimony; moral principles, prudence and reasons; agent-relative reasons; epistemic challenges to our access to reasons; normativity in relation to meaning, concepts, and intentionality; instrumental reasons; pragmatic reasons for belief; aesthetic reasons; and reasons for emotions.




Legal Knowledge and Information Systems


Book Description

This volume contains the proceedings of the seventeenth Jurix conference on Legal Knowledge and Information Systems (Jurix 2004), which was held at the Harnack Haus of the Max Planck Society, in Berlin, Germany. Although the Jurix conference moved from The Netherlands to Germany, almost half of the papers are from The Netherlands. Except for a paper from Canada, the others are from 5 other countries in Western Europe. The effort to extend Jurix beyond The Netherlands and establish it as the leading European conference on legal knowledge systems is making progress. The papers in this publication focus on the topics of legal knowledge management and information retrieval; legal knowledge acquisition using natural language processing; legal ontologies; case-based reasoning; reasoning about evidence and legal reasoning support.




The Laws of Belief


Book Description

Wolfgang Spohn presents the first full account of the dynamic laws of belief, by means of ranking theory, a relative of probability theory which he has pioneered since the 1980s. He offers novel insights into the nature of laws, the theory of causation, inductive reasoning and its experiential base, and a priori principles of reason.




On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops


Book Description

This book constitutes the joint refereed proceedings of seven international workshops held as part of OTM 2004 in Agia Napa, Cyprus in October 2004. The 73 revised papers presented together with 31 abstracts of posters from the OTM main conferences were carefully reviewed and selected from more than 150 submissions. In accordance with the 7 workshops, the papers are organized in topical sections on grid computing and its applications to data analysis; Java technologies for real-time and embedded systems; modeling inter-organizational systems; regulatory ontologies; ontologies, semantics and e-learning; PhD symposium; and interoperability.