In this paper I present and evaluate van Inwagen’s famous Consequence Argument, as presented in An Essay on Free Will. The grounds for the incompatibility of freewill and determinism, as argued by van Inwagen, is dependent on our actions being logical consequences of events outside of our control. Particularly, his arguments depend upon, in one guise or another, the transference of the modal property of not being possibly rendered false through the logical consequence relation, i.e. the β-principle. I (...) argue that, due to the symmetric nature of determinism, van Inwagen is exposed to what I call “reversibility arguments” in the literature. Such arguments reverse the β-principle and start from our apparent control over our own actions to our control over the initial conditions. Since van Inwagen does not endorse a particular theory of laws or logical consequence, he is open to such counterarguments. The plausibility of such reversibility arguments depends on what would be called a Wittgensteinian conception of logical consequence. In the _Remarks on the Foundation of Mathematics_, one of Wittgenstein’s main concerns is the normativity of logical inference i.e. proof. Such concerns with normativity and rule-following are generally a feature of his later philosophy. In the _Remarks_ Wittgenstein resists a conception of logical deduction which places the source of normativity outside of human practice. (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)

Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

The aim of this article is to outline a pragmatist image of science following Rorty’s discussions and critics of epistemology and to develop some consequences of it in the philosophical analysis and its relations to culture. I will deal with some aspects of how scientific practice is construed and understood, and also outline the shift in Philosophy of Science from epistemological to ethical-political concerns that are implied in his proposal. I will contend that this perspective suggests an interesting way of (...) analysing scientific practices, theories, and public policies of it. Furthermore, I will suggest that it successfully connects the most interesting proposals of contemporary scientific views in philosophy. Finally, I will use some examples in physics and biology to illustrate my assertions. (shrink)

The theme of this paper is Husserl’s concept of experience, through which I hope to show that and how Husserl’s description points the way toward a more adequate account of experience than traditional ones operating within realist-idealist and rationalist-empiricist frameworks.

In the dispute between presentism and eternalism, the affective dimensions of the debate have been somewhat neglected. Contemporary philosophers of time have not tried to relate these ontological positions with two of the most discussed maxims in the history of ethics – “live in the present” vs. “look at your life under the aspect of the eternity” (sub specie aeternitatis)– that since the Hellenistic times have been regarded as strictly connected with them. Consequently, I raise the question of whether the (...) endorsement of one of these two ontological views can make a practical difference in the way we should live. -/- . (shrink)

The Consequence Argument has elicited various responses, ranging from acceptance as obviously right to rejection as obviously problematic in one way or another. Here we wish to focus on one specific response, according to which the Consequence Argument begs the question. This is a serious accusation that has not yet been adequately rebutted, and we aim to remedy that in what follows. We begin by giving a formulation of the Consequence Argument. We also offer some tentative proposals (...) about the nature of begging the question. Although the charge of begging the question is frequently made in philosophy, it is surprisingly difficult to pin down the precise nature of this dialectical infelicity (or family of such infelicities). Thus we offer some new proposals about the nature of begging the question with an eye to understanding what is going on in central cases in which the charge is legitimately made. We then defend the Consequence Argument against the charge that it begs the question, so construed. We contend that, whatever the other liabilities of the argument may be, it does not beg the question against the compatibilist. (shrink)

This elementary 4-page paper is a preliminary survey of some of the most important uses of ‘condition’ and ‘consequence’ in American Philosophy. A more comprehensive treatment is being written. Your suggestions, questions, and objections are welcome. A statement of a conditional need not be a conditional statement and conditional statement need not be a statement of a conditional.

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)

This paper is a discussion note on Isaacs et al. (2022), who have claimed to offer a new motivation for imprecise probabilities, based on the mathematical phenomenon of non-measurability. In this note, I clarify some consequences of their proposal. In particular, I show that if their proposal is applied to a bounded 3-dimensional space, then they have to reject at least one of the following: (i) If A is at most as probable as B and B is at most as (...) probable as C, then A is at most as probable as C. (ii) Let A ∩ C = B ∩ C = ∅. A is at most as probable as B iff (A ∪ C) is at most as probable as (B ∪ C). But rejecting either statement seems unattractive. (shrink)

Incompatibilism about responsibility and determinism is sometimes directly construed as the thesis that if we found out that determinism is true, we would have to give up the reactive attitudes. Call this "the consequence". I argue that this is a mistake: the strict modal thesis does not entail the consequence. First, some incompatibilists (who are also libertarians) may be what we might call *resolute responsibility theorists* (or "flip-floppers"). On this view, if we found out that determinism is true, (...) this would not be to find out that no one is responsible; instead, what this would suggest is that incompatibilism is after all false. Second, some incompatibilists may instead deny the claim that if we found out that no one deserves the reactiveattitudes, we would have to give up the reactive attitudes. Call this position *innocent incompatibilism*. I explore several different reasons why the fact that no one deserves the reactive attitudes likely does not translate into a requirement for us to give up the reactive attitudes. The upshot: incompatibilism may be practically irrelevant, even if true. (shrink)

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)

2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

The purpose of the paper is to determine the state of automotive corporations financial stability and to generalize the consequences of its violation for their activity and the global economy as a whole. Methods. The theoretical and methodological basis of the research is the scientific works in the field of corporate finance management and strategic development that studied analyzing and evaluating the financial stability of corporate companies, maintaining their financial stability in the medium and long term, official statistics data of (...) United Nations Conference on Trade and Development, financial statements of corporations Toyota Motor Corporation (Japan), Mercedes-Benz (Germany) and Tesla Motors (USA), own research results. The methodological basis of the study is a set of general scientific and special methods used to achieve the research goal: theoretical generalization, analysis and synthesis – in studying the content of scientific works on the research of financial stability of corporate companies and maintaining their financial stability; observation – to obtain primary information about the state of the world automotive market; the method of coefficient analysis and typing the situations – to assess the financial stability of automotive corporations; analytical – in determining the economic consequences of financial stability violation of automotive corporations; causation – to obtain final conclusions. Results. This article deals with the development of automotive industry in the world. The financial stability of leading automotive corporations is evaluated. The economic consequences of financial stability violation of automotive corporations are summarized. Financial strategies to improve the financial stability of automotive corporations are proposed. Practical value. The results of the study may be useful to the United Nations Conference on Trade and Development, the financial management of Toyota Motor Corporation, Mercedes-Benz and Tesla Motors. Value / originality – the state of financial stability of automotive corporations is determined and the consequences of its violation for their activity and the world economy as a whole are generalized. Further research should be directed towards the development of project measures to improve the financial stability of automotive corporations in the world. (shrink)

Recently two distinct forms of rule-utilitarianism have been introduced that differ on how to measure the consequences of rules. Brad Hooker advocates fixed-rate rule-utilitarianism, while Michael Ridge advocates variable-rate rule-utilitarianism. I argue that both of these are inferior to a new proposal, optimum-rate rule-utilitarianism. According to optimum-rate rule-utilitarianism, an ideal code is the code whose optimum acceptance level is no lower than that of any alternative code. I then argue that all three forms of rule-utilitarianism fall prey to two fatal (...) problems that leave us without any viable form of rule-utilitarianism. (shrink)

This paper aims to establish several interconnected points. First, a particular interpretation of the mathematical definition of information, known as the causal interpretation, is supported largely by misunderstandings of the engineering context from which it was taken. A better interpretation, which makes the definition and quantification of information relative to the function of its user, is outlined. The first half of the paper is given over to introducing communication theory and its competing interpretations. The second half explores three consequences of (...) the main thesis. First, a popular claim that the quantification of information in a signal is irrelevant for the meaning of that signal is exposed as fallacious. Second, a popular distinction between causal and semantic information is shown to be misleading, and I argue it should be replaced with a related distinction between natural and intentional signs. Finally, I argue that recent empirical work from microbiology and cognitive science drawing on resources of mathematical communication theory is best interpreted by the functional account. Overall, a functional approach is shown to be both theoretically and empirically well-supported. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to (...) non-trivial counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

This paper aims to contribute a design-focused perspective on the ‘alternative paradigm research’ discussion. To clarify the aspect of ‘design-focus’ that we wish to refer to, we will use the term ‘areas of design practice’ to cover those activities that focus on the conception and production of artefacts, in contrast to the activities of theorizing and writing histories. The literature on academic research in areas of design practice encompasses a board range of subjects and terminology -- it refers to the (...) creative and performing arts, the arts, design, etc., however what we take to be common in the literature is an interest in research involving the creation of original artefacts. In this paper, we cluster together the currently academicized, previously vocational areas. -/- We claim that researchers in different disciplines operate in different research paradigms owing to different worldviews. A worldview is determined by a set of foundational beliefs that are taken on faith, and a research paradigm is defined by axioms and assumptions that are a consequence of that worldview. For example, the scientific view of the world is that it exists independently from the individual and the individual’s thoughts about it; and it is possible to find out objective facts about the world by following certain procedures. This worldview conditions a research paradigm with an ontology of a real external world; that methodologically the data that is collected in procedurally appropriate ways will yield objective facts about that world; and that epistemologically the researcher stands in a disengaged relation to the world that is being investigated. The procedures that are regarded as appropriate within a particular research paradigm form the research models that are acceptable in that paradigm, and these research models determine what one should do in order to extend knowledge in a particular subject. Of course, the scientific worldview is not the only one, and this paper will contrast it to the design worldview as indicating the emergence of a unique research paradigm. -/- The relationship between a community’s worldview and the academic models that it adopts may be functional or dysfunctional. We claim that the relationship in the areas of design practice is often dysfunctional. This is because the academic model has not developed authentically in relation to its fundamental beliefs, but has done so in response to external forces for academicization. When pushed into the academy, areas of design practice did not possess their own academic models that were effectively linked to its worldview. We claim that, as a result, these areas simply co-opted research models from other disciplines. -/- The paper proposes a rationalistic approach for investigating the relationship between worldview and research paradigm -- between fundamental beliefs, theoretical concepts and methodology in research models. The rationalistic approach enables a critique, which reveals that there are indeed problematic issues with adopting academic models from other research paradigms in an uncritical way, and concludes that areas of design practice should be investigated as an example of a distinct worldview. (shrink)

Metaethical expressivists claim that we can explain what moral words like ‘wrong’ mean without having to know what they are about – but rather by saying what it is to think that something is wrong – namely, to disapprove of it. Given the close connection between expressivists’ theory of the meaning of moral words and our attitudes of approval and disapproval, expressivists have had a hard time shaking the intuitive charge that theirs is an objectionably subjectivist or mind-dependent view of (...) morality. Expressivism, critics have charged over and again, is committed to the view that what is wrong somehow depends on or at least correlates with the attitudes that we have toward it. Arguments to this effect are sometimes subtle, and sometimes rely on fancy machinery, but they all share a common flaw. They all fail to respect the fundamental idea of expressivism: that ‘stealing is wrong’ bears exactly the same relationship to disapproval of stealing as ‘grass is green’ bears to the belief that grass is green. In this paper I rehearse the motivations for the fundamental idea of expressivism and show how the arguments of Frank Jackson and Philip Pettit [1998], Russ Shafer-Landau [2003], Jussi Suikkanen [2009], and Christopher Peacocke [2004] all fail on this same rock. In part 1 I’ll rehearse the motivation for expressivism – a motivation which directly explains why it does not have subjectivist consequences. Then in each of parts 2-5 I’ll illustrate how each of Jackson and Pettit’s, Peacocke’s, Shafer-Landau’s, and Suikkanen’s arguments work, respectively, and why each of them fails to respect the fundamental parity at the heart of expressivism. Though others have tried before me to explain why expressivism is not committed to any kind of subjectivism or mind-dependence – prominently including Blackburn [1973], [1998], Horgan and Timmons [2006], and, in response to Pettit and Jackson, Dreier [2004] and Smith and Stoljar [2003], the explanation offered in this article is distinguished by its scope and generality.. (shrink)

Michael T. Stuart (2021 and 2022) has proposed imagination as an intellectual dual‐process virtue, consisting of imagination1 (underwritten by cognitive Type 1 processing) and imagination2 (supported by Type 2 processing). This paper investigates the consequences of taking such an account seriously. It proposes that the dual‐process view of imagination allows us to incorporate recent insights from virtue epistemology, providing a fresh perspective on how imagination can be epistemically reliable. The argument centers on the distinction between General Reliability (GR) and Functional (...) System Reliability (FSR), for example in relation to Kengo Miyazono and Uko Tooming's (2023) argument for epistemic generativity. Furthermore, the paper claims that the dual‐process virtue account enables us to integrate a wide range of findings from the literature on epistemology and imagination. Moreover, it suggests a novel way to distinguish the virtues of creativity and imagination and presents a case for viewing imagination as a virtue rather than a skill. (shrink)

Environmental activism is crucial in increasing awareness of environmental degradation and preventing actions that harm the environment. A radical environmentalist movement has emerged within the community of activists. They advocate using illegal measures to attain their goals. This paper discusses these radical environmentalist groups’ motivations, their actions and their consequences. Activities that many consider unacceptable, such as art vandalism and road blockades, may result in adverse outcomes and diminish public support for environmental endeavors. We propose an alternative solidarity approach whereby (...) activists focus their efforts on disseminating information to the general public on climate change and other environmental issues, advocating for the adoption of eco-surplus culture, and fostering cooperation among governments, businesses, and individuals to develop effective solutions. (shrink)

The consequence argument of van Inwagen is widely regarded as the best argument for incompatibilism. Lewis’s response is praised by van Inwagen as the best compatibilist’s strategy but Lewis himself acknowledges that his strategy resembles that of Lehrer. A comparison will show that one can speak about Lehrer-Lewis strategy, although I think that Lewis’s variation is dialectically slightly stronger. The paper provides a response to some standard objections of incompatibilists to the Lehrer-Lewis reply.

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that (...) such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

Recent work in the truthmakers literature demonstrates that the logic of truthmaking is distinct from classical logic. Since free will is an ontological issue, and not merely a semantic issue, arguments about free will ought to be sensitive to these developments. In Truthmakers and the Direct Argument, Hermes argues that one of the main arguments for incompatibiilsm fails precisely where the truthmakers literature would predict. Here, I argue that similar problems make the Consequence Argument untenable.

The consequence argument is a powerful incompatibilist argument for the conclusion that, if determinism is true, what one does is what one must do. A major point of controversy between classical compatibilists and incompatibilists has been over the use of ‘can’ in the consequence argument. Classical compatibilists, holding that abilities to act are dispositions, have argued that ‘can’ should be analyzed as a conditional. But such an analysis of ‘can’ puts compatibilists in a position to grant the premises (...) of the argument while denying the conclusion. Incompatibilists remain unconvinced, and this corner of the debate over free will has reached a dialectical impasse. The present paper has two aims. First, to offer a new dialectical point of entry into this dispute on behalf of incompatibilists. By making use of Angelika Kratzer's influential semantic work on ‘can’ and ‘must’, I argue that incompatibilists are in a position to offer a plausible, positive treatment of ‘can’ that favors their view. Second, even if one does not think incompatibilism is thereby true (for as we shall see there are places to push back), the Kratzer semantics yields a number of important insights concerning the consequence argument that should be of broad interest. (shrink)

As a moral foundation for vegetarianism and other consumer choices, act consequentialism can be appealing. When we justify our consumer and dietary choices this way, however, we face the problem that our individual actions rarely actually precipitate more just agricultural and economic practices. This threshold or individual impotence problem engaged by consequentialist vegetarians and their critics extends to morally motivated consumer decision-making more generally, anywhere a lag persists between individual moral actions taken and systemic moral progress made. Regan and others (...) press just this point against Singer's utilitarian basis for vegetarianism; recently Chartier criticizes act-consequentialist vegetarianism by identifying many factors weakening the connection between individual meat purchases and changes in animal production. While such factors are relevant to act-consequentialist moral reasoning, I argue, they need not defeat the act-consequentialist case for vegetarianism and consumer ethics. This is shown by offering a probabilistic account of the threshold issue and discussing the positive and negative role-modelling effects of our morally motivated dietary and consumer choices. (shrink)

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...) but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

Alex Worsnip argues in favor of what he describes as a particularly robust version of fallibilism: subjects can sometimes know things that are, for them, possibly false (in the epistemic sense of 'possible'). My aim in this paper is to show that Worsnip’s argument is inconclusive for a surprising reason: the existence of possibly false knowledge turns on how we ought to model entailment or consequence relations among sentences in natural language. Since it is an open question how we (...) ought to think about consequence in natural language, it is an open question whether there is possibly false knowledge. I close with some reflections on the relation between possibly false knowledge and fallibilism. I argue that there is no straightforward way to use linguistic data about natural language epistemic modals to either verify or refute the fallibilist thesis. (shrink)

The essential role of language in rational cognition is analysed. The approach is functional: only the results of the connection between language, reality, and thinking are considered. Scientific language is analysed as an extension and improvement of everyday language. The analysis gives a uniform view of language and rational cognition. The consequences for the nature of ontology, truth, logic, thinking, scientific theories, and mathematics are derived.

Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be normative systems that allow conflicting obligations. Surprisingly, however, little direct attention has been paid to questions about how we may reason with conflicting obligations. In this paper, I present a problem for making sense of reasoning with conflicting obligations and argue that no deontic logic can solve this problem. I then develop an account of reasoning based on the popular idea in ethics that reasons (...) explain obligations and show that it solves this problem. (shrink)

G. E. Moore’s critical analysis of right action in utilitarian ethics and his consequentialist concept of right action is a starting point for a theory of moral/right action in ethics of social consequences. The terms right and wrong have different meanings in these theories. The author explores different aspects of right and wrong actions in ethics of social consequences and compares them with Moore’s ideas. He positively evaluates Moore’s contributions to the development his theory of moral/right action.

This chapter examines a common objection to sex robots: the symbolic-consequences argument. According to this argument sex robots are problematic because they symbolise something disturbing about our attitude to sex-related norms such as consent and the status of our sex partners, and because of the potential consequences of this symbolism. After formalising this objection and considering several real-world uses of it, the chapter subjects it to critical scrutiny. It argues that while there are grounds for thinking that sex robots could (...) symbolically represent a troubling attitude toward women (and maybe children) and the norms of interpersonal sexual relationships, the troubling symbolism is going to be removable in many instances and reformable in others. What will ultimately matter are the consequences of the symbolism but these consequences are likely to be difficult to ascertain. This may warrant an explicitly experimental approach to the development of this technology. (shrink)

We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.

Decisions in medical contexts have immediate and obvious consequences in terms of health and sometimes death or survival. Medical decisions also have less obvious and less immediate consequences, including effects on the long-term physical and mental well-being of patients, their families and of care-givers, as well as on the distribution of scarce medical resources. Some of these consequences are hard to measure and estimate. Even harder, perhaps, is the determination of the relative value of different consequences. How should consequences be (...) evaluated? How do uncertainties and biases affect our evaluations of consequences? What influence should our evaluations of consequences have on our actions? These questions are all philosophical in nature. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

The Consequence Argument is the classic argument for the incompatibility of determinism and our ability to do otherwise. Daniel C. Dennett objects that the Consequence Argument suffers from the same error as a clearly unconvincing argument that there are no mammals. In this paper, I argue that these arguments do not suffer from the same error. The argument that there are no mammals is unconvincing as it takes the form of a sorites, whereas the Consequence Argument does (...) not. Accordingly, Dennett's objection misses its mark. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been (...) criticized for using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.

In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

In “Bayesianism, Infinite Decisions, and Binding”, Arntzenius et al. (Mind 113:251–283, 2004 ) present cases in which agents who cannot bind themselves are driven by standard decision theory to choose sequences of actions with disastrous consequences. They defend standard decision theory by arguing that if a decision rule leads agents to disaster only when they cannot bind themselves, this should not be taken to be a mark against the decision rule. I show that this claim has surprising implications for a (...) number of other debates in decision theory. I then assess the plausibility of this claim, and suggest that it should be rejected. (shrink)

Bilateralists, who accept that there are two primitive speech acts, assertion and denial, can offer an attractive definition of consequence: Y follows from X if and only if it is incoherent to assert all formulas X and to deny all formulas Y. The present paper argues that this definition has consequences many will find problematic, amongst them that truth coincides with assertibility. Philosophers who reject these consequences should therefore reject this definition of consequence.

The importance of addressing the existential threat to humanity, climate change, has grown remarkedly in recent years while conflicting views and interests in societies exist. Therefore, climate change agendas have been weaponized to varying degrees, ranging from the international level between countries to the domestic level among political parties. In such contexts, climate change agendas are predominantly driven by political or economic ambitions, sometimes unconnected to concerns for environmental sustainability. Consequently, it can result in an environment that fosters antagonism and (...) disputes over power and position and increases the risk of prolonged confrontations, hindering the collective global efforts to mitigate and adapt to climate change. Through the current discourse, we aim to provide a preliminary definition of the weaponization of climate change and environmental degradation and examine its risks and consequences on international relations, political dynamics, public perception, and the comprehensive integrity of climate action. We also recommend embracing a globally coordinated, scientifically substantiated approach to circumvent climate change by building an eco-surplus cultural value system. (shrink)

An interesting question is whether deflationism about truth (and falsity) extends to related properties and relations on truthbearers. Lionel Shapiro (2011) answers affirmatively by arguing that a certain deflationism about truth is as plausible as an analogous version of deflationism about logical consequence. I argue that the argument fails on two counts. First, it trivializes to any relation between truthbearers, including substantive ones; in other words, his argument can be used to establish that deflationism about truth is as plausible (...) as deflationism about an arbitrary sentential relation. Second, the alleged analogy between the arguments for deflationism about truth and deflationism about consequence fails. Along the way I consider what implications the failure of the equiplausibility thesis has for deflationism about falsity. (shrink)

This paper provides an analysis of the way in which two foundational principles of medical ethics–the trusted doctor and patient autonomy–can be undermined by the use of machine learning (ML) algorithms and addresses its legal significance. This paper can be a guide to both health care providers and other stakeholders about how to anticipate and in some cases mitigate ethical conflicts caused by the use of ML in healthcare. It can also be read as a road map as to what (...) needs to be done to achieve an acceptable level of explainability in an ML algorithm when it is used in a healthcare context. (shrink)

In this case discussion, Barnhill and Devine collect and present a significant amount of recent research on the various reasons why people struggle to succeed in weight loss programmes. Specifically, the authors focus on what they call ‘behavioural weight loss interventions’, which are ‘research, clinical or public health efforts to promote individual healthy eating and physical activity behaviours’. As defined, this is a very broad category of interventions and presumably includes all kinds of dieting and weight loss programmes or promotion (...) efforts short of private or independently chosen programmes. The authors argue, in a nutshell, that these clinical, research, and public health interventions have low efficacy, and while they may have some health or other benefits, the balance of evidence presented shows that they harm people in multiple ways. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...) of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)