Comparatively easy questions we might ask about creativity are distinguished from the hard question of explaining transformative creativity. Many have focused on the easy questions, offering no reason to think that the imagining relied upon in creative cognition cannot be reduced to more basic folk psychological states. The relevance of associative thought processes to songwriting is then explored as a means for understanding the nature of transformative creativity. Productive artificial neural networks—known as generative antagonistic networks (GANs)—are a recent example of (...) how a system’s ability to generate novel products can both be finely tuned by prior experience and grounded in strategies that cannot be articulated by the system itself. Further, the kinds of processes exploited by GANs need not be seen as incorporating something akin to sui generis imaginative states. The chapter concludes with reflection on the added relevance of personal character to explanations of creativity. [This is Chapter 12 of the book Explaining Imagination.]. (shrink)

Currie’s (2010) argument that “i-desires” must be posited to explain our responses to fiction is critically discussed. It is argued that beliefs and desires featuring ‘in the fiction’ operators—and not sui generis imaginings (or "i-beliefs" or "i-desires")—are the crucial states involved in generating fiction-directed affect. A defense of the “Operator Claim” is mounted, according to which ‘in the fiction’ operators would be also be required within fiction-directed sui generis imaginings (or "i-beliefs" and "i-desires"), were there such. Once we appreciate that (...) even fiction-directed sui generis imaginings would need to incorporate ‘in the fiction’ operators, the main appeal of the idea that sui generis imaginings (or "i-beliefs" or "i-desires") are at work in fiction-appreciation dissipates. [This is Chapter 10 of Explaining Imagination (OUP, 2020)]. (shrink)

​Imagination will remain a mystery—we will not be able to explain imagination—until we can break it into parts we already understand. Explaining Imagination is a guidebook for doing just that, where the parts are other ordinary mental states like beliefs, desires, judgments, and decisions. In different combinations and contexts, these states constitute cases of imagining. This reductive approach to imagination is at direct odds with the current orthodoxy, according to which imagination is a sui generis mental state or process—one with (...) its own inscrutable principles of operation. Explaining Imagination upends that view, showing how, on closer inspection, the imaginings at work in hypothetical reasoning, pretense, the enjoyment of fiction, and creativity are reducible to other familiar mental states—judgments, beliefs, desires, and decisions among them. Crisscrossing contemporary philosophy of mind, cognitive science, and aesthetics, Explaining Imagination argues that a clearer understanding of imagination is already well within reach. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Sensitivity account of knowledge states that if one knows that _p_ (via method M), then were _p_ false, one would not believe that _p_ via M. This account has been highly controversial. However, even its critics tend to agree that the account enjoys an important advantage of solving the Gettier problem—that is, it explains why Gettierized beliefs are not knowledge. In this paper, I argue that this purported advantage of sensitivity is merely illusory. The account cannot, in principle, solve the (...) Gettier problem. Moreover, another formulation of sensitivity—which is fully in line with Nozick’s original account—is not unscathed either. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

In contemporary discussions of the Ramsey Test for conditionals, it is commonly held that (i) supposing the antecedent of a conditional is adopting a potential state of full belief, and (ii) Modus Ponens is a valid rule of inference. I argue on the basis of Thomason Conditionals (such as ' If Sally is deceiving, I do not believe it') and Moore's Paradox that both claims are wrong. I then develop a double-indexed Update Semantics for conditionals which takes these two results (...) into account while doing justice to the key intuitions underlying the Ramsey Test. The semantics is extended to cover some further phenomena, including the recent observation that epistemic modal operators give rise to something very like, but also very unlike, Moore's Paradox. (shrink)

§0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.

It is known that indicative and subjunctive conditionals interact differently with a rigidifying "actually" operator. The paper studies this difference in an abstract setting. It does not assume the framework of possible world semantics, characterizing "actually" instead by the type of logically valid formulas to which it gives rise. It is proved that in a language with such features all sentential contexts that are congruential (in the sense that they preserve logical equivalence) are extensional (in the sense that they preserve (...) material equivalence). For a subjunctive conditional, the natural conclusion to draw is that it is non-congruential. It is much harder to defend the claim that an indicative conditional is non-congruential. The pressure to treat the indicative conditional as truth-functional is correspondingly greater. The implications of these results for attempts to interpret the indicative conditional as an epistemic or doxastic operator are assessed. (shrink)

The commonplaces, all grammatically confused, are that ?conditionals? are ternary in structure, have ?antecedents? and conform to the traditional taxonomy. It is maintained en route that ?The bough will not break? is consistent with ?If the bough breaks ??, that there is no logical difference between ?future indicatives? and ?subjunctives?, and that there is a difference between the logic of propositions (e.g. ?The bough broke?) and that of judgments (?The bough will/might/could/should/must/needn't break?).

I propose a counterfactual theory of infinite regress arguments. Most theories of infinite regress arguments present infinite regresses in terms of indicative conditionals. These theories direct us to seek conditions under which an infinite regress generates an infinite inadmissible set. Since in ordinary language infinite regresses are usually expressed by means of infinite sequences of counterfactuals, it is natural to expect that an analysis of infinite regress arguments should be based on a theory of counterfactuals. The Stalnaker–Lewis theory of counterfactuals, (...) augmented with some fundamental notions from metric-spaces, provides a basis for such an analysis of infinite regress arguments. Since the technique involved in the analysis is easily adaptable to various analyses, it facilitates a rigorous comparison among conflicting philosophical analyses of any given infinite regress. (shrink)

Why are conditional degrees of belief in an observation E, given a statistical hypothesis H, aligned with the objective probabilities expressed by H? After showing that standard replies are not satisfactory, I develop a suppositional analysis of conditional degree of belief, transferring Ramsey’s classical proposal to statistical inference. The analysis saves the alignment, explains the role of chance-credence coordination, and rebuts the charge of arbitrary assessment of evidence in Bayesian inference. Finally, I explore the implications of this analysis for Bayesian (...) reasoning with idealized models in science. (shrink)

Conditionals somehow express conditional beliefs. However, conditional belief is a bi-propositional attitude that is generally not truth-evaluable, in contrast to unconditional belief. Therefore, this article opts for an expressivistic semantics for conditionals, grounds this semantics in the arguably most adequate account of conditional belief, that is, ranking theory, and dismisses probability theory for that purpose, because probabilities cannot represent belief. Various expressive options are then explained in terms of ranking theory, with the intention to set out a general interpretive scheme (...) that is able to account for the most variegated usage of conditionals. The Ramsey test is only the first option. Relevance is another, familiar, but little understood item, which comes in several versions. This article adds a further family of expressive options, which is able to subsume also counterfactuals and causal conditionals, and indicates at the end how this family allows for partial recovery of truth conditions for conditionals. (shrink)

My thesis is that you can lie with ‘ P therefore Q ’ without P or Q being lies. For you can lie by virtue of not believing that P supports Q. My thesis is reconciled with the principle that all lies are assertions through H. P. Grice’s account of conventional implicatures. These semantic cousins of conversational implicatures are secondary assertions that clarify the speaker’s attitude toward his primary assertions. The meaning of ‘therefore’ commits the speaker to an entailment thesis (...) even though the speaker does not enter that commitment into the text. Insincere conventional implicatures are akin to insincerely asserted footnotes. An absence of lies in the text is compatible with the presence of lies in the meta-text. (shrink)

According to a familiar argument, iterated prisoner's dilemmas of known finite lengths resolve for ideally rational and well-informed players: They would defect in the last round, anticipate this in the next to last round and so defect in it, and so on. But would they anticipate defections even if they had been cooperating? Not necessarily, say recent critics. These critics "lose" the backward-induction paradox by imposing indicative interpretations on rationality and information conditions. To regain it I propose subjunctive interpretations. To (...) solve it I stress that implications for ordinary imperfect players are limited. (shrink)

Different formal tools are useful for different purposes. For example, when it comes to modelling degrees of belief, probability theory is a better tool than classical logic; when it comes to modelling the truth of mathematical claims, classical logic is a better tool than probability theory. In this paper I focus on a widely used formal tool and argue that it does not provide a good model of a phenomenon of which many think it does provide a good model: I (...) shall argue that while supervaluationism may provide a model of probability of truth, or of assertability, it cannot provide a good model of truth -- supertruth cannot be truth. The core of the argument is that an adequate model of truth must render certain connectives truth-functional (at least in certain circumstances) -- and supervaluationism does not do so (in those circumstances). (shrink)

In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...) discussed phenomenon that Crispin Wright and Martin Davies have called 'transmission failure'—the apparent failure, on the part of some deductively valid inferences to transmit one's justification for believing the premises. (shrink)

The Ramsey Test is considered to be the default test for the acceptability of indicative conditionals. I will argue that it is incompatible with some of the recent developments in conceptualizing conditionals, namely the growing empirical evidence for the _Relevance Hypothesis_. According to the hypothesis, one of the necessary conditions of acceptability for an indicative conditional is its antecedent being positively probabilistically relevant for the consequent. The source of the idea is _Evidential Support Theory_ presented in Douven (2008). I will (...) defend the hypothesis against alleged counterexamples, and show that it is supported by growing empirical evidence. Finally, I will present a version of the Ramsey test which incorporates the relevance condition and therefore is consistent with growing empirical evidence for the relevance hypothesis. (shrink)

Przedmiotem prezentowanego artykułu jest spor o wartości logiczne kontrfaktycznych okresów warunkowych z niemożliwym poprzednikiem. Zgodnie z rozpowszechnionymi analizami każdy taki okres warunkowy jest prawdziwy. Pogląd ten określany jest mianem ortodoksyjnego i przeciwstawiany jest mu pogląd nieortodoksyjny, który uznaje, że tylko niektóre spośród kontrmożliwych okresów warunkowych są prawdziwe, a inne są fałszywe. W jednym ze swoich ostatnich tekstów Timothy Williamson argumentował na rzecz tezy, że konsekwencje poglądu nieortodoksyjnego są niespójne z motywacjami leżącymi u podstaw tego poglądu. Celem artykułu jest polemika z (...) krytyką Williamsona oraz wskazanie na możliwość spójnego odczytania postulatów zwolenników stanowiska nieortodoksyjnego. (shrink)

According to the most popular theories, counterfactuals with impossible antecedents are vacuously true. Critiques of this view argue that contrary to this, we tend to consider only some of them true and others to be false. In his recent paper Timothy Williamson has ingeniously explained the motivations for the orthodox view and argued that although there are some heuristic reasons that may suggest the plausibility of the unorthodox view, they are fallible. The most important of Williamson’s arguments is that the (...) unorthodox interpretation is inconsistent with the heuristic assumption that supposedly motivates this very view. The aim of this paper is to consider Williamson’s critique and to support the unorthodox approach towards counterpossibles. In order to do so, we argue in favor of the modified version of the heuristic assumption. (shrink)

The pattern of credences we are inclined to assign to counterfactuals challenges standard accounts of counterfactuals. In response to this problem, the paper develops a semantics of counterfactuals in terms of the epsilon-operator. The proposed semantics stays close to the standard account: the epsilon-operator substitutes the universal quantifier present in standard semantics by arbitrarily binding the open world-variable. Various applications of the suggested semantics are explored including, in particular, an explanation of how the puzzling credences in counterfactuals come about.

According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...) roughly, on the Kaplan model. But they can also be bound: this happens, in a systematic fashion, when they are in the scope of epistemic modals or attitude verbs. The new view has two interesting philosophical consequences. First, it vindicates a broadly Fregean perspective on referential expressions, essentially refuting the idea that indexicals are rigid designators. Second, it suggests a new picture of the interaction between context and linguistic meaning: compositional semantics does not need to look at the context and hence has no need for a context parameter. (shrink)

A paper on how to adapt your probabilisitc beliefs when learning a conditional.

A number of papers have argued in favour of the material account of indicative conditionals, but typically they either concentrate on defending the account from the charge that it has counterintuitive consequences, or else focus on some particular positive argument in favour of the theory. In this paper, I survey the various positive arguments that can be given, presenting simple versions where possible and showing the connections between them. I conclude with some methodological considerations.

The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

A conversation can be conceived as aiming to circumscribe a set of possibilities that are relevant to the goals of the conversation. This set of possibilities may be conceived as determined by the goals and objective circumstances of the interlocutors and not by their propositional attitudes. An indicative conditional can be conceived as circumscribing a set of possibilities that have a certain property: If the set of relevant possibilities is subsequently restricted to one in which the antecedent holds, then it (...) will be restricted as well to one in which the consequent holds. We will identify a number of desiderata concerning the validity of arguments; we will develop a formally precise semantics for conditionals conceived in this way that satisfies the desiderata, and we will present a deductive calculus that is sound and complete with respect to the semantics. Finally, we will argue that the semantics compares well, both formally and foundationally, with two other semantic theories of indicative conditionals that satisfy the desiderata, namely, those of Gillies and Bledin. (shrink)

Something about this argument sounds funny. As we’ll see, though, it takes some care to identify exactly what Moore has done wrong. Iwill assume that Moore knows premise (2) to be true. One could inquire into how he knows it, and whether that knowledge can be defeated; but Iwon’t. I’ll focus instead on what epistemic relations Moore has to premise (1) and to his conclusion (3). It may matter which epistemic relations we choose to consider. Some philosophers will diagnose Moore’s (...) argument using Contextualist machinery. They’ll say. (shrink)

The 3sg pronouns “he” and “she” impose descriptive gender conditions on their referents. These conditions are standardly analysed as presuppositions. Cooper argues that, when 3sg pronouns occur free, they have indexical presuppositions: the gender condition must be satisfied by the pronoun’s referent in the actual world. In this paper, we consider the behaviour of free 3sg pronouns in conditionals and focus on cases in which the pronouns’ gender presuppositions no longer seem to be indexical and project locally instead. We compare (...) these cases to previously reported shifty readings of indexicals in so-called “epistemic conditionals” :359–406, 2012) and propose a unified account of locally projected gender presuppositions and shifty indexicals based on the idea that indicative conditionals are Kaplanian monsters. (shrink)

It is often thought that the test for whether an indicative conditional is assertible is to first suppose the antecedent and then check to see if the consequent is probable on that supposition. Call this procedure the “Ramsey Test”. Some influential accounts of indicative conditionals hold that the Ramsey Test works because indicative conditionals are used to express a high credence in the consequent conditional on the antecedent. In this paper I will argue that a different expressivist account, one inspired (...) by Brandom can handle a wider range of phenomena. In particular, it does a better job explaining how conditionals function in modus tollens arguments. I will end by discussing how the account proposed here goes beyond Brandom’s own work on logic and hermeneutics. Of particular importance is the role played by a conversational common ground, distinct from the commitments of the interpreter and interpreted. (shrink)

A probability distribution is regular if no possible event is assigned probability zero. While some hold that probabilities should always be regular, three counter-arguments have been posed based on examples where, if regularity holds, then perfectly similar events must have different probabilities. Howson (2017) and Benci et al. (2016) have raised technical objections to these symmetry arguments, but we see here that their objections fail. Howson says that Williamson’s (2007) “isomorphic” events are not in fact isomorphic, but Howson is speaking (...) of set-theoretic representations of events in a probability model. While those sets are not isomorphic, Williamson’s physical events are, in the relevant sense. Benci et al. claim that all three arguments rest on a conflation of different models, but they do not. They are founded on the premise that similar events should have the same probability in the same model, or in one case, on the assumption that a single rotation-invariant distribution is possible. Having failed to refute the symmetry arguments on such technical grounds, one could deny their implicit premises, which is a heavy cost, or adopt varying degrees of instrumentalism or pluralism about regularity, but that would not serve the project of accurately modelling chances. (shrink)

One very popular kind of semantics for subjunctive conditionals is aclosest-worlds account along the lines of theories given by David Lewisand Robert Stalnaker. If we could give the same sort of semantics forindicative conditionals, we would have a more unified account of themeaning of ``if ... then ...'' statements, one with manyadvantages for explaining the behaviour of conditional sentences. Such atreatment of indicative conditionals, however, has faced a battery ofobjections. This paper outlines a closest-worlds account of indicativeconditionals that does better (...) than some of its cousins in explaining thebehaviour of such conditionals. The paper then discusses objectionsoffered by Dorothy Edgington and Frank Jackson to closest-worldsaccounts of indicative conditionals, and shows that these objections canbe met by the account outlined. (shrink)

(No abstract is available for this citation).

In two‐dimensional semantics in the tradition of Davies and Humberstone, whether a singular term receives an epistemically shifted reading in the scope of a modal operator depends on whether the world considered as actual is shifted. This means that epistemically shifted readings should be available only in environments where an explicit contrast between the actual world and some counterfactual worlds cannot be made. In this paper, I argue that this is incorrect. Whether a singular term receives an epistemically shifted reading (...) is independent of whether the world treated as actual is shifted. This, I argue, undermines the two‐dimensionalist account of epistemic shift. I then turn to the question how a positive view should handle these two phenomena separately. I argue for treating singular terms with a version of counterpart theory in which the difference between epistemically shifted and other readings is determined in the context of utterance. (shrink)

In this paper, we will present an analysis of the Oswald example that takes a closer look at the antecedents of the Oswald minimal pair. We will argue that diverging foci in the antecedents of the Oswald example result in different truth conditions of the conditionals, explaining the difference in truth values between the two sentences. Although the explanation will incorporate aspects of Stalnaker’s theory of conditionals, it will go beyond Stalnaker’s analysis of the Oswald example on one crucial point. (...) The difference in focus assignments between the two sentences will not be explained by a difference in appropriateness conditions between indicative and subjunctive mood. Instead, the diverging foci will stem from pragmatic requirements imposed on the presuppositions of indicative and subjunctive antecedents. This analysis will be further confirmed by extending it to similar examples with ascriptions of hopes and wishes, pointing towards a more clear-cut separation of and the effect of the Oswald example conditionality. (shrink)

A middle fact is a true proposition about what would have happened had A been true (where A is in fact false), whose truth isn't entailed by any non-counterfactual facts. I argue that there are no middle facts; if there were, we wouldn't know them, and our ignorance of them would result in ignorance about whether regret is fitting in cases where we clearly know it is. But there's a problem. Consider an unflipped fair coin which is such that no (...) non-counterfactual fact determines that it would have landed heads had it been flipped (or tails had it been flipped). If there are no middle facts, it's not true that it would have landed heads had it been flipped nor that it would have landed tails had it been flipped. Yet each counterfactual is still possibly true for all we know. I argue that we can resolve this tension in the anti-middle fact position, further strengthening the case against middle facts. (shrink)

It is tempting to think (though many deny) that epistemic agents exercise a distinctive kind of control over their belief‐like attitudes. My aim here is to sketch a “bottom‐up” model of epistemic agency, one that draws on an analogous model of practical agency, according to which an agent's conditional beliefs are reasons‐responsive planning states that initiate and sustain mental behavior so as to render controlled.

In his 1987 book _Conditionals, Frank Jackson presents an argument to the effect that the indicative conditionals of natural language have the same truth conditions as the material conditional of truth-functional logic. This Jackson refers to as the "paradox of indicative conditionals." I offer a solution to this paradox by arguing that some conditionals that appear to be in the indicative mood are actually subjunctives, to which the paradox does not apply. I support this proposed solution with some historical observations (...) on the evolution of the English verb phrase. (edited). (shrink)

– We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is a natural (...) way for them to receive imprecise probabilities. The mathematics of non-measurable sets is arcane, but its epistemological import is far-reaching; even apparently mundane propositions are liable to be affected by non-measurability. The phenomenon of non-measurability dramatically reshapes the dialectic between critics and proponents of imprecise credence. Non-measurability offers natural rejoinders to prominent critics of imprecise credence. Non-measurability even reverses some of the critics’ arguments—by the very lights that have been used to argue against imprecise credences, imprecise credences are better than precise credences. (shrink)

Various writers have proposed that the notion of a possible world is a functional concept, yet very little has been done to develop that proposal. This paper explores a particular functionalist account of possible worlds, according to which pluralities of possible worlds are the bases for structures which provide occupants for the roles which analyse our ordinary modal concepts. It argues that the resulting position meets some of the stringent constraints which philosophers have placed upon accounts of possible worlds, while (...) also trivializing the question what possible worlds are. The paper then discusses a range of problems facing the functionalist position. (shrink)

This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti and Reichenbach. On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de Finetti’s table come with some problems, and highlight two ways out of the predicament: (...) one pairs de Finetti’s conditional with validity as the preservation of non-false values, but at the expense of Modus Ponens; the other modifies de Finetti’s table to restore Modus Ponens. In Part I of this paper, we present both alternatives, with specific attention to a variant of de Finetti’s table proposed by Cooper and Cantwell. In Part II, we give an in-depth treatment of the proof theory of the resulting logics, DF/TT and CC/TT: both are connexive logics, but with significantly different algebraic properties. (shrink)

Recent work on conditional reasoning argues that denying the antecedent [DA] and affirming the consequent [AC] are defeasible but cogent patterns of argument, either because they are effective, rational, albeit heuristic applications of Bayesian probability, or because they are licensed by the principle of total evidence. Against this, we show that on any prevailing interpretation of indicative conditionals the premises of DA and AC arguments do not license their conclusions without additional assumptions. The cogency of DA and AC inferences rather (...) depends on contingent factors extrinsic to, and independent of, what is asserted by DA and AC arguments. arguments do not license their conclusions without additional assumptions. The cogency of DA and AC inferences rather depends on contingent factors extrinsic to, and independent of, what is asserted by DA and AC arguments. (shrink)

Jan Łukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A modern formal syllogistic (...) game, DLSyll, is set out and analysed in use. (shrink)

What we want to be true about ordinary indicative conditionals seems to be more than we can possibly get: there just seems to be no good way to assign truth-conditions to ordinary indicative conditionals. Some take this argument as reason to make our wantings more modest. Others take it to show that indicative conditionals don't have truth-conditions in the first place. But we have overlooked two possibilities for assigning truth-conditions to indicatives. What's more, those possibilities deliver what we want and (...) turn out to be equivalent. CiteULike Connotea Del.icio.us Digg Reddit Technorati What's this? (shrink)

Nancy Cartwright (1983, 1999) argues that (1) the fundamental laws of physics are true when and only when appropriate ceteris paribus modifiers are attached and that (2) ceteris paribus modifiers describe conditions that are almost never satisfied. She concludes that when the fundamental laws of physics are true, they don't apply in the real world, but only in highly idealized counterfactual situations. In this paper, we argue that (1) and (2) together with an assumption about contraposition entail the opposite conclusion (...) — that the fundamental laws of physics do apply in the real world. Cartwright extracts from her thesis about the inapplicability of fundamental laws the conclusion that they cannot figure in covering-law explanations. We construct a different argument for a related conclusion — that forward-directed idealized dynamical laws cannot provide covering-law explanations that are causal. This argument is neutral on whether the assumption about contraposition is true. We then discuss Cartwright's simulacrum account of explanation, which seeks to describe how idealized laws can be explanatory. (shrink)

Section 1 briefly examines three theories of indicative conditionals. The Suppositional Theory is defended, and shown to be incompatible with understanding conditionals in terms of truth conditions. Section 2 discusses the psychological evidence about conditionals reported by Over and Evans (this volume). Section 3 discusses the syntactic grounds offered by Haegeman (this volume) for distinguishing two sorts of conditional.