Rationale for a pragma-dialectical perspective

Starting from a concept of reasonableness as well-consideredness, it is discussed in what way science could serve as a model for reasonable argumentation. It turns out that in order to be reasonable two requirements have to be fulfilled. The argumentation should comply with rules which are both problem-valid and intersubjectively valid. Geometrical and anthropological perspectives don't meet these criteria, but a critical perspective does. It is explained that a pragma-dialectical approach to argumentation which agrees with this critical perspective is indeed problem-valid and that strong pragmatic and utilitarian arguments can be given for its intersubjective validity. Thus, conventional validity is promoted for a code of conduct for discussants who want to resolve their disputes reasonably by way of a critical discussion.     

Woods on Ideals of Rationality in Dialogue

Woods' paper Ideals of Rationality in Dialogue raises six problems for dialogue theory. Woods is right about the seriousness of the problems, but one school of dialogue, that stemming from the work of Charles Hamblin, avoids each of Woods' problems by using commitment instead of belief and by using only immediate logical relations. This paper summarises the reasons Hamblin's school took this course, and explains how Woods' problems are thereby avoided.     

Modes of understanding and mindfulness in clinical medicine

Beginning with a case vignette, this paper uses a semiotic approach to analyze several different kinds of understanding used in clinical medicine. By outlining semiotic structures, four distinct modes of understanding can be defined: (1) the representational mode, corresponding to scientific medicine; (2) the pragmatic mode, constituting the basic standpoint of medicine; (3) the hermeneutic mode, underlying the empathic, humanistic spirit of medicine; and (4) the ontologic mode, associated with both the ethical and ritual aspects of medicine. Clarifying the relationship between these modes avoids common confusions in clinical situations. Although experienced clinicians intuitively use these different modes, they do not necessarily reflect upon them. They are instead mindful of them, and this unique multi-modal consciousness, I suggest, provides a model for integrating theory and practice.This work was supported in part by the Robert Wood Johnson Clinical Scholars Program.     

The blaze of her splendors: Suggestions about revitalizing fallacy theory

Criticisms of fallacy theory have been lodged from many different directions. In this paper, I consider the classic criticism of incompleteness by DeMorgan, Finocchiaro's claim that fallacies probably exist only in the mind of the interpreter, McPeck's claim that fallacies are at best context-dependent and Paul's complaints about the teaching of fallacies. I seek not merely to defend fallacy theory against unfair criticisms but also to learn from the criticisms what can be done in order to make fallacy theory a viable theory of criticism. I argue that this will involve several changes: rethinking of the nature of fallacy; addressing some theoretical issues; and presenting fallacy theory in a more rigorous fashion. The paper concludes with reflections on how Quine's ontological advice about the resolution of ontological disputes might be applied to the issue of whether or not there are fallacies.     

Curry's paradox in contractionless constructive logic

We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems.     

Reasoning about actions and obligations in first-order logic

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.This research was partially supported by the Esprit III Basic Research Working Group No. 8319 ModelAge.     

Doing well enough: Toward a logic for common-sense morality

On the traditional deontic framework, what is required (what morality demands) and what is optimal (what morality recommends) can't be distinguished and hence they can't both be represented. Although the morally optional can be represented, the supererogatory (exceeding morality's demands), one of its proper subclasses, cannot be. The morally indifferent, another proper subclass of the optional-one obviously disjoint from the supererogatory-is also not representable. Ditto for the permissibly suboptimal and the morally significant. Finally, the minimum that morality allows finds no place in the traditional scheme. With a focus on the question, “What would constitute a hospitable logical neighborhood for the concept of supererogation?”, I present and motivate an enriched logical and semantic framework for representing all these concepts of common sense morality.     

Deontic database constraints,violation and recovery

The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this logic. The limitations of the proposed logic and possible modifications and extensions of it are analysed.     

Axiomatising first-order temporal logic: Until and since over linear time

We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.The author would like to thank Dov Gabbay and Ian Hodkinson for helpful discussions on this material. The work was supported by the U.K. Science and Engineering Research Council under the Metatem project (GR/F/28526).Presented by Dov Gabbay     

The computational value of debate in defeasible reasoning

Defeasible reasoning is concerned with the logics of non-deductive argument. As is described in the literature, the study of this type of reasoning is considerably more involved than the study of deductive argument, even so that, in realistic applications, there is often a lack of resources to perform an exhaustive analysis. It follows that, in a theory of defeasible reasoning, the order and direction in which arguments are developed, i.e. theprocedure, is important. The aim of this article is to show that debate is the most efficient procedure to argue in the presence of limited resources. To do so, there is first some general theory on defeasible argumentation, which is followed by an introduction to the problem of dialectical search. The problem of dialectical search is (or at least, should be) the essential issue in every theory on argumentation, and emerges at every occasion that involves adjudication on competing arguments. Starting with an example, it is explained that dialectical search can be best scheduled according to classical debating techniques, that work along well-tried methods. These methods (which include various forms of curtailment, interruption, and interpretation) have proven their value in keeping debating efforts within reasonable bounds. How they apply in a theory of formal argument, will be shown in this article.This research was made possible by SION, and is financed by NWO under contract number 612-316-019. Part of this research has been conducted at the Vrije Universiteit Amsterdam. This article contains fragments of Chapter 6 and Chapter 7 of the author's dissertation. Studies in Defeasible Argumentation (1993).