In his (2001a) and in some related papers, Tim Crane has maintained that intentional objects are schematic entities, in the sense that, insofar as being an intentional object is not a genuine metaphysical category, qua objects of thought intentional objects have no particular nature. This approach to intentionalia is the metaphysical counterpart of the later Husserl's ontological approach to the same entities, according to which qua objects of thought intentionalia are indifferent to existence. But to buy a metaphysically deflationary approach (...) does not mean to buy an ontologically deflationary approach, according to which we have to accept all the intentional objects there apparently are. Being metaphysically deflationary on intentionalia rather means that from the ontological point of view one must really allow only for those intentionalia for which one is entitled to say that there are such things; typically, for which an ontological proof is available. From metaphysical schematism plus conditional, or partial, ontological committment to intentionalia, further interesting consequences follow. First, this theoretical combination allows one to deal with the ‘too-many entities’ problem (may one fail to accept an ontological proof for an entity of a given kind if she thinks that the entity we would have to be committed to is an entity of another kind?). Second, it allows one to deal with the ‘genuinely true report’ problem (how is it that if we exercise mindreading with respect to a somehow deluded person, we want our reports to come out as really, not merely fictionally, true?). (shrink)

We investigate the relations among Brandom’s three dimensions of semantic inferential articulation, namely, incompatibility entailments, committive consequences, and permissive consequences. In his unpublished manuscript “Conceptual Content and Discursive Practice” Brandom argues that (1) incompatibility entailment implies committive consequence, and that (2) committive consequence in turn implies permissive consequence. We criticize this hierarchy both on internal and external grounds. Firstly, we prove that, using Brandom’s own definitions, the reverse of (1) also holds, and that the (...) reverse of (2) may hold (but the proof relies on substantive assumptions). This suggests that there are no three different notions of inference emerging from Brandom’s definitions, but at most two, and perhaps even just one. Secondly, this result puts into question the connections between the three inferential relations and the familiar notions of deduction and induction. (shrink)

How ontologically committal is common sense? Is the common-sense philosopher beholden to a florid ontology in which all manner of objects, substances, and processes exist and are as they appear to be to common sense, or can she remain neutral on questions about the existence and nature of many things because common sense is largely non-committal? This chapter explores and tentatively evaluates three different approaches to answering these questions. The first applies standard accounts of ontological commitment to common-sense claims. This (...) leads to the surprising and counter-intuitive result that common sense has metaphysically heavyweight commitments. The second approach emphasizes the superficiality and locality of common-sense claims. On this approach, however, common sense comes out as almost entirely non-committal. The third approach questions the seriousness of ontological commitment as such. If ontological commitment is cheap, it becomes possible both to accept the commitments of common sense at face value and to avoid the counter-intuitive consequences of heavyweight metaphysical commitments. (shrink)

This research employs the Bayesian network modeling approach, and the Markov chain Monte Carlo technique, to learn about the role of lies and violence in teachings of major religions, using a unique dataset extracted from long-standing Vietnamese folktales. The results indicate that, although lying and violent acts augur negative consequences for those who commit them, their associations with core religious values diverge in the final outcome for the folktale characters. Lying that serves a religious mission of either Confucianism or Taoism (...) (but not Buddhism) brings a positive outcome to a character (βT_and_Lie_O= 2.23; βC_and_Lie_O= 1.47; βT_and_Lie_O= 2.23). A violent act committed to serving Buddhist missions results in a happy ending for the committer (βB_and_Viol_O= 2.55). What is highlighted here is a glaring double standard in the interpretation and practice of the three teachings: the very virtuous outcomes being preached, whether that be compassion and meditation in Buddhism, societal order in Confucianism, or natural harmony in Taoism, appear to accommodate two universal vices—violence in Buddhism and lying in the latter two. These findings contribute to a host of studies aimed at making sense of contradictory human behaviors, adding the role of religious teachings in addition to cognition in belief maintenance and motivated reasoning in discounting counterargument. (shrink)

The paper assumes for its starting point the basic correctness of the so-called “resolute” reading of Wittgenstein's Tractatus, a reading first developed by Cora Diamond and James Conant. The main part of the paper concerns the consequences this interpretation will have for our understanding of Wittgenstein's well-known remark in a letter to a prospective publisher that the point or aim of his book was an ethical one. I first give a sketch of what, given the committments of the resolute reading, (...) the ethical point of the book will be, and then argue that given these committments and Wittgenstein's own philosophical biases at the time he wrote the Tractatus, the book cannot serve the ethical purpose for which it was written. (shrink)

I discuss the "theory of recollection" in Plato's Meno (81a–86c). Socrates' comments on the "geometry lesson" (85b8–86c3) are used to support the claim that, in a Socratic dialogue, we ought to differentiate between between non-committal and committal questions (= those implying a commitment of the questioner). It is then argued that the "theory of recollection" is no Platonic doctrine: Socrates uses Pythagorean material against Meno who is acquainted with the Pythagorean tradition and whose eristical argument against the possibility of learning (...) is meant to be refuted by the paradoxical consequences about the slave-boy's learning Meno is made to admit. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Religion a Threat to Morality: An Attempt to Throw Some New Light on Hume's Philosophy of Religion* Gerhard Streminger At the beginning ofhis Natural History ofReligion Hume writes that two questions in particular... challenge our attention, to wit, that concerning its foundation in reason, and that concerning its origin in human nature. The first challenge is taken up by Hume in the Dialogues ConcerningNatural Religion, and the second in (...) hisNatural History ofReligion. In this paper I will try to show that there is a third fundamental problem discussed by Hume with regard to religion, namely its relationship to and influence on morality. Although he never wrote on this topic in as systematic a way as on the above-mentioned two questions inparticular, I am convinced that his thoughts about it were not just casual. The passages in Hume relevant to this third central question about religion are to be found in "Of Superstition and Enthusiasm," in Essays Moral, Political, and Literary; in section 11 ofAn Enquiry Concerning Human Understanding; in Appendix 4 and "A Dialogue," in An Enquiry Concerning the Principles ofMorals; in the History ofEngland; in Part XII of the Dialogues Concerning Natural Religion ; and, in particular, in the Natural History ofReligion. Why Hume never wrote about the relationship between religion and morality in a more systematic way is not entirely clear. He may have decided not to provoke the orthodox any further than he already had. That Hume changed the title ofsection 11 ofhis first Enquiry from the original "Of the Practical Consequences of Natural Religion" to the rather non-committal "Of a Particular Providence and of a Future State" may support this conjecture. Before going into more detail as to Hume's view on the relationship between religion and morality, I want to make a few remarks about Hume's opinion of religion in general. Hume made a distinction between one 'true' and two forms of 'false' religion. His most explicit description of true religion is to be found in a preface to the second volume of his History ofEngland: Volume XV Number 2 277 GERHARD STREMINGER Theproper Office ofReligion, Hume wrote in terms which have a Quakerish flavour, is to reform Men's Lives, to purify their Hearts, to inforce all moralDuties, & to secure Obedience to the Laws & civil Magistrate. While it pursues these useful Purposes, its Operations, tho' infinitely valuable, are secret & silent; andseldom come under the Cognizance ofHistory... The Idea ofan Infinite Mind, the Author ofthe Universe seems... to require a Worship absolutely pure, simple, unadorned; without Rites, Institutions, Ceremonies; even without Temples, Priests, or verbal Prayer & Supplication. This preface, however, was not printed in the words quoted above. Instead it was reduced by Hume to a footnote at the end of the second volume of his History of England in a shortened and toned-down version. Even this footnote was removed in later editions ofthe History ofEngland. But in the Dialogues Hume repeated his idea of the effect of true religion on morality almost verbatim: The proper office of religion is to regulate the heart of men, humanize their conduct, infuse the spirit oftemperance, order, and obedience; and as its operation is silent, and only enforces the motives of mortality and justice, it is in danger of being overlooked, and confounded with these other motives. This form ofreligion, however, although without anypernicious consequences with regard to society (D 223), is extremely rare. Religion, as it has commonly been found in the world (D 223), is a threat to morality. The corruptions of true religion, namely superstition and enthusiasm, are the popular forms of religious worship. Whenever Hume talks about religion without qualifications, he has this false religion in mind. Coming back to my original thesis, Hume, I think, sees three main negative influences of false religion: (1) The clergy has an interest in setting bounds to human knowledge; (2) The God offalse religion is no moral authority; (3) False religion corrupts the natural moral sentiments and promotes an 'artificial, affected' life. I. False Religion and Human Knowledge To see the force of Hume's argument concerning the threat of false religion to morality, one has to take into account some general assumptions of Hume... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Religion a Threat to Morality: An Attempt to Throw Some New Light on Hume's Philosophy of Religion* Gerhard Streminger At the beginning ofhis Natural History ofReligion Hume writes that two questions in particular... challenge our attention, to wit, that concerning its foundation in reason, and that concerning its origin in human nature. The first challenge is taken up by Hume in the Dialogues ConcerningNatural Religion, and the second in (...) hisNatural History ofReligion. In this paper I will try to show that there is a third fundamental problem discussed by Hume with regard to religion, namely its relationship to and influence on morality. Although he never wrote on this topic in as systematic a way as on the above-mentioned two questions inparticular, I am convinced that his thoughts about it were not just casual. The passages in Hume relevant to this third central question about religion are to be found in "Of Superstition and Enthusiasm," in Essays Moral, Political, and Literary; in section 11 ofAn Enquiry Concerning Human Understanding; in Appendix 4 and "A Dialogue," in An Enquiry Concerning the Principles ofMorals; in the History ofEngland; in Part XII of the Dialogues Concerning Natural Religion ; and, in particular, in the Natural History ofReligion. Why Hume never wrote about the relationship between religion and morality in a more systematic way is not entirely clear. He may have decided not to provoke the orthodox any further than he already had. That Hume changed the title ofsection 11 ofhis first Enquiry from the original "Of the Practical Consequences of Natural Religion" to the rather non-committal "Of a Particular Providence and of a Future State" may support this conjecture. Before going into more detail as to Hume's view on the relationship between religion and morality, I want to make a few remarks about Hume's opinion of religion in general. Hume made a distinction between one 'true' and two forms of 'false' religion. His most explicit description of true religion is to be found in a preface to the second volume of his History ofEngland: Volume XV Number 2 277 GERHARD STREMINGER Theproper Office ofReligion, Hume wrote in terms which have a Quakerish flavour, is to reform Men's Lives, to purify their Hearts, to inforce all moralDuties, & to secure Obedience to the Laws & civil Magistrate. While it pursues these useful Purposes, its Operations, tho' infinitely valuable, are secret & silent; andseldom come under the Cognizance ofHistory... The Idea ofan Infinite Mind, the Author ofthe Universe seems... to require a Worship absolutely pure, simple, unadorned; without Rites, Institutions, Ceremonies; even without Temples, Priests, or verbal Prayer & Supplication. This preface, however, was not printed in the words quoted above. Instead it was reduced by Hume to a footnote at the end of the second volume of his History of England in a shortened and toned-down version. Even this footnote was removed in later editions ofthe History ofEngland. But in the Dialogues Hume repeated his idea of the effect of true religion on morality almost verbatim: The proper office of religion is to regulate the heart of men, humanize their conduct, infuse the spirit oftemperance, order, and obedience; and as its operation is silent, and only enforces the motives of mortality and justice, it is in danger of being overlooked, and confounded with these other motives. This form ofreligion, however, although without anypernicious consequences with regard to society (D 223), is extremely rare. Religion, as it has commonly been found in the world (D 223), is a threat to morality. The corruptions of true religion, namely superstition and enthusiasm, are the popular forms of religious worship. Whenever Hume talks about religion without qualifications, he has this false religion in mind. Coming back to my original thesis, Hume, I think, sees three main negative influences of false religion: (1) The clergy has an interest in setting bounds to human knowledge; (2) The God offalse religion is no moral authority; (3) False religion corrupts the natural moral sentiments and promotes an 'artificial, affected' life. I. False Religion and Human Knowledge To see the force of Hume's argument concerning the threat of false religion to morality, one has to take into account some general assumptions of Hume... (shrink)

This research employs the Bayesian network modeling approach, and the Markov chain Monte Carlo technique, to learn about the role of lies and violence in teachings of major religions, using a unique dataset extracted from long-standing Vietnamese folktales. The results indicate that, although lying and violent acts augur negative consequences for those who commit them, their associations with core religious values diverge in the outcome for the folktale characters. Lying that serves a religious mission of either Confucianism or Taoism (but (...) not Buddhism) brings a positive outcome to a character. A violent act committed to serving Buddhist mission results in a happy ending for the committer. (shrink)

Much of the discussion on the normativity of belief rests on the presupposition that there is a single fundamental truth norm governing belief that explains all of its normative features. Building on the committive conception of belief proposed by some normativists, this article takes issue with this presupposition. In particular, it is argued that belief, construed as cognitive commitment, is governed by three fundamental-cum-irreducible norms, which I call the “entitlement norm,” the “fulfillment norm” and the “escapability norm,” and it (...) is shown that each of them concerns a particular normative feature of belief. Taken together, these norms can explain all the normative features of belief without leading to implausible consequences. The discussion also shows that the relationship between the truth norm and the evidence norm is more complicated than is usually conceded by normativists. (shrink)

Much of the discussion on the normativity of belief rests on the presupposition that there is a single fundamental truth norm governing belief that explains all of its normative features. Building on the committive conception of belief proposed by some normativists, this article takes issue with this presupposition. In particular, it is argued that belief, construed as cognitive commitment, is governed by three fundamental-cum-irreducible norms, which I call the “entitlement norm,” the “fulfillment norm” and the “escapability norm,” and it (...) is shown that each of them concerns a particular normative feature of belief. Taken together, these norms can explain all the normative features of belief without leading to implausible consequences. The discussion also shows that the relationship between the truth norm and the evidence norm is more complicated than is usually conceded by normativists. (shrink)

According to the accepted translation-failure interpretation, the problem of incommensurability involves the nature of the meaning-referential relation between scientific languages. The incommensurability thesis is that some competing scientific languages are mutually untranslatable due to the radical variance of meaning or/and reference of the terms they employ. I argue that this interpretation faces many difficulties and cannot give us a tenable, coherent, and integrated notion of incommensurability. It has to be rejected. ;On the basis of two case studies, I find that (...) the confrontations between many classical incommensurable languages are not confrontations between two untranslatable languages with different distribution of truth values, but rather the confrontations between incompatible fundamental presuppositions at the ontological level. We can always identify a truth-value gap between two incommensurable languages. Such a truth-value gap indicates a communication breakdown between the two language communities on the one hand, and is caused by the incompatible fundamental presuppositions underlying them on the other. ;I thereby identify the truth-value functional relationship between sentences, instead of the meaning-referential relationship between terms, as the dominant semantic relation between two incommensurable languages. According to my presuppositional interpretation of incommensurability, the real secret of incommensurability lies in the ontological setup of two competing presuppositional languages. When two presuppositional languages with incompatible factual commitments encounter with each other, the confrontation leads to a truth-value gap, and consequently a communication breakdown between them. Formally put, two scientific languages are incommensurable when core sentences of one language, which have truth values when considered within its own context, lack truth values when considered within the context of the other due to an ontological gap between them. ;The presuppositional interpretation makes many significant contributions to the discussion of the issue of incommensurability and the related metaphysical and epistemological issues: It confirms the existence of the phenomenon of incommensurability and makes it metaphysically and epistemologically significant. It establishes the tenability and integrity of the notion of incommensurability. It avoids many alleged unattractive epistemological and metaphysical consequences of the translation-failure interpretation. (shrink)

Some causal explanations are non-committal in that mention of a property in the explanans conveys information about the causal origin of the explanandum even if the property in question plays no causal role for the explanandum . Programme explanations are a variety of non-committal causal (NCC) explanations. Yet their interest is very limited since, as I will argue in this paper, their range of applicability is in fact quite narrow. However there is at least another variety of NCC explanations, causal (...) orientation explanations, which offer a plausible model for many explanations in the special sciences. (shrink)

The first robot homicide was committed in 1981, according to my files. I have a yellowed clipping dated 12/9/81 from the Philadelphia Inquirer--not the National Enquirer--with the headline: Robot killed repairman, Japan reports The story was an anti-climax: at the Kawasaki Heavy Industries plant in Akashi, a malfunctioning robotic arm pushed a repairman against a gearwheel-milling machine, crushing him to death. The repairman had failed to follow proper instructions for shutting down the arm before entering the workspace. Why, indeed, had (...) this industrial accident in Japan been reported in a Philadelphia newspaper? Every day somewhere in the world a human worker is killed by one machine or another. The difference, of course, was that in the public imagination at least, this was no ordinary machine; this was a robot, a machine that might have a mind, might have evil intentions, might be capable not just of homicide but of murder. (shrink)

We tend to think that philosophical progress, to the extent that it exists, is a good thing. I agree. Even so, it has some surprising unfortunate consequences for the rationality of philosophical belief.

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the (...) rich will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

Brian Cutter objected to the consequence argument due to its dependence on the principle that miracle workers are metaphysically impossible. A miracle worker is someone who has the ability to act in a way such that the laws of nature would be violated. While there is something to the thought that agents like us do not have this ability, Cutter claims that there is no compelling reason to regard miracle workers as metaphysically impossible. However, the paper contends that miracle (...) workers are indeed impossible according to well-known theories concerning the laws of nature. This result highlights the reliance of the consequence argument on a plausible premise, which is widely accepted by proponents of non-Humean views of laws. The paper also provides a way to explain away the intuition that miracle workers are possible, but this has the upshot that a recent, two-dimensional formulation of the consequence argument is unsound. (shrink)

Defends an alternative to danger to self or others as a basis for involuntary treatment. Involuntary hospitalization for treatment should hinge on a patient's competence to refuse treatment.

Recent work in philosophical logic has taken interesting and unexpected turns. It has seen not only a proliferation of logical systems, but new applications of a wide range of different formal theories to philosophical questions. As a result, philosophers have been forced to revisit the nature and foundation of core logical concepts, chief amongst which is the concept of logical consequence. This essay sets the contributions of the volume in context and identifies how they advance important debates within the (...) philosophy of logic. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in (...) the light of supraclassical consequence. (shrink)

We provide a general investigation of Logic in which the notion of a simple consequence relation is taken to be fundamental. Our notion is more general than the usual one since we give up monotonicity and use multisets rather than sets. We use our notion for characterizing several known logics (including Linear Logic and non-monotonic logics) and for a general, semantics-independent classi cation of standard connectives via equations on consequence relations (these include Girard's \multiplicatives" and \additives"). We next (...) investigate the standard methods for uniformly representing consequence relations: Hilbert type, Natural Deduction and Gentzen type. The advantages and disadvantages of using each system and what should be taken as.. (shrink)

From the beginning, the implications of quantum theory for our most general understanding of the world have been a matter of intense debate. Einstein argues that the theory had to be regarded as fundamentally incomplete. Its inability, for example, to predict the exact time of decay of a single radioactive atom had to be due to a failure of the theory and not due to a permanent inability on our part or a fundamental indeterminism in nature itself. In 1964, John (...) Bell derived a theorem which showed that any deterministic theory which preserved locality would have certain consequences for measurements performed at a distance from one another. An experimental check seems to show that these consequences are not, in fact, realized. The correlation between the sets of events is much stronger than any local deterministic theory could allow. What is more, this stronger correlation is precisely that which is predicted by quantum theory. The astonishing result is that local deterministic theories of the classical sort seem to be permanently excluded. Not only can the individual decay not be predicted, but no future theory can ever predict it. The contributors in this volume wrestle with this conclusion. Some welcome it; others leave open a return to at lease some kind of deterministic world, one which must however allow something like action-at-a distance. How much lit it? And how can one avoid violating relativity theory, which excludes action-at-a-distance? How can a clash between the two fundamental theories of modern physics, relativity and quantum theory, be avoided? What are the consequences for the traditional philosophic issue of causality explanation and objectivity? One thing is certain; we can never return to the comfortable Newtonian world where everything that happened was, in principle, predictable and where what happened at one measurement site could not affect another set of measurements being performed light-years away, at a distance that a light-signal could not bridge. Contributors: James T. Cushing, Abner Shimony, N. David Mermin, Jon P. Jarrett, Linda Wessels, Bas C. van Fraassen, Jeremy Butterfield, Michael L. G. Redhead, Henry P. Stapp, Arthur Fine, R. I. G. Hughes, Paul Teller, Don Howard, Henry J. Folse, and Ernan McMullin. (shrink)

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (...) (b) is an inverse to—more precisely, forms a Galois connection with—the Bolzano-Tarski function. (shrink)

Partant du principe que la philosophie de la connaissance de Poincaré est cohérente, j’essaie de faire voir que son conventionnalisme en géométrie et en physique n’est qu’une conséquence de son intuitionnisme. Après avoir rappelé, dans la première section, ce qu’est l’intuitionnisme et décrit ce que l’intuitionnisme de Poincaré a de spécifique, je montre, dans la deuxième section, comment celui-ci retentit sur la conception de l’espace. Dans la troisième section, j’applique les conclusions précédemment établies à la question très controversée de la (...) découverte de la relativité restreinte en renvoyant dos à dos les historiens : il n’a rien manqué à Poincaré pour découvrir la relativité restreinte, car, cette théorie étant incompatible avec son intuitionnisme, il n’avait aucune raison d’y adhérer.Taking for granted that Poincaré’s epistemology is consistent, I attempt to show that his geometrical and physical conventionalism is no more than a consequence of his intuitionism. After having rehearsed the issues defining intuitionism and describing what is particular to Poincaré’s version in the first section of the paper, I show, in the second section, how Poincaré’s intuitionism influenced his conception of space. In the last section, I apply these now established conclusions to a very contested issue, the discovery of the special theory of relativity. Rejecting the view of historians on both sides of the issue, I argue that Poincaré had everything he would have needed to discover the special theory of relativity, but that since this theory is incompatible with his intuitionism, he had no reason to adopt it. (shrink)

According to comparativist theories of quantities, their intrinsic values are not fundamental. Instead, all the quantity facts are grounded in scale-independent relations like "twice as massive as" or "more massive than." I show that this sort of scale independence is best understood as a sort of metaphysical symmetry--a principle about which transformations of the non-fundamental ontology leave the fundamental ontology unchanged. Determinism--a core scientific concept easily formulated in absolutist terms--is more difficult for the comparativist to define. After settling on the (...) most plausible comparativist understanding of determinism, I offer some examples of physical systems that the comparativist must count as indeterministic although the relevant physical theory gives deterministic predictions. Several morals are drawn. In particular: comparativism is metaphysically contingent if true, and it is most natural for a comparativist to accept an at-at theory of motion. (shrink)

One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of natural languages (...) do not determine genuine logical consequence relations. We can get from natural language semantics to logical consequence, but only by a significant process of identification of logical constants, abstraction, and idealization. The chapter also discusses different approaches to the nature of logical consequence, and examines which allow logic and natural language to come closer together. (shrink)

We say that a sentence A is a permissive consequence of a set X of premises whenever, if all the premises of X hold up to some standard, then A holds to some weaker standard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a unified treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, (...) it supports the requisite of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. (shrink)

This paper contains a detailed account of the notion of admissibility in the setting of consequence relations. It is proved that the two notions of admissibility used in the literature coincide, and it provides an extension to multi–conclusion consequence relations that is more general than the one usually encountered in the literature on admissibility. The notion of a rule scheme is introduced to capture rules with side conditions, and it is shown that what is generally understood under the (...) extension of a consequence relation by a rule can be extended naturally to rule schemes, and that such extensions capture the intuitive idea of extending a logic by a rule. (shrink)

The first Philosophers -- Plato -- Aristotle -- Augustine -- Thomas Aquinas -- Rene Descartes -- John Locke -- David Hume -- Immanuel Kant -- Karl Marx -- Soren Kierkegaard -- Fredrich Nietzsche -- Jean-Paul Sartre -- Darwin and Freud.

We generalize the notion ofconsequence relationstandard in abstract treatments of logic to accommodate intuitions ofrelevance. The guiding idea follows theuse criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each beusedin some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining betweenmultisets. We motivate and state basic definitions of relevant (...) class='Hi'>consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). (shrink)

The interactivist model has explored a number of consequences of process metaphysics. These include reversals of some fundamental metaphysical assumptions dominant since the ancient Greeks, and multiple further consequences throughout the metaphysics of the world, minds, and persons. This article surveys some of these consequences, ranging from issues regarding entities and supervenience to the emergence of normative phenomena such as representation, rationality, persons, and ethics.

Preface This volume contains essays written during the period 1972-1980. They are arranged roughly in order of composition. Except for the Introduction, ...

Contrastivists view ought-sentences as expressing comparisons among alternatives. Deontic actualists believe that the value of each alternative in such a comparison is determined by what would actually happen if that alternative were to be the case. One of the arguments that motivates actualism is a challenge to the principle of agglomeration over conjunction—the principle according to which if you ought to run and you ought to jump, then you ought to run and jump. I argue that there is no way (...) of developing the actualist insight into a logic that invalidates the agglomeration principle without also invalidating other desirable patterns of inference. After doing this, I extend the analysis to other contrastive views that challenge agglomeration in the way that the actualist does. This motivates skepticism about the actualist’s way of challenging agglomeration. (shrink)

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly (...) related, and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

Four consequence operators based on hypergraph satisfiability are defined. Their properties are explored and interconnections are displayed. Finally their relation to the case of the Classical Propositional Calculus is shown.

It is widely accepted among medical ethicists that competence is a necessary condition for informed consent. In this view, if a patient is incompetent to make a particular treatment decision, the decision must be based on an advance directive or made by a substitute decision-maker on behalf of the patient. We call this the competence model. According to a recent report of the United Nations (UN) High Commissioner for Human Rights, article 12 of the UN Convention on the Rights of (...) Persons with Disabilities (CRPD) presents a wholesale rejection of the competence model. The High Commissioner here adopts the interpretation of article 12 proposed by the Committee on the Rights of Persons with Disabilities. On this interpretation, CRPD article 12 renders it impermissible to deny persons with mental disabilities the right to make treatment decisions on the basis of impaired decision-making capacity and demands the replacement of all regimes of substitute decision-making by supported decision-making. In this paper, we explicate six adverse consequences of CRPD article 12 for persons with mental disabilities and propose an alternative way forward. The proposed model combines the strengths of the competence model and supported decision-making. (shrink)

This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.

There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and explicate one formal framework for (...) a whole spectrum of consequence relations, flexible enough to be tailored for choices from a variety of contexts. We do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, our infra-classical reasoning demands (beyond ${\alpha\models\beta}$ ) that Mod(β) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(α), and which can be described by a sentence ${\bullet\alpha}$ with ${\beta\models\bullet\alpha}$ . Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies. (shrink)

In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close to a material (...) consequence for that reason, are rejected explicitly as not syllogistic. He also rejects the ‘enthymemes’ unless they are complemented by their missing premise and the superfluous premises which, according to him, should promptly be ruled out. It seems then that the consequence relation in his theory is formal. It can be characterized as being ‘productivity in all matters’ or ‘necessary truth preserving’. It is illustrated by some single premise arguments, and above all by all kinds of syllogisms which, in his theory, are more numerous and various than in Aristotle’s one. The syllogism may contain two or more premises, including disjunctive ones. When it is hypothetical, it may lead to several conclusions. The premises may be in conflict, but then, the conclusion is false. He thus rejects the principle according to which ‘anything follows from a contradiction’. But, unlike what some scholars say, he does not admit any connexive principle. In the compound syllogisms, the conclusion follows by steps, each step taking two premises at once. (shrink)

We characterize all finitary consequence relations over S4.3, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic L extending S4 has projective unification if and only if L contains S4.3. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend (...) the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relations over S4.3 is countable and distributive and it forms a Heyting algebra. (shrink)

Brian Cutter (Analysis 77: 278-287, 2017) argues that one of the most prominent versions of the consequence argument—viz., Peter van Inwagen’s (An Essay on Free Will. Oxford University Press, 1983) ‘Third Formal Argument’—does not support an incompatibility thesis that every paradigmatic compatibilist would reject. Justin Capes (Thought 8: 50-56, 2019) concedes Cutter’s conclusion concerning van Inwagen’s Third Formal Argument and tries to meet the important challenge that Cutter issues at the end of his paper—viz., articulate a promising version of (...) the consequence argument whose conclusion is an incompatibility thesis that every paradigmatic compatibilist would reject. After arguing that Capes’s response to Cutter’s challenge fails, I meet Cutter’s challenge by presenting and discussing a version of the consequence argument that focuses on ordinary human agents in circumstances that are ordinary for human agents. (shrink)

_ Source: _Volume 56, Issue 3-4, pp 201 - 221 This paper summarizes medieval definitions and divisions of consequences and explains the import of the medieval development of the theory of consequence for logic today. It then introduces the various contributions to this special issue of _Vivarium_ on consequences in medieval logic.

_ Source: _Volume 56, Issue 3-4, pp 292 - 319 With William of Ockham and John Buridan, Walter Burley is often listed as one of the most significant logicians of the medieval period. Nevertheless, Burley’s contributions to medieval logic have received notably less attention than those of either Ockham or Buridan. To help rectify this situation, the author here provides a comprehensive examination of Burley’s account of consequences, first recounting Burley’s enumeration, organization, and division of consequences, with particular attention to (...) the shift from natural and accidental to formal and material consequence, and then locating Burley’s contribution to the theory of consequences in the context of fourteenth-century work on the subject, detailing its relation to the earliest treatises on consequences, then to Ockham and Buridan. (shrink)

Chakraborty and Banerjee have introduced a rough consequence logic based on the modal logic S5. This paper shows that rough consequence logics, with many of the same properties, can be based on modal logics as weak as K, with a simpler formulation than that of Chakraborty and Banerjee. Also provided are decision procedures for the rough consequence logics and equivalences and independence relations between various systems S and the rough consequence logics, based on them. It also (...) shows that each logic, based on such an S, is theorem equivalent, but not necessarily equivalent, to the modal logic M-S. The paper also shows that rough consequence logic, which was designed to handle rough equality, is somewhat limited for that purpose. (shrink)