从现代逻辑观点看印度新因明三支论式

Comparing the three-form reasoning of new Hetu-vidya with Western logic, scholars have put forward four perspectives. Combining their strengths and shortcomings, and the examples of Hetu-vidya reasoning, we can conclude that the three-form reasoning should have four forms: (1) the affirmative expression of formal implication; (2) the modus ponens of hypothetical reasoning concerning sufficient conditions after universal instantiation; (3) the negative expression of a formal implication; and (4) the modus tollens of hypothetical reasoning concerning sufficient conditions after universal instantiation.     

Sartre and Bergson: A Disagreement about Nothingness

Abstract

Henri Bergson's philosophy, which Sartre studied as a student, had a profound but largely neglected influence on his thinking. In this paper I focus on the new light that recognition of this influence throws on Sartre's central argument about the relationship between negation and nothingness in his Being and Nothingness. Sartre's argument is in part a response to Bergson's dismissive, eliminativist account of nothingness in Creative Evolution (1907): the objections to the concept of nothingness with which Sartre engages are precisely those raised by Bergson. Even if Sartre's account of nothingness in its entirety is found to be flawed, I argue that the points he makes specifically against Bergson are powerful.

My discussion concludes with a brief examination of the wider philosophical background to Sartre's and Bergson's discussion of nothingness: here I point to some important aspects of Sartre's early philosophy, including some features of his conception of nothingness, that may testify to Bergson's positive influence on his thought.     

Towards a pluralist theory of singular thought

This paper investigates the question of how to correctly capture the scope of singular thinking. The first part of the paper identifies a scope problem for the dominant view of singular thought maintaining that, in order for a thinker to have a singular thought about an object o, the thinker has to bear a special epistemic relation to o. The scope problem has it is that this view cannot make sense of the singularity of our thoughts about objects to which we do not or cannot bear any special epistemic relation. The paper focuses on a specific instance of the scope problem by addressing the case of thoughts about the natural numbers. Various possible solutions to the scope problem within the dominant framework are assessed and rejected. The second part of the paper develops a new theory of singular thought which hinges on the contention that the constraints that need to be met in order to think singularly vary depending on the kind of object we are thinking about. This idea is developed in detail by discussing the difference between the somewhat standard case of thoughts about spatio-temporal medium-sized inanimate objects and the case of thoughts about the natural numbers. It is contended that this new Pluralist theory of singular thought can successfully solve the scope problem.     

Disagreement about Taste: Commonality Presuppositions and Coordination

This paper confronts the disagreement argument for relativism about matters of taste, defending a specific form of contextualism. It is first considered whether the disagreement data might manifest an invariantist attitude that speakers have pre-reflectively. Semantic and ontological enlightenment should then make the impressions of disagreement vanish, or at least leave them as lingering ineffectual Müller-Lyer-like illusions; but it is granted to relativists that this does not fully happen. López de Sa's appeal to presuppositions of commonality and Sundell's appeal to metalinguistic disagreement are discussed, and it is argued that, although they help to clarify the issues, they do not fully explain why such impressions remain under enlightenment. To explain it, the paper develops a suggestion that other writers have made, that the lingering impression of disagreement is a consequence of a practical conflict, appealing to dispositions to practical coordination that come together with presuppositions of commonality in axiological matters.     

What Pessimism about Moral Deference Means for Disagreement

Many writers have recently argued that there is something distinctively problematic about sustaining moral beliefs on the basis of others’ moral views. Call this claim pessimism about moral deference. Pessimism about moral deference, if true, seems to provide an attractive way to argue for a bold conclusion about moral disagreement: moral disagreement generally does not require belief revision. Call this claim steadfastness about moral disagreement. Perhaps the most prominent recent discussion of the connection between moral deference and moral disagreement, due to Alison Hills, uses pessimism about the former to argue for steadfastness about the latter. This paper reveals that this line of thinking, and others like it, are unsuccessful. There is no way to argue from a compelling version of pessimism about moral deference to the conclusion of steadfastness about moral disagreement. The most plausible versions of pessimism about moral deference have only very limited implications for moral disagreement.     

Reasoning about update logic

Logical frameworks for analysing the dynamics of information processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off.This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that logical tools from theoretical computer science are relevant for the logic of information flow. More specifically, we show that the perspective of Hoare logic [13, 18] can fruitfully be applied to the conceptual simplification of information flow logics.     

Moral Realism and the Argument from Disagreement

Philosophical Studies -     

Learning from Aesthetic Disagreement and Flawed Artworks

Disagreements about art are considered here for their potential to pose questions about reality beyond the artwork. The project of assessing artistic value is useful for bringing complex questions to light. The ambitiousness of the cognitive stock, in Richard Wollheim's term, that can be relevant to understanding an artwork may mean that confident evaluation will elude us. Thinking about artistic value judgment in this way shifts its centrality as the point of artistic interpretation and evaluation; the goal of judging a work's meaning and value is a useful tool for prompting us to understand a work. But if we fail to reach that goal, that does not mean we have failed to engage with the work appropriately. The artistic value judgment, and achieving consensus on that value, can be secondary in importance to grasping the problems a work poses that are not immediately resolvable. Examples drawn from literary and philosophical imagining, in the work of Grace Paley and Mary Mothersill, and from Toni Morrison's literary criticism are used to illustrate and support the fruitfulness of this approach.     

Paraconsistent logic from a modal viewpoint

In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessity has a paraconsistent behavior. We examine this operator on the one hand in the modal logic S5 and on the other hand in some new four-valued modal logics.     

basic objectives of dialogue logic in historical perspective

The extensive research in logic conducted by using concepts and methods of game theory as documented in this collection of papers, allows to see dialogue logic in a number of new perspectives. This situation may gain further clarity by looking back to the inception of dialogue logic in the late fifties and early sixties.     

Scientists' Uncertainty and Disagreement about Global Climate Change: A Psychological Perspective

Since there are major gaps in scientific knowledge about the greenhouse effect, policy makers are forced to rely on scientists' judgments about the rate of climate change and its effects. It now appears that significant policy decisions will have to be made despite continuing uncertainty and disagreement among scientists. The best that policy makers can do is look for guidance in the best available expert judgment. But when the best experts express great uncertainty and disagree, as seems to be the case with the greenhouse effect, policy makers are unsure about how to proceed. Despite its importance, scientific judgment about the greenhouse effect has not been systematically studied. Psychological research on expert judgment and decision making provides theory, methods, and empirical results that can be used to study judgments based on uncertain and incomplete data and can help to explain the sources of expert uncertainty and disagreement regarding the greenhouse effect. Possible explanations are discussed.     

Quantum logic as a dynamic logic

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”. Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth’s proposal of applying Tarski’s semantical methods to the analysis of physical theories, with an empirical–experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operational- realistic tradition of Jauch and Piron, i.e. as an investigation of “the logic of yes–no experiments” (or “questions”). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the “non-classicality” of quantum behavior than any perspective based on static Propositional Logic.     

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by consequence operators. These operators correspond to the three sensible types of consequence (strong-strong, strong-weak and weak-weak) in Kleene's logic in analogous way as the implication connective in the classical logic corresponds to the classical consequence relation. The composed formulas of the considered language are built from the atomic ones by means of the classical connectives and quantifiers.A deduction system for the developed language is given, consisting of a set of decomposition rules for sequences of formulas. It is shown that the deduction system is sound and complete.     

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.