Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative (...) conditional as a context-sensitive strict conditional: true if and only if its consequent is true in each of a contextually determined set of situations in which its antecedent is true. Pragmatically, the theory claims that context changes in response to new assertions, including new conditional premises. Thus, the conclusion of a modus ponens argument may no longer be accepted in the changed context. Psychologically, the theory describes people as capable of reasoning about broad classes of possible situations, ordered by typicality, without having to reason about individual possible worlds. The theory accounts for the main suppression phenomena, and it generates some novel predictions that new experiments confirm. (shrink)

This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can't go wrong in applying hypothetical syllogism (i.e., transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for (...) the conclusion is a subset of that for the premise. These results are then adapted to Lewis's theory of counterfactuals. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account (...) of validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

According to Paul Boghossian and others, inference is subject to the taking condition: it necessarily involves the thinker taking his premises to support his conclusion, and drawing the conclusion because of that fact. Boghossian argues that this condition vindicates the idea that inference is an expression of agency, and that it has several other important implications too. However, we argue in this paper that the taking condition should be rejected. The condition gives rise to several serious prima facie problems and (...) the reasons which have been offered in favour of it fail to convince. (shrink)

Expressing a widely-held view, David Hitchcock claims that "an enthymematic argument ... assumes at least the truth of the argument's associated conditional ... whose antecedent is the conjunction of the argument's explicit premises and whose consequent is the argument's conclusion." But even definitionally, this view is problematic, since an argument's being "enthymematic" or incomplete with respect to its explicit premises means that the conclusion is not implied by these premises alone. The paper attempts to specify the ways in which the (...) view is incorrect, as well as seemingly correct (e.g., the case of a Modus Ponens wherein the major premise is implicit). -/- . (shrink)

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of (...) class='Hi'>conditionals—as well as certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

What is involved in making an inference? This chapter argues against what Paul Boghossian calls the Taking Condition: "Inferring necessarily involves the thinker taking his premises to support his conclusion and drawing his conclusion because of that fact" (2014: 5). I won’t argue that the Taking Condition is incoherent: that nothing can coherently play the role that takings are supposed to play in inference. Instead, I’ll argue that it cannot plausibly explain all the inferential knowledge that we ordinarily take ourselves (...) to have. Moreover, I’ll argue that we don’t need it to understand the nature of inference. (shrink)

It is commonly accepted that unconditional statements are clearer and less problematic than conditional ones. This article challenges this belief by proposing that all unconditional statements can be reduced to conditional ones since epistemic justification is inherently conditional in nature. The distinction between unconditional and conditional statements is similar to the distinction between assumptions and premises, which is an idealization that results from our attempts to limit epistemic complexity. This has perplexing consequences: (1) since any ordinary statement can be viewed (...) as a disguised conditional, this sets off a chain of epistemic regress that results in a larger conditional that encompasses our entire belief systems; (2) this monster conditional can’t never be justified since it always expands in the process of justification; (3) since there is no such thing as unconditional statements, conditionals themselves become meaningless, which implies that arguments and even entire belief systems become meaningless as well; (4) the only way to avoid these disastrous results is to admit that the meaning of conditionals and, ultimately, of our belief systems is a matter of convention. (shrink)

Adam Rieger (2013) has carried out a survey of arguments in favour of the material account of indicative conditionals. These arguments involve simple and direct demonstrations of the material account. I extend the survey with new arguments and clarify the logical connections among them. I also show that the main counter-examples against these arguments are not successful either because their premises are just as counter-intuitive as the conclusions, or because they depend on contextual fallacies. The conclusion is that the (...) unpopularity of the material account is unjustified and that a more systematic approach in the analysis of arguments is long overdue in our attempts to understand the nature of conditionals. (shrink)

It is generally agreed that constructions of the form “if P, Q” are capable of conveying a number of different relations between antecedent and consequent, with pragmatics playing a central role in determining these relations. Controversy concerns what the conventional contribution of the if-clause is, how it constrains the pragmatic processes, and what those processes are. In this essay, I begin to argue that the conventional contribution of if-clauses to semantics is exhausted by the fact that these clauses introduce a (...) proposition without presenting it as true so that the consequent can be understood in relation to it. Given our cognitive interests in such non-truth-presentational introductions, conditionals will make salient the wide but nevertheless disciplined variety of contents that we naturally attribute to them; no further substantial constraints of the sorts proposed by standard theories of conditionals are needed to explain the phenomena. If this is correct, it provides prima facie evidence for a radically contextualist account of conditionals according to which conditionals have no truth-evaluable or intuitively complete content absent some contextually provided, sufficiently salient relation between antecedent and consequent. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key (...) passage is Prior Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

The aim of this paper is to show that for Kant, a combination of epigenesis and monogenesis is the condition of possibility of anthropology as he conceives of it and that moreover, this has crucial implications for the biological dimension of his account of human nature. More precisely, I begin by arguing that Kant’s conception of mankind as a natural species is based on two premises: firstly the biological unity of the human species (monogenesis of the human races); and secondly (...) the existence of ‘seeds’ which may or may not develop depending on the environment (epigenesis of human natural predispositions). I then turn to Kant’s account of man’s natural predispositions and show that far from being limited to the issue of races, it encompasses unexpected human features such as gender, temperaments and nations. These predispositions, I argue, are means to the realisation of Nature’s overall purpose for the human species. This allows me to conclude that man’s biological determinism leads to the species’ preservation, cultivation and civilisation. (shrink)

Although many libertarians share similar moral foundations, they disagree about whether the state can be justified. The most famous libertarian attempt to justify the state is that of Robert Nozick. This attempt has been criticized by, among others, the libertarian anarchist Murray Rothbard. In this article, Nozick’s theory and Rothbard’s critique are discussed, as well as some other attempts to justify the state from libertarian premises. Keeping the criticisms of those theories in mind, an alternative theory, which attempts to bypass (...) the criticisms, is put forward. This alternative theory explains how a state—most probably a nonminimal democratic state—can legitimately be formed in a condition of anarchy without violating anyone’s libertarian rights. One result of this is that the rights-based case for minarchism is severely weakened. (shrink)

The premise that it is logically necessary for a necessary condition of value to be valuable is sometimes used in metaethics in support of the claim that agency, or some constitutive condition of agency or action, has value for all agents. I focus on the most recent application of this premise by Caroline T. Arruda and argue that the premise is false. Despite this defect the relevant evaluative step could still work just in case of agency if (...) an additional condition were satisfied. (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations (...) and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The (...) validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we use (...) the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) is focused on rather (...) than in inferencing (reasoning). It is shown that some ‘paradoxes of material implication’ are due to inconsistent premises of deductions introduced by semantic relations between clauses constituting the premises, a fact which does not invalidate the approach. Other ‘paradoxes’ are shown to arise because they are based on uninformative deductions, violating a basic pragmatic principle. In addition, the paper introduces the distinction between the set of possible states of a mental model of the actual world and of alternative worlds. It is argued that material implication determines the denotation of an indicative conditional as a subset of the former set and the denotation of a subjunctive conditional as a subset of the latter set, thus unifying these two types of conditionals. (shrink)

According to various “harm-based” approaches to the non-identity problem, an action that brings a particular child into existence can also harm that child, even if his or her life is worth living. In the third chapter of The Non-Identity Problem and the Ethics of Future People, David Boonin surveys a variety of harm-based approaches and argues that none of them are successful. In this paper I argue that his objections to these various approaches do not impugn a harm-based approach that (...) Boonin does not consider, an approach I call the “existence solution to the non-identity problem.” I also argue that the existence solution is more plausible than Boonin’s own proposed solution. (shrink)

Gilabert argues that the humanist conception of duties of global justice and the principle of cosmopolitan justifiability will lead us to accept an egalitarian definition of individual autonomy. Gilabert further argues that realizing conditions of individual autonomy can serve as the cut-off point to duties of global justice. I investigate his idea of autonomy, arguing that in order to make sense of this claim, we need a concept of autonomy. I propose 4 possible definitions of autonomy, none of which seem (...) to necessitate Gilabert’s duties of egalitarian global justice. Instead, I propose that he may have in mind Autonomy 5, which requires that individuals have access to a maximum number of options and not simply a sufficient range of options to choose from. I criticize this premise as too demanding in the global world characterized by fundamental inequality. Second, I argue that if we were to endorse the preconditions for Autonomy 5, we would have to accept that Gilabert’s theory of global justice doesn’t provide for a cut-off point of duties of global justice. (shrink)

I show that in our theoretical representations of argument, vicious infinite regresses of self-reference may arise with respect to each of the three usual, informal criteria of argument cogency: the premises are to be relevant, sufficient, and acceptable. They arise needlessly, by confusing a cogency criterion with argument content. The three types of regress all are structurally similar to Lewis Carroll’s famous regress, which involves quantitative extravagance with no explanatory power. Most attention is devoted to the sufficiency criterion, including its (...) relation to the view au courant that inferring necessarily involves the thinker taking her premises to support her conclusion. I contend that this view is mistaken and likewise that arguments make no such assumption or inference claim as that the premises support the conclusion. The core of the positive alternative model I propose is that there is commitment to, but not claiming, the proposition that the premises support the conclusion. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

I argue against the skeptical epistemological view exemplified by the Groarkes that “all theories of informal argument must face the regress problem.” It is true that in our theoretical representations of reasoning, infinite regresses of self-justification regularly and inadvertently arise with respect to each of the RSA criteria for argument cogency (the premises are to be relevant, sufficient, and acceptable). But they arise needlessly, by confusing an RSA criterion with argument content, usually premise material.

Although in some contexts the notions of an ordinary argument’s presumption, assumption, and presupposition appear to merge into the one concept of an implicit premise, there are important differences between these three notions. It is argued that assumption and presupposition, but not presumption, are basic logical notions. A presupposition of an argument is best understood as pertaining to a propositional element (a premise or the conclusion) e of the argument, such that the presupposition is a necessary condition for (...) the truth of e or for a term in e to have a referent. In contrast, an assumption of an argument pertains to the argument as a whole in that it is integral to the reasoning or inferential structure of the argument. A logical assumption of an argument is essentially a proposition that must be true in order for the argument aside from that proposition to be fully cogent. Nothing that is both comparable and distinguishing can be said about presumptions of arguments. Rather, presumptions of arguments are distinctively conventional; they are introduced through conventional rules (e.g., those that concern how to treat promises). So not all assumptions and not all presuppositions of arguments are presumptions of those arguments, although all presumptions of arguments are either assumptions or presuppositions of those arguments. This account avoids making the (monological) notion of presumption vacuous and dissolving the distinction between assumption and presumption, which is a vulnerability of alternative views such as Hansen’s and Bermejo-Luque’s, as is shown. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts (...) directly with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Epistemic modals in consequent place of indicative conditionals give rise to apparent counterexamples to Modus Ponens and Modus Tollens. Familiar assumptions of fa- miliar truth conditional theories of modality facilitate a prima facie explanation—viz., that the target cases harbor epistemic modal equivocations. However, these explana- tions go too far. For they foster other predictions of equivocation in places where in fact there are no equivocations. It is argued here that the key to the solution is to drop the assumption (...) that modal claims are inherently relational (i.e., that they ex- press a logical relation between a prejacent and a premise-set) in favor of a view that treats them as inherently quantificational. In particular it is suggested that modals are mass noun descriptions of information. We demonstrate how this approach unlocks the equivocation problem. (shrink)

The paper argues for a version of the Guise of the Good thesis, namely the claim that if someone acts as the result of practical reasoning, then she takes her premises to jointly provide a sufficient and undefeated reason for her action. I argue for this by showing, first, that it is an application of Boghossian's Taking Condition on inference to practical reasoning and, second, that the motivations for the Taking Condition for theoretical reasoning carry over to practical reasoning. I (...) end by arguing that this version of the Guise of the Good withstands standard objections. (shrink)

Brogaard and Salerno (2008) argued that counter-examples to contraposition, strengthening the antecedent, and hypothetical syllogism involving subjunctive conditionals only seem to work because they involve a contextual fallacy where the context assumed in the premise(s) is illicitly shifted in the conclusion. To avoid such counter-examples they have proposed that the context must remain fixed when evaluating an argument for validity. That is the Brogaard-Salerno Stricture. Tristan Haze (2016), however, has recently objected that intuitively valid argumentative forms such as (...) conjunction introduction do not satisfy this constraint. This paper has two goals. First, it argues that the Brogaard-Salerno Stricture is not violated in Haze’s putative counter-example. Second, it argues that since this stricture blocks the usual counter-examples to instances of classical argumentative forms that involve indicative or subjunctive conditionals, it is reasonable to infer that indicative and subjunctive conditionals are material. (shrink)

There is a felt difference between following an argument to its conclusion and keeping up with an argument in your judgments while failing to see how its conclusion follows from its premises. In the first case there’s what I’m calling an inferential seeming, in the second case there isn’t. Inferential seemings exhibit a cluster of functional and normative characteristics whose integration in one mental state is puzzling. Several recent accounts of inferring suggest inferential seemings play a significant role in the (...) process, but none provides a fully satisfactory understanding of inferential seemings themselves. In this paper I critically examine theoretical options on offer in the existing literature, then develop an alternative view. I discuss implications for recent debates about general principles governing inference, such as Fumerton’s Principle of Inferential Justification and Boghossian’s Taking Condition. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates the (...) epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

This paper offers an original argument for a Humean thesis about promising that generalises to the domain of normative powers. The Humean ‘natural unintelligibility’ thesis – prominently endorsed by Rawls, Hart, and Anscombe, and roundly rejected or forgotten by contemporary writers (conventionalists and non – conventionalists alike) – holds that a rational, suitably informed agent cannot so much as make a promise (much less a morally-binding promise) without exploiting conventional norms that confer promissory significance on act types (e.g., signing on (...) the dotted line) that would not otherwise have such significance. The argument (like Hume’s) is action-theoretic in character; its central premise is the Contribution Condition on acting with an aim: roughly, that doing X in order to (bring about) Y requires that the agent believe that their having X-ed on the occasion might come to fully or partly account for Y’s coming to pass. The argument generalises to the broader domain of exercises of normative powers, i.e., to acts that modify normative properties by ‘fiat’ or ‘stipulation’. This stipulative act has been characterised in three different ways, each of which is given due consideration. Finally, two different ways of accommodating the ‘natural unintelligibility’ thesis are considered, as is the thesis’s normative significance. (shrink)

Freedom is often defined by the possibility of doing otherwise. The conditional interpretation of this possibility, advanced by Moore, maintains that to say that someone could have done otherwise is to say that someone would have done otherwise if she had decided to do so. This conception is adequate for the thesis that freedom is compatible with natural causality. The present article presents a defense of this interpretation against the argument with which Lehrer purports to have refuted it. As used (...) in ordinary language, one of the conditionals of the argument has a different sense from that captured in Lehrer’s formalization. In a context that includes the premise that the subject would do otherwise if she decided to do so, the assertion that she could do otherwise only if she decided to do so acquires the meaning that she would do otherwise only if she decided to do so. Without this interpretation, the meaning of ‘can’ in the argument is different from its meaning in ordinary language, since the possibility of doing otherwise would imply really doing otherwise. Abstract in Portuguese: A liberdade é freqüentemente definida pela possibilidade de agir diferentemente. A interpretação condicional dessa possibilidade, proposta por Moore, sustenta que dizer que alguém poderia ter agido diferentemente é dizer que alguém teria agido diferentemente, se assim tivesse decidido. Esta concepção é adequada à tese da compatibilidade entre liberdade e causalidade natural. O presente artigo apresenta uma defesa dessa interpretação contra o argumento com que Lehrer pretendeu contestá-la. Tal como usado na linguagem corrente, um dos condicionais do argumento tem sentido diverso daquele capturado na formalização de Lehrer. No contexto que inclui a premissa de que o sujeito agiria diferentemente se assim decidisse, a afirmaçãode que ele só poderia agir diferentemente se assim decidisse tem o sentido de que ele só agiria diferentemente se assim decidisse. Sem essa reinterpretação, o sentido de ‘poder’, no argumento, distancia-se da linguagem corrente, pois, no caso, poder agir diferentemente implicaria em assim efetivamente agir. (shrink)

Moral error theory of the kind defended by J. L. Mackie and Richard Joyce is premised on two claims: (1) that moral judgements essentially presuppose that moral value has absolute authority, and (2) that this presupposition is false, because nothing has absolute authority. This paper accepts (2) but rejects (1). It is argued first that (1) is not the best explanation of the evidence from moral practice, and second that even if it were, the error theory would still be mistaken, (...) because the assumption does not contaminate the meaning or truth-conditions of moral claims. These are determined by the essential application conditions for moral concepts, which are relational rather than absolute. An analogy is drawn between moral judgements and motion judgements. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

In this paper I would like to offer a new framework for hypothetical reasoning, with the goal of predicting what scenarios we consider when we interpret a conditional or causal claim (such as a sentence containing the word ‘because‘). The idea is that when we interpret a conditional or causal claim, we identify a part of the world to change and imagine changing that. Sentences are about parts of the world: when we interpret a conditional antecedent or because clause, we (...) allow the part of the world it is about to vary. -/- My main evidence for this approach is that it gives just the right range of hypothetical scenarios to account for how we interpret both conditionals and causal claims. Some approaches (such as Stalnaker and Lewis’s semantics of conditionals based on similarity, and Kratzer’s premise semantics) consider too few scenarios, while others (such as Fine’s truthmaker semantics of conditionals) consider too many. The present approach inhabits a Goldilocks zone between these extremes: not too restrictive, not too permissive, but just right. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...) possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Abstract: The article presents and critically discusses Walton's (and Reed's and Macagno's) argument scheme approach to a theory of good argumentation. In particular, four characteristics of Walton's approach are presented: 1. It presents normative requirements for argumentation in the form of argument schemes, i.e. relatively concrete type descriptions. 2. These schemata are enthymematic, i.e. they omit some of the premises required by other approaches. 3. The actual argument schemes are usually supplemented by critical questions. 4. The method is inductive, bottom-up, (...) gaining the normative schemata by abstraction from empirically collected groups of similar arguments. These characteristics, among others, are then discussed on the basis of four adequacy conditions: AC1: effectiveness in achieving the epistemic goal of obtaining and communicating justified acceptable opinions; AC2: completeness in capturing the good argument types; AC3: efficiency in achieving the goals; AC4: justification of the argument schemes. The discussion then reveals a number of weaknesses in Walton's argument schemes; among other things, they are neither effective (in the defined sense) nor truly justified. Contributing factors to these problems include the schema approach, i.e. not looking at the form of arguments, and the lack of epistemological foundations in the development of good types of arguments. However, the critical analyses reveal a better alternative: an epistemological approach based on epistemological principles. The article concludes with a detailed analysis of the scheme Practical Inference, which confirms the general criticism in detail. (shrink)

The paper is a partly provocative essay edited as a humanitarian study in philosophy of science and social philosophy, reflecting on the practical, “anti-metaphysical” turn taken place since the 20th century and continuing until now. The article advocates that it is about time it to be overcome because it is the main obstacle for the further development of exact and natural sciences including mathematics therefore restoring the unity of philosophy and sciences in the dawn of modern science when the great (...) scientists were philosophers as a necessary condition for their revolutionary achievements, and the physicists were simultaneously mathematicians not less than philosophers and even theologians as Descartes, Newton, Leibnitz were just as their predecessors, Copernicus or Galileo Galilei. The revolution in science accomplished by them needed philosophy since any scientific revolution, then necessarily growing into social, needs philosophy; and if ones wish to prevent social revolutions originating from fundamental scientific discoveries, in turn relying on the close link of sciences and philosophy, they are to cut the link at issue, and just that happened in the 20th centuries therefore implicitly heralding a “brave new world” of eternal normal science without revolutions whether scientific or social. Fukuyama’s “end of history” requires an “end of scientific history” as it is an obligatory premise, and separating sciences from philosophy is sufficient for that, though proclaimed quite otherwise: as overcoming metaphysics preventing sciences and substituting them by quasi-sciences. Particularly, that “anti-metaphysical turn” has established for science to obey society absolutely and thoroughly, obviously a condition contradicting the scientific and social revolutions in Modernity featured by the domination of science over society by the mediation of philosophy able to translate all epochal scientific discoveries as social corollaries. A special attention is paid to quantum mechanics, being the frontier of physics in the 20th century, where that anti-metaphysical turn is discernibly concentrated and may be notated by the famous slogan “Shut up and calculate!” regardless of its authorship. Just the revolutionary discoveries in physics, for example those of “dark mass” and “dark energy” or entanglement force now its rejection therefore restoring the unity of philosophy, mathematics and physics, made ever possible the establishment of modern science by its emancipation from religion, and thus and ind final analysis, from society. (shrink)

This paper offers a conditional defence of a minimalist theory of appropriation. The conclusion of its main argument is that, if people do enjoy a natural right to appropriate unappropriated resources, then that right is best understood as a derivative right that stems from a more fundamental natural right to self-preservation. If this conclusion is correct, then insofar as people have a natural right to appropriation, it is much more limited than it is usually assumed, as the minimalist theory places (...) very stringent restrictions on both the amount of unappropriated resources each person has a right to appropriate and the use they can make of those appropriated resources. The conclusion of my argument can be either used as a premise in a modus tollens argument to be used against natural-right theories of property rights or as a premise in a modus ponens argument in favour of a broadly left-libertarian theory. (shrink)

This paper argues that a necessary condition on inferential knowledge is that one knows all the propositions that knowledge depends on. That is, I will argue in support of a principle I call the Knowledge from Knowledge principle: (KFK) S knows that p via inference or reasoning only if S knows all the propositions on which p depends. KFK meshes well with the natural idea that (at least with respect to deductively valid or induc- tively strong arguments) the epistemic status (...) of one’s belief in the conclusion of an argument is a function of the epistemic status of the attitudes one has to the premises of that argument. One gets what one puts in: S’s belief in the conclusion C of an argument A has epistemic status E for S only if S’s belief in each of the premises C depends on also has epistemic status E.1 This is compatible, of course, with the epistemic status of S’s conclusion being greater than the epistemic status of the premises on which the conclusion of her reasoning depends. Furthermore, even though KFK applies more straightforwardly to non-suppositional inferences, we can also plausibly apply the principle to sup- positional reasoning if we treat S’s assuming for the sake of argument that p,2 as S assuming for the sake of argument that she knows that p.3 Although extremely plausible, philosophers have failed to present a concerted case in support of KFK. Most of their energy goes to articulating and/or defending some form of closure principle for knowledge.4 What is more, recently versions of this principle have been dismissed as problematic but I think without the reasons in its support been fully appreciated. This paper is an e fort to change the current state of affairs. Its focus is positive, however: my goal is to make the best case I can in support of KFK.5 To that end, the paper presents the reasons we have to accept KFK (§1), consid- ers an objection to the principle (§2), and situates the principle in the broader normative context of knowledge norms (§3). (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of (...) deduction that Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

Moral fundamentalism is the habit of acting as though one has access to the exclusively right way to diagnose problems, along with the single approvable practical solution to any particular problem. This approach causes us to oversimplify situations, neglect broader context, take refuge in dogmatic absolutes, ignore possibilities for finding common ground, assume privileged access to the right way to proceed, and shut off honest inquiry. In this way, moral fundamentalism-exacerbated by social media silos-also makes the worst of native impulses (...) toward social bonding and antagonism. This makes it impossible to debate and achieve superordinate social goals, such as public health, justice, security, sustainability, peace, and democracy. Drawing from John Dewey's pluralistic and pragmatic approach to philosophical questions, Steven Fesmire develops an alternative to both the oversimplification of moral fundamentalism and the arbitrariness of relativism. His pragmatic pluralism is set up as a response to particular conditions and consequences, so it gains practical leverage with complex ethical, political, educational, and policy problems without flattening variability among values or presuming that abstract theories can determine what we ought to do. He argues that the reductive monistic premise that logically underlies moral fundamentalism is both unwarranted and constrictive, and there is little to be said in favor of the grand philosophical quest for a unifying principle that cannot be accommodated within a wider pluralistic approach. In a concrete and engaging style, Fesmire clarifies and illustrates the promises and challenges of democratic decision-making in societies struggling to grow beyond moral fundamentalism. (shrink)

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being mentioned as the (...) class='Hi'>premise and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a (...) proposition she accepts because she doesn’t know what are the truth-values of its propositional contents. This tension motivates counterexamples to the negation of conditionals, the propositional analysis of conditionals, hypothetical syllogism, contraposition and or-to-if. It is argued that these counterexamples are non-starters because they rely on a mix of intensionally based premises and extensionally based conclusions. Instead, a genuine counterexample to classical argumentative forms should present circumstances where an intuitively true and extensionally based premise leads to an intuitively false conclusion that is also extensionally based. The other point is that evidentiary concerns about intensionally based beliefs should be constrained by the truth conditions of propositions presented by classical logic, which are nothing more than requirements of coherence in distributions of truth value. It is argued that this restriction also dissolves some known puzzles such as conditional stand-offs, the Adams pair, the opt-out property and the burglar’s puzzle. (shrink)

The paper argues that ‘All varieties of gratitude are only overall fitting when targeted towards agents,’ for instance that any variety of gratitude for the beautiful sunset is only overall fitting if a supernatural agent such as God exists. The first premise is that ‘Prepositional gratitude is overall fitting only when targeted towards agents.’ For this premise, intuitive judgments are offered. The second premise is that ‘Prepositional gratitude is the paradigmatic variety of gratitude.’ For this premise, (...) an aspect of the common consent of philosophers about gratitude is noted and the metaphysical basicness of prepositional gratitude is argued for. This gives the intermediate conclusion that ‘The paradigmatic variety of gratitude is overall fitting only when targeted towards agents.’ The fourth premise is that ‘If the paradigmatic variety of gratitude is overall fitting only when targeted towards agents, then all varieties of gratitude are overall fitting only when targeted towards agents.’ To supply the conditional of this premise, the Paradigmatic Fittingness Principle is offered, which states that ‘Paradigmatic emotions set the fittingness conditions for their non-paradigmatic varieties.’ This principle is argued for by noting that it vindicates some popular and plausible intuitive judgements and gives an error theory of why one might think that gratitude could be fittingly targeted towards non-agents, and by suggesting the absence of any other plausible source of fittingness conditions for non-paradigmatic emotions. (shrink)

According to a widely held view, epistemic reasons are normative reasons for belief – much like prudential or moral reasons are normative reasons for action. In recent years, however, an increasing number of authors have questioned the assumption that epistemic reasons are normative. In this article, I discuss an important challenge for anti-normativism about epistemic reasons and present a number of arguments in support of normativism. The challenge for anti-normativism is to say what kind of reasons epistemic reasons are if (...) they are not normative reasons. I discuss various answers to this challenge and find them all wanting. The arguments for normativism each stress a certain analogy between epistemic reasons and normative reasons for action. Just like normative reasons for action, epistemic reasons provide partial justification; they provide premises for correct reasoning; they constitute good bases for the responses they are reasons for; and they are reasons for which agents can show these responses without committing a mistake. In each case, I argue that the relevant condition is plausibly sufficient for the normativity of a reason, and that normativism is in any case in a much better position to explain the analogy than anti-normativism. (shrink)

Matt King has recently argued that the manipulation argument against compatibilism does not succeed by employing a dilemma: either the argument infelicitously relies on incompatibilist sourcehood conditions, or the proponent of the argument leaves a premise of the argument undefended. This article develops a reply to King’s dilemma by showing that incompatibilists can accept its second horn. Key to King’s argument for the second horn’s being problematic is “the parallel manipulation argument.” I argue that King’s use of this argument (...) is problematic, but I suggest that a (modified) parallel manipulation argument is effective for a different, though more restricted, purpose. (shrink)

A growing number of authors defend putative examples of knowledge from falsehood (KFF), inferential knowledge based in a critical or essential way on false premises, and they argue that KFF has important implications for many areas of epistemology (whether evidence can be false, the Gettier debate, defeasibility theories of knowledge, etc.). I argue, however, that there is no KFF, because in any supposed example either the falsehood does not contribute to the knowledge or the subject lacks knowledge. In particular, I (...) show that if the subject actually has knowledge in putative KFF cases, then there is always a veridical evidential path meeting the basing conditions that accounts for her knowledge; if there is no such path, then the subject is in a type of Gettier case. All the recent arguments that rely on KFF are therefore based on a mistake. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising field of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a specific type of manipulation by agenda setters or voters. I derive impossibility theorems whereby these independence conditions are incompatible with certain minimal requirements. Unlike earlier impossibility results, the main result here holds for any (non-trivial) agenda. However, independence conditions arguably undermine the logical structure of judgment aggregation. I therefore (...) suggest restricting independence to premises, which leads to a generalised premise-based procedure. This procedure is proven to be possible if the premises are logically independent. (shrink)