归纳认知过程中的价值因素

现代归纳逻辑产生之初,一些逻辑学家依照逻辑学求真的传统研究归纳推理前提的真对结论真的支持程度。随着研究的深入,价值因素进入归纳逻辑的视野,逻辑学家发现,在人的归纳认知过程中渗透着价值因素。     

Facts and Possibilities: A Model‐Based Theory of Sentential Reasoning

This article presents a fundamental advance in the theory of mental models as an explanation of reasoning about facts, possibilities, and probabilities. It postulates that the meanings of compound assertions, such as conditionals (if) and disjunctions (or), unlike those in logic, refer to conjunctions of epistemic possibilities that hold in default of information to the contrary. Various factors such as general knowledge can modulate these interpretations. New information can always override sentential inferences; that is, reasoning in daily life is defeasible (or nonmonotonic). The theory is a dual process one: It distinguishes between intuitive inferences (based on system 1) and deliberative inferences (based on system 2). The article describes a computer implementation of the theory, including its two systems of reasoning, and it shows how the program simulates crucial predictions that evidence corroborates. It concludes with a discussion of how the theory contrasts with those based on logic or on probabilities.     

Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics

Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In [7], we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we describe these methods and present several ways to increase their efficiency. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision — the conclusion follows or does not follow — in a very economical way.     

Prolegomena of a Logic of Causality and Dynamism

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.     

Estimates of shape by eye, or, The little invariant that could

Five experiments were conducted to test the hypothesis that observers apprehend specific constancies under change in perspective. The constancies were projective properties of ellipses pictured to slant and tilt in depth. Observers were asked to reproduce the static upright view of a moving pair of ellipses, using a computer graphics display and interface. Projective invariants for pairs of conics were computed on the observers’ productions. A few experimental conditions revealed near-perfect performance. When pairs of coplanar ellipses were viewed under dynamic transformation in perspective, then invariants calculated on the observers’ productions were a match – in value on average – to the invariants of the transforming ellipse pairs. It is proposed that measures of projective properties afford a family of techniques that can be applied to gauge acuity for complex shapes in the study of visual form perception.     

Common-sense reasoning as proto-scientific agent activity

We wish to model common-sense reasoning in situations where it contains some of the ingredients typical of proto-scientific reasoning, with a view to future elaboration and proof of concept. To model this proto-scientific narrative, we employ the integrative formal computational machinery we have been developing and implementing for rational cooperative epistemic agents. In our logic-based framework, agents can update their own and each other's theories, which are comprised of knowledge, active rules, integrity constraints, queries, abducibles, and preferences; they can engage in abductive reasoning involving updatable preferences; set each other queries; react to circumstances; plan and carry out actions; and revise their theories and preferences by means of concurrent updates on self and others.