We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for each premise separately. (...) Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Roberty Alexy''s discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl''s nonmonotonic logic,conditional entailment. Discourse in focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority of rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of (...) the Uniform Commercial Code. (shrink)

"Unabridged and unaltered republication of the work originally published ... in 1950." Bibliographical footnotes.

Carneades is an open source argument mapping application and a programming library for building argumentation support tools. In this paper, Carneades’ support for argument reconstruction, evaluation and visualization is illustrated by modeling most of the factual and legal arguments in Popov v Hayashi.

We propose strategic games wherein the strategies consist of players asking each other questions and answering those questions. We study simplifications of such games wherein two players simultaneously ask each other a question that the opponent is then obliged to answer. The motivation for our research is to model conversation including the dynamics of questions and answers, to provide new links between game theory and dynamic logics of information, and to exploit the dynamic/strategic structure that, we think, lies implicitly inside (...) epistemic models for epistemic languages, and to make that structure an explicit subject of logical study. Our main contributions are: the notion of a two-person question-answer game with information goals, the existence and computation of equilibria for these games, the correspondence with Bayesian games and their equilibria, and a connection between logic and game theory namely the existence of equilibria for positive goal formulae. (shrink)

Herbert Spencer was one of the most important contributors to the Victorian discourse on social evolution. His theory of evolution in nature and society has been the subject of countless scholarly works over the last hundred years. Nevertheless, not all of its dimensions have been studied in due depth. Contrary to a widespread belief, Spencer did not just design an evolutionary theory of upward, yet branched development. Searching for explanations for the social distance between presumably civilized and primitive societies and (...) between presumably well-conducted and pauperized Victorians, he introduced elements of retrogression into his theory of social evolution. In addition, he biologized social structures and social phenomena by constructing a causal relationship between social and somatic features. This article discusses Spencer's account of the social conditions of the so-called savages and paupers. It aims to shed light on the progressive and retrogressive modes of evolutionary development and the biologistic explanations he employed in his social theory to explain these conditions. (shrink)

We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as "every coalition satisfying property P can achieve φ" and "there exists a coalition C satisfying property P such that C can achieve φ". We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...) nevertheless exponentially more succinct. The complexity of QCL model checking for symbolic and explicit state representations is shown to be no worse than that of Coalition Logic, and satisfiability for QCL is shown to be no worse than satisfiability for Coalition Logic. We illustrate the formalism by showing how to succinctly specify such social choice mechanisms as majority voting, which in Coalition Logic require specifications that are exponentially long in the number of agents. (shrink)

The words χρxs22EF and δεxs1FD6 with their inflectional and dialectic variations, are less definite and stable in their semantic range than the other Greek expressions for the general ideas of necessity, obligation, or propriety. Their semantic boundaries varied with the dialect, province of literature, and period–which cannot, indeed, be entirely separated. From Homer to Aristotle there is a steady trend, so plain that the slight notice taken of it is rather surprising. Everyone sees that the two are sometimes differentiated; yet (...) it seems to be loosely taken for granted that they are substantially equivalent, and that either may, almost anywhere, be taken as an equivalent of the verbal in -τxs22EFος. The statements in Liddell and Scott under χρxs22EF present an admirable confusion of all periods and styles, and J. H. H. Schmidt, with no mention of dates, makes a distinction that resembles a reversal of the true relation. (shrink)

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)

We define a multi-modal version of Computation Tree Logic (CTL) by extending the language with path quantifiers $E^\delta $ and $E^\delta $ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a CTL axiomatisation for each dimension. Completeness is proved by employing the completeness result for CTL to obtain a model along each dimension in turn. We also show that (...) the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for CTL. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional CTL logic. (shrink)

Charles Peirce had a flair for asking fruitful questions and for proposing answers that did not block the way of inquiry. Typical examples occur in his philosophy of science where he raises issues that are still very much alive. They include such items as the nature and conditions of scientific progress, the grounds of human success in formulating theories, the completability of scientific knowledge, and the limits imposed by the economy of research. Because these are living issues, Peirce's ideas about (...) them invite examination as if he were our philosophical contemporary. Nicholas Rescher so examines them in his compact, timely book. His treatment is sympathetic but by no means uncritical, as might have been expected in view of the similarities and differences between his own position of methodological pragmatism and the pragmaticism of Peirce. The ensuing discussion thus seems to me worth looking at in a bit of detail. (shrink)

The educational controversies that Martin Eger discusses regarding moral education and the teaching of “creationism” arise from taking a single aspect of moral education and making it the whole, and from taking a single aspect of scientific work and assuming that it is the whole. The distinction between teaching science as application and teaching it as education is crucial in confronting these problems.

Traces the mysterious motif of the castle defined by women across several centuries, regions, and cultural expressions.