SAD as a mathematical assistant—how should we go from here to there?

The System for Automated Deduction (SAD) is developed in the framework of the Evidence Algorithm research project and is intended for automated processing of mathematical texts. The SAD system works on three levels of reasoning: (a) the level of text presentation where proofs are written in a formal natural-like language for subsequent verification; (b) the level of foreground reasoning where a particular theorem proving problem is simplified and decomposed; (c) the level of background deduction where exhaustive combinatorial inference search in classical first-order logic is applied to prove end subgoals.

We present an overview of SAD describing the ideas behind the project, the system's design, and the process of problem formalization in the fashion of SAD. We show that the choice of classical first-order logic as the background logic of SAD is not too restrictive. For example, we can handle binders like Σ or lim without resort to second order or to a full-powered set theory. We illustrate our approach with a series of examples, in particular, with the classical problem .     

Thought experiments and conceptual revision

The idea that claims about the physical world might be arrived through a priori reasoning has a long history in physics. But it is clear that empiricist notions of the nature of science, and in particular the empirical nature of physics, have held sway in this century. Yet, in the idea of thought experiments in science, we might find the survival of earlier a priori reasoning to the truth of claims about the physical world. This paper challenges the notion that science can be understood as a purely empirical endeavor and points out what reforms would be necessary for teaching the image of science to our young.     

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.     

Freedom,determinism and circular reasoning

This paper uses a short dialogue between a determinist and a free-will advocate as a basis for exploring some of the elements of circular reasoning which have for centuries kept alive one of the classical debates of philosophy, the freedom-versus-determinism debate. The chronic circularity which infests both sides of the debate arises from a procedural asymmetry in the argument, which in turn is produced by the different metaphysical commitments of the debaters.     

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).     

卫生保健需要的重要性与意义

卫生保健需要在卫生计划和资源配置中的作用日益受到重视。卫生保健需要是有层次的,相对的,因确定者,不同个体以及时间而异,科学,全面地认识和测量卫生保健需要,分析其与卫生服务需求和提供的关系,是更好的满足整个人群的卫生保健需要,使需要,需求和提供三者相匹配的基本前提,才能确保实现充分利用有发的资源,更经济,有效地提供卫生服务,保障和促进人群健康的宗旨。     

Casuistry as methodology in clinical ethics

This essay focuses on how casuistry can become a useful technique of practical reasoning for the clinical ethicist or ethics consultant. Casuistry is defined, its relationship to rhetorical reasoning and its interpretation of cases, by employing three terms that, while they are not employed by the classical rhetoricians and casuists, conform, in a general way, to the features of their work. Those terms are (1) morphology, (2) taxonomy, (3) kinetics. The morphology of a case reveals the invariant structure of the particular case whatever its contingent features, and also the invariant forms of argument relevant to any case of the same sort: these invariant features can be called topics. Taxonomy situates the instant case in a series of similar cases, allowing the similarities and differences between an instant case and a paradigm case to dictate the moral judgment about the instant case. This judgment is based, not merely on application of an ethical theory or principle, but upon the way in which circumstances and maxims appear in the morphology of the case itself and in comparison with other cases. Kinetics is an understanding of the way in which one case imparts a kind of moral movement to other cases, that is, different and sometimes unprecedented circumstances may move certain marginal or exceptional cases to the level of paradigm cases. In conclusion, casuistry is the exercise of prudential or practical reasoning in recognition of the relationship between maxims, circumstances and topics, as well as the relationship of paradigms to analogous cases.     

Fuzzy-trace theory and framing effects in choice: Gist extraction,truncation, and conversion

In the first section of this paper, we analyze classic framing effects according to principles of fuzzy-trace theory. The key principle of the theory is that reasoning prefers to operate on simple gist, as opposed to exact details. Then, we introduce new data in three experiments designed to test this fuzzy-processing assumption. In the first experiment, framing effects were conserved when numerical information was omitted from standard problems, arguing against a critical role for numerical processing. In the second experiment, evidence is presented that some subjects simplified framing problems by mentally truncating linguistically redundant complements in gambles. Experimentally deleting parts of gambles mimiced such effects, and choices varied depending on the information that remained explicit. In the third experiment, truncation effects were also demonstrated for mixed-frame problems, in which one option is positive and the other is negative. The data disconfirmed a ‘halo’ hypothesis that subjects merely selected the positive option over the negative one. Instead, choices were accounted for by conversion, that is, transforming problems into uniformly positive representations to avoid the complexity of negation. In all three experiments, choices could be explained as a consequence of radically simplifying decision information.     

Another Side to Caregiving: Negative Reactions to Being Helped

Until recently, caregiving research focused almost exclusively on caregivers of older adults with health problems, and there was little focus on care recipients' perceptions of the care they receive. The present article reviews relevant research on reactions to caregiving assistance. Several recent studies indicate that help in these contexts can be viewed negatively by care recipients. As many as two thirds of physically impaired older adults who receive assistance with daily activities, such as preparing meals, climbing stairs, or dressing, experience negative reactions to some of the help they receive. Negative reactions seem to have important consequences for the care recipient, because they are associated with higher depression concurrently and 1 year later. Because some of the findings are inconsistent with theoretical models of negative responses to help, an alternative framework, based on social-support and social-conflict research, is briefly proposed.