Online research in philosophy

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)

We examine the notion of conditionals and the role of conditionals in inductive logics and arguments. We identify three mistakes commonly made in the study of, or motivation for, non-classical logics. A nonmonotonic consequence relation based on evidential probability is formulated. With respect to this acceptance relation some rules of inference of System P are unsound, and we propose refinements that hold in our framework.

We introduce -ranked preferential structures and combine them with an accessibility relation. -ranked preferential structures are intermediate between simple preferential structures and ranked structures. The additional accessibility relation allows us to consider only parts of the overall -ranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures where we have a hierarchy of situations, and maybe not all are accessible to all possible worlds. Representation results are proved.

Three confirmation principles discussed by Hempel are the Converse Consequence Condition, the Special Consequence Condition and the Entailment Condition. Le Morvan (1999) has argued that, when the choice among confirmation principles is just about them, it is the Converse Consequence Condition that must be rejected. In this paper, I make this argument definitive. In doing that, I will provide an indisputable proof that the simple conjunction of the Converse Consequence Condition and the Entailment Condition yields a (...) disastrous consequence. (shrink)

In this paper, I offer a proof that a disastrous conclusion (namely, that any observation report confirms any hypothesis) may be derived directly from two principles of qualitative confirmation which Carl Hempel called the "Converse Consequence Condition" and the "Entailment Condition." I then discuss three strategies which a defender of the Converse Consequence Condition may deploy to save this principle.

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.

Inference versus consequence , an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997 , Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it (...) is republished here with only bibliographical changes and an afterword. (shrink)

Timothy Williamson argues against the tactic of criticizing confidence in a theory by identifying a logical consequence of the theory whose probability is not raised by the evidence. He dubs it "the consequence fallacy". In this paper we will show that Williamson's formulation of the tactic in question is ambiguous. On one reading of Williamson's formulation, the tactic is indeed a fallacy, but it is not a commonly used tactic; on another reading, it is a commonly used tactic (...) (or at least more often used than the former tactic), but it is not a fallacy. (shrink)

According to probabilistic theories of reasoning in psychology, people's degree of belief in an indicative conditional `if A, then B' is given by the conditional probability, P(B|A). The role of language pragmatics is relatively unexplored in the new probabilistic paradigm. We investigated how consequent relevance aects participants' degrees of belief in conditionals about a randomly chosen card. The set of events referred to by the consequent was either a strict superset or a strict subset of the set of events (...) referred to by the antecedent. We manipulated whether the superset was expressed using a disjunction or a hypernym. We also manipulated the source of the dependency, whether in long-term memory or in the stimulus. For subset-consequent conditionals, patterns of responses were mostly conditional probability followed by conjunction. For superset-consequent conditionals, conditional probability responses were most common for hypernym dependencies and least common for disjunction dependencies, which were replaced with responses indicating inferred consequent irrelevance. Conditional probability responses were also more common for knowledge-based than stimulus-based dependencies. We suggest. (shrink)

John Etchemendy (1990) has argued that Tarski's definition of logical consequence fails as an adequate philosophical analysis. Since then, Greg Ray (1996) has defended Tarski's analysis against Etchemendy's criticisms. Here, I'll argue that--even given Ray's defense of Tarski's definition--we may nevertheless lay claim to the conditional conclusion that 'if' Tarski intended a conceptual analysis of logical consequence, 'then' it fails as such. Secondly, I'll give some reasons to think that Tarski 'did' intend a conceptual analysis of logical (...) class='Hi'>consequence. (shrink)

Two experiments (N1 = 141, N2 = 40) investigate two versions of Aristotle’s Thesis for the first time. Aristotle’s Thesis is a negated conditional, which consists of one propositional variable with a negation either in the antecedent (version 1) or in the consequent (version 2). This task allows to infer if people interpret indicative conditionals as material conditionals or as conditional events. In the first experiment I investigate between-participants the two versions of Aristotle’s Thesis crossed with abstract versus (...) concrete task material. The modal response for all four groups is consistent with the conditional event and inconsistent with the material conditional interpretation. This observation is replicated in the second experiment. Moreover, the second experiment rules out scope ambiguities of the negation of conditionals. Both experiments provide new evidence against the material conditional interpretation of conditionals and support the conditional event interpretation. Finally, I discuss implications for modeling indicative conditionals and the relevance of this work for experimental philosophy. (shrink)

Conventional wisdom has it that many intriguing features of indicative conditionals aren’t shared by subjunctive conditionals. Subjunctive morphology is common in discussions of wishes and wants, however, and conditionals are commonly used in such discussions as well. As a result such discussions are a good place to look for subjunctive conditionals that exhibit features usually associated with indicatives alone. Here I offer subjunctive versions of J. L. Austin’s ‘biscuit’ conditionals—e.g., “There are biscuits on the sideboard (...) if you want them”—and subjunctive versions of Allan Gibbard’s ‘stand-off’ or ‘Sly Pete’ conditionals, in which speakers with no relevant false beliefs can in the same context felicitously assert conditionals with the same antecedents and contradictory consequents. My cases undercut views according to which the indicative/subjunctive divide marks a great difference in the meaning of conditionals. They also make trouble for treatments of indicative conditionals that cannot readily be generalized to subjunctives. (shrink)

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

I’ll describe a range of systems for nonmonotonic conditionals that behave like conditional probabilities above a threshold. The rules that govern each system are probabilistically sound in that each rule holds when the conditionals are interpreted as conditional probabilities above a threshold level specific to that system. The well-known preferential and rational consequence relations turn out to be special cases in which the threshold level is 1. I’ll describe systems that employ weaker rules appropriate to thresholds lower (...) than 1, and compare them to these two standard systems. (shrink)

What is informal logic, is it ``logic" at all? Main contemporary approaches are briefly presented and critically commented. If the notion of consequence is at the heart of logic, does it make sense to speak about ``informal" consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is because of the logical form (...) of the sentences involved and not because of their specific content that the inference is truth preserving; (ii) it is necessary that if the premises are true, then so is the conclusion. According to the prevalent criteria of informal logic an argument is cogent if and only if (i) its premises are rationally Acceptable, (ii) its premises are Relevant to its conclusion and (iii) its premises constitute Grounds adequate for accepting the conclusion (the ``ARG" conditions according to Govier). The ARG criteria characterize a certain broad kind of consequence relation. We do not (in general) have truth preservence in cogent arguments but if the premises are acceptable and other criteria are met, then so is the conclusion. We can speak about form in a loose sense and finally, there is rational necessity of the grounding or support relation. So a certain broad notion of logical consequence emerges from this comparison. The norms of ARG are norms of elementary scientific methodology in which argument is seen as embodying reasoning within a process of inquiry or of belief formation in subject areas accessible to every informed intellectual. (shrink)

The interest of epistemic comparative conditionals comes from the fact that they represent genuine ‘comparative epistemic relations’ between propositions, situations, evidences, abilities, interests, etc. This paper argues that various types of epistemic comparative conditionals uniformly represent comparative epistemic relations via the comparison of epistemic positions rather than the comparison of epistemic standards. This consequence is considered as a general constraint on a theory of knowledge attribution, and then further used to argue against the contextualist thesis that, in (...) some cases, considering a new counter- possibility can raise the epistemic standard of knowledge attribution. Instead, the paper shows that considering a new counter-possibility can only lower the epistemic position of a putative knower. Moreover, since the comparison, by the nature of conditionals, is free from any commitment to the truth-values of specific knowledge attributions, my conclusion is free from the debate between contextualism and invariantism on whether the truth-value of a knowledge attribution can actually vary with context. (shrink)

In this paper I explore a version of standard (expected utility) decision theory in which the probability parameter is interpreted as an objective chance believed by agents to obtain and values of this parameter are fixed by indicative conditionals linking possible actions with possible outcomes. After reviewing some recent developments centering on the common-cause counterexamples to the standard approach, I introduce and briefly discuss the key notions in my own approach. (This approach has essentially the same results as the (...) causal approach in common-cause cases.) I then discuss the Rule of Dominance and find, in the context of the present proposal, that it cannot serve as an independent source of action justification. Turning next to Newcomb''s Problem, I argue that the much discussed issue of back-tracking counterfactuals is something of a red herring for decision theory. Once the twin distractions of back-tracking counterfactuals and Dominance Reasoning are set aside the 1-box solution emerges as a natural consequence of the present proposal. It is of interest that this proposal agrees with the causal approach in the standard common-cause examples and the expected-utility approach in the Newcomb case: one can be smart and rich and keep on smoking. (shrink)

According to what is now commonly referred to as “the Equation” in the literature on indicative conditionals, the probability of any indicative conditional equals the probability of its consequent of the conditional given the antecedent of the conditional. Philosophers widely agree in their assessment that the triviality arguments of Lewis and others have conclusively shown the Equation to be tenable only at the expense of the view that indicative conditionals express propositions. This study challenges the correctness of that (...) assessment by presenting data that cast doubt on an assumption underlying all triviality arguments. (shrink)

Explains how to use a trivalent semantics to explain what is often called Adam’s Thesis, the thesis that the probability of a conditional is the conditional probability of the consequent given the antecedent.

I consider embeddings of one subjunctive conditional in the consequent of another, and argue that (if A then (if B then C)) is not equivalent to (if (A & B) then C ), given the meanings we usually give to the outer and the inner 'if'.

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. (...) Another justification derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

Discusses how to capture the link between the probability of indicative conditionals and conditional probability using a classical semantics for conditionals.

Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's (...) nature. I then argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (shrink)

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

In this paper I will be concerned with the question as to whether expressivist theories of meaning can coherently be combined with deflationist theories of truth. After outlining what I take expressivism to be and what I take deflationism about truth to be, I’ll explain why I don’t take the general version of this question to be very hard, and why the answer is ‘yes’. Having settled that, I’ll move on to what I take to be a more pressing and (...) interesting version of the question, arising from a prima facie tension between deflationism about truth and the motivations underlying expressivism for what I take to be two of its most promising applications: to indicative conditionals and epistemic modals. Here I’ll argue that the challenge is substantive, but that there is no conceptual obstacle to its being met, provided that one’s expressivism takes the right form. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker 1975) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three much-discussed phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

I take issue with two claims of DeRose: Conditionals of deliberation must not depend on backtracking grounds. ‘Were’ed-up conditionals coincide with future-directed indicative conditionals; the only difference in their meaning is that they must not depend on backtracking grounds. I use Egan’s counterexamples to causal decision theory to contest the first and an example of backtracking reasoning by David Lewis to contest the second claim. I tentatively outline a rivaling account of ‘were’ed-up conditionals which combines features (...) of the standard analysis of counterfactuals with the contextual relevance of the corresponding indicative conditionals. (shrink)

The consequence argument for the incompatibility of free action and determinism has long been under attack, but two important objections have only recently emerged: Warfield’s modal fallacy objection and Campbell’s no past objection. In this paper, I explain the significance of these objections and defend the consequence argument against them. First, I present a novel formulation of the argument that withstands their force. Next, I argue for the one controversial claim on which this formulation relies: the trans-temporality thesis. (...) This thesis implies that an agent acts freely only if there is one time at which she is able to perform an action and a distinct time at which she actually performs it. I then point out that determinism, too, is a thesis about trans-temporal relations. I conclude that it is precisely because my formulation of the consequence argument emphasizes trans-temporality that it prevails against the modal fallacy and no past objections. (shrink)

Conditional sentences are among the most intriguing and puzzling features of language, and analysis of their meaning and function has important implications for, and uses in, many areas of philosophy. Jonathan Bennett, one of the world's leading experts, distils many years' work and teaching into this Philosophical Guide to Conditionals, the fullest and most authoritative treatment of the subject. An ideal introduction for undergraduates with a philosophical grounding, it also offers a rich source of illumination and stimulation for graduate (...) students and professional philosophers. (shrink)

This note relates the Lewis/Kratzer view of conditionals as restrictors to the philosophical debate over the meaning of conditionals.

This is a 'state of the art' collection of essays on the relation between probabilities, especially conditional probabilities, and conditionals. It provides new negative results which sharply limit the ways conditionals can be related to conditional probabilities. There are also positive ideas and results which will open up new areas of research. The collection is intended to honour Ernest W. Adams, whose seminal work is largely responsible for creating this area of inquiry. As well as describing, evaluating, and (...) applying Adams' work the contributions extend his ideas in directions he may or may not have anticipated, but that he certainly inspired. In addition to a wide range of philosophers of science, the volume should interest computer scientists and linguists. (shrink)

In an earlier paper in these pages (2008), we explored the puzzling link between dispositions and conditionals. First, we rehearsed the standard counterexamples to the simple conditional analysis and the refined conditional analysis defended by David Lewis. Second, we attacked a tempting response to these counterexamples: what we called the ‘getting specific strategy’. Third, we presented a series of structural considerations that pose problems for many attempts to understand the link between dispositions and conditionals. Finally, we developed our (...) own account of this link, which avoids all of the standard counterexamples and comports with the relevant structural considerations. In this paper, we reply to some objections. (shrink)

This collection brings together some of Frank Jackson's most influential essays on mind, action, conditionals, method in metaphysics, and ethics. These have each been revised for this edition, and are presented along with his challenge to orthodoxy on the new riddle of induction.

"If you turn left at the next corner, you will see a blue house at the end of the street." That sentence -- a conditional -- might be true even though it is possible that you will not see a blue house at the end of the street when you turn left at the next corner. A moving van may block your view; the house may have been painted pink; a crow might swoop down and peck out your eyes. Still, (...) in some contexts, we might ignore these possibilities and correctly assert the conditional. In this book, Christopher Gauker argues that such context-relativity is the key to understanding the semantics of conditionals. Contexts are defined as objective features of the situation in which a conversation takes place, and the semantic properties of sentences -- conditionals included -- are defined in terms of assertibility in a context. One of the primary goals of a theory of conditionals has to be to distinguish correctly between valid and invalid arguments containing conditionals. According to Gauker, an argument is valid if the conclusion is assertible in every context in which the premises are assertible. This runs counter to what Gauker sees as a systematic misreading of the data by other authors, who judge arguments to be invalid if they can think of a context in which the premises are judged true and some other context in which the conclusion is judged false. Different schools of thought on conditionals reflect fundamentally different approaches to semantics. Gauker offers his theory as a motive and test case for a distinctive kind of semantics that dispenses with reference relations and possible worlds. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

Draft of a paper for the Sinn und Bedeutung 14 conference. Explains how to capture the link between conditionals the probability of indicative conditionals and conditional probability using a classical semantics for conditionals. (Note: some introductory material is shared with a twin paper, "Capturing the Relationship Between Conditionals and Conditional Probability with a Trivalent Semantics".).

A paper by Schulz (Philos Stud 149:367–386, 2010) describes how the suppositional view of indicative conditionals can be supplemented with a derived view of epistemic modals. In a recent criticism of this paper, Willer (Philos Stud 153:365–375, 2011) argues that the resulting account of conditionals and epistemic modals cannot do justice to the validity of certain inference patterns involving modalised conditionals. In the present response, I analyse Willer’s argument, identify an implicit presupposition which can plausibly be denied (...) and show that accepting it would blur the difference between plain assumptions and their epistemic necessitations. (shrink)

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

This paper is obsolete. It is superseded by the book, Conditionals in Context, MIT Press, 2005.

Conditionals has at its center an extended essay on this problematic and much-debated subject in the philosophy of language and logic, which the widely respected Oxford philosopher Michael Woods had been preparing for publication at the time of his death in 1993. It appears here edited by his eminent colleague David Wiggins, and is accompanied by a commentary specially written by a leading expert on the topic, Dorothy Edgington. This masterly and original treatment of conditionals will demand the (...) attention of all philosophers working in this area. (shrink)

In a previous paper (see ‘Tolerant, Classical, Strict’, henceforth TCS) we investigated a semantic framework to deal with the idea that vague predicates are tolerant, namely that small changes do not affect the applicability of a vague predicate even if large changes do. Our approach there rests on two main ideas. First, given a classical extension of a predicate, we can define a strict and a tolerant extension depending on an indifference relation associated to that predicate. Second, we can use (...) these notions of satisfaction to define mixed consequence relations that capture non-transitive tolerant reasoning. Although we gave some empirical motivation for the use of strict and tolerant extensions, making use of them commits us to the view that sentences of the form ‘ p∨¬p ’ and ‘ p∧¬p ’ are not automatically valid or unsatisfiable, respectively. Some philosophers might take this commitment as a negative outcome of our previous proposal. We think, however, that the general ideas underlying our previous approach to vagueness can be implemented in a variety of ways. This paper explores the possibility of defining mixed notions of consequence in the more classical super/sub-valuationist setting and examines to what extent any of these notions captures non-transitive tolerant reasoning. (shrink)

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

I give an account of the compositional semantics of unconditionals (e.g. Whoever goes to the party, it will be fun) that explains their relationship to if -conditionals in the Lewis/Kratzer/Heim tradition. Unconditionals involve an alternative-denoting adjunct (in English in particular, a question-denoting adjunct) that supplies domain restrictions pointwise (in the sense of Hamblin) to a main-clause operator such as a modal. The differences from if -clauses follow from the structure of the adjuncts; both are conditionals in the Lewisian (...) sense. In the course of treating unconditionals, I provide a concrete implementation of conditionals where conditional adjuncts in general are a species of correlative, and show what detaching this hypothesis from if involves. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges (...) from each of the two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

There are passages in Fallacies suggesting a skeptical attitude to the very idea of inductive arguments, hence to the existence of inductive fallacies. Although the passages are brief and few in number, it would appear that Hamblin’s resistance stems from doubts about the existence of relations of inductive consequence. This paper attempts to find a case in which such skepticism might plausibly be grounded. The case it proposes is highly conjectural, but important if true. Its greater importance lies in (...) the threat it creates for the whole class of nonmonotonic logics. (shrink)

This collection introduces the reader to some of the most interesting current work on conditionals. Particular attention is paid to possible world semantics for conditionals, the role of conditional probability in helping us to understand conditionals, implicature and the material conditional, and subjunctive versus indicative conditionals. Contributors include V.H. Dudman, Dorothy Edgington, Nelson Goodman, H.P. Grice, David Lewis, and Robert Stalnaker.

According to the Ramsey Test, conditionals reflect changes of beliefs: α > β is accepted in a belief state iff β is accepted in the minimal revision of it that is necessary to accommodate α. Since Gärdenfors’s seminal paper of 1986, a series of impossibility theorems (“triviality theorems”) has seemed to show that the Ramsey test is not a viable analysis of conditionals if it is combined with AGM-type belief revision models. I argue that it is possible to (...) endorse that Ramsey test for conditionals while staying true to the spirit of AGM. A main focus lies on AGM’s condition of Preservation according to which the original belief set should be fully retained after a revision by information that is consistent with it. I use concrete representations of belief states and (iterated) revisions of belief states as semantic models for (nested) conditionals. Among the four most natural qualitative models for iterated belief change, two are identified that indeed allow us to combine the Ramsey test with Preservation in the language containing only flat conditionals of the form α > β. It is shown, however, that Preservation for this simple language enforces a violation of Preservation for nested conditionals of the form α > (β > γ). In such languages, no two belief sets are ordered by strict subset inclusion. I argue that it has been wrong right from the start to expect that Preservation holds in languages containing nested conditionals. (shrink)

Since its publication in 1989, David Sanford's If P Then Q has become one of the most widely respected works in the field of conditionals. This new edition includes three new chapters, thus updating the book to take into account developments in the area over the past fifteen years. Part One gives an historical overview of the history of philosophical treatments of conditionals, from ancient times until the contemporary development of possible worlds. In Part Two, Sanford puts forward (...) his own treatment of conditionals. (shrink)

Mackie, J. L. Causes and conditions.--Taylor, R. The metaphysics of causation.--Scriven, M. Defects of the necessary condition analysis of causation.--Kim, J. Causes and events: Mackie on causation.--Anscombe, G. E. M. Causality and determination.--Davidson, D. Causal relations.--Wright, G. H. von. On the logic and epistemology of the causal relation.--Ducasse, C. J. On the nature and the observability of the causal relation.--Sellars, W. S. Counterfactuals.--Chisholm, R. M. Law statements and counterfactual inference.--Rescher, N. Belief-contravening suppositions and the problem of contrary-to-fact conditionals.--Stalnaker, R. (...) A theory of conditionals.--Lewis, D. Causation.--Kim, J. Causes and counterfactuals. (shrink)

THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...

A number of authors have suggested that a conditional analysis of dispositions must take roughly the following form: Thing X is disposed to produce response R to stimulus S just in case, if X were exposed to S and surrounding circumstances were auspicious, then X would produce R. The great challenge is cashing out the relevant notion of ‘auspicious circumstances’. I give a general argument which entails that all existing conditional analyses fail, and that there is no satisfactory way to (...) define ‘auspicious circumstances’ just in terms of S, R, and X. Instead, I argue that the auspicious circumstances C for the manifestation of a disposition constitute a third irreducible element of that disposition, and that to pick out (or to ‘individuate’) that disposition one must specify C along with S and R. This enables a new conditional analysis of dispositions that gives intuitively satisfying answers in cases that pose problems for other approaches. (shrink)

I accept that 1 and 2 differ in truth-value, but see no reason why this requires two types of conditionals. Rather, the difference between 1 and 2 seems to me to be a difference in the antecedent and consequent conditions, flanking one and the same conditional. That is, I hold that the difference between 1 and 2 should not be thought of as per the schema: 1a. p C1 q 2a. p C2 q where C1 and C2 are two (...) different types of conditionals. The difference is better conceived via the schema: 1b. p1 C q1 2b. p2 C q2 which features a single type of conditional C flanked by different antecedent and consequent conditions: indicative and subjunctive conditions, respectively. (shrink)

The overall strategy of Lycan’s paper is to distinguish three kinds of conditional assertion theories, and then to show, in order, how they are variously afflicted by a set of problems. The three kinds of theory were the Quine-Rhinelander theory (or the Simple Illocutionary theory), The Semanticized Quine-Rhinelander, and the No Truth Value theory (or NTV). This strategy offers considerable clarity, but it comes at a cost, for what I take to be the best version of a conditional assertion theory (...) contains core parts of all three theories. In what follows, I will suggest that many of the objections offered by Lycan can be dealt when all the pieces are taken into consideration at the same time. But I will also suggest that a refined version of what Lycan called the Immediate Implausibility objection does show us that the conditional assertion theory is false. (shrink)

Municipal workplaces have high levels of sickness absence, and deterioration of the psychosocial work environment has been most pronounced for women and employees in this sector of Swedish working life. This study explores how female leaders in one rural municipality in Sweden experience their psychosocial working conditions and its health consequences. Interviews were carried out with 20 female leaders. Data were analyzed with a content analysis method using major dimensions of work stress models. These were job demands, job control, job (...) resources, social support, and its health consequences. The analysis shows that the leaders experience high and conflicting job demands, limited possibilities to influence their work situation, insufficient job resources and social support, and limited time for their own health promotion. However, the leaders experience possibilities to develop skills in their jobs and opportunities to participate in educational programs. The analyses confirm the need for improvements in the prerequisites for female leaders in public human service organizations. It is important to improve female leaders’ psychosocial working conditions by implementing a more narrow control range, increased personal and economical recourses, leadership support, and leader development programs. Keywords: Female leaders; psychosocial working conditions; job demands; job control; job resources; social support; health consequences; human service organizations (Published: 1 March 2013) Citation: Vulnerable Groups & Inclusion. http://dx.doi.org/10.3402/vgi.v4i0.19075. (shrink)

The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage. Formally, the model-theoretic framework is exchanged for a proof-theoretic framework. It is argued that contrary to the traditional view, proof-theoretic semantics is not revisionary, and should rather be seen as a formal semantics that can supplement model-theory. Specifically, there are (...) formal resources to provide a proof-theoretic semantics for both intuitionistic and classical logic. We develop a new perspective on proof-theoretic harmony for logical constants which incorporates elements from the substructural era of proof-theory. We show that there is a semantic lacuna in the traditional accounts of harmony. A new theory of how inference rules determine the semantic content of logical constants is developed. The theory weds proof-theoretic and model-theoretic semantics by showing how proof-theoretic rules can induce truth-conditional clauses in Boolean and many-valued settings. It is argued that such a new approach to how rules determine meaning will ultimately assist our understanding of the apriori nature of logic. (shrink)

Though it is standardly assumed that supervaluationism applied to vagueness is committed to global validity, Achille Varzi (2007) argues that the supervaluationist should take seriously the idea of adopting local validity instead. Varzi’s motivation for the adoption of local validity is largely based on two objections against the global notion: that it brings some counterexamples to classically valid rules of inference and that it is inconsistent with unrestricted higher-order vagueness. In this discussion I review these objections and point out ways (...) to address them not considered in Varzi’s paper. (shrink)

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will (...) win) translates into a factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. (shrink)

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 problem of analyzing causation and the problem of incompatibilism versus compatibilism are largely distinct. Yet, this paper will show that there are some theories of causation that a compatibilist should not endorse: namely, counterfactual theories, specifically the one developed by David Lewis and a newer, amended version of his account. Endorsing either of those accounts of causation undercuts the main compatibilist reply to a powerful argument for incompatibilism. Conversely, the argument of this paper has the following message for incompatibilists: (...) you have reason to consider defending a counterfactual theory of causation. (shrink)

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

Bolzano’s definition of consequence in effect associates with each set X of symbols (in a given interpreted language) a consequence relation X . We present this in a precise and abstract form, in particular studying minimal sets of symbols generating X . Then we present a method for going in the other direction: extracting from an arbitrary consequence relation its associated set C of constants. We show that this returns the expected logical constants from familiar consequence (...) relations, and that, restricting attention to sets of symbols satisfying a strong minimality condition, there is an isomorphism between the set of strongly minimal sets of symbols and the set of corresponding consequence relations (both ordered under inclusion). (shrink)

According to so-called epistemic theories of conditionals, the assertability/acceptability/acceptance of a conditional requires the existence of an epistemically significant relation between the conditional’s antecedent and its consequent. This paper points to some linguistic data that our current best theories of the foregoing type appear unable to explain. Further, it presents a new theory of the same type that does not have that shortcoming. The theory is then defended against some seemingly obvious objections.

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) (...) is not an esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the ?defective truth-table? in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous inference patterns (...) that do seem to be part of ordinary usage. However, coupled with something the probability account gives us?namely that when conditional-free ? entails conditional-free ?, ?if ? then ?? is a trivial, uninformative truth?we have enough logic to derive the paradoxes of material implication. It thus becomes a matter of some urgency to determine which inference patterns involving indicative conditionals participants do endorse. Only thus will we be able to arrive at a realistic, systematic semantics for the indicative conditional. (shrink)

Writers such as Stalnaker and Dummett have argued that specific features of subjunctive conditional statements undermine the principle of bivalence. This, paper is concerned with rebutting such claims. 1. It is shown how subjective conditionals pose a prima facie threat to bivalence, and how this threat can be dissolved by a distinction between the results of negating a subjective conditional and of negating its consequent. To make this distinction is to side with Lewis against Stalnaker in a dispute about (...) possible worlds semantics for such conditionals, and reasons are given for doing so. 2. These arguments are extended to answer Dummett''s claim that behaviourist and phenomenalist analyses in terms of subjunctive conditions violate bivalence. This answer is shown to be compatible with the principle that hypothetical statements are true only in virtue of categorical facts. (shrink)

This book by one of the world's foremost philosophers in the fields of epistemology and logic offers an account of suppositional reasoning relevant to practical deliberation, explanation, prediction and hypothesis testing. Suppositions made 'for the sake of argument' sometimes conflict with our beliefs, and when they do, some beliefs are rejected and others retained. Thanks to such belief contravention, adding content to a supposition can undermine conclusions reached without it. Subversion can also arise because suppositional reasoning is ampliative. These two (...) types of nonmonotonic logic are the focus of this book. A detailed comparison of nonmonotonicity appropriate to both belief contravening and ampliative suppositional reasoning reveals important differences that have been overlooked. (shrink)

This paper is chiefly aimed at individuating some deep, but as yet almost unnoticed, similarities between Aristotle's syllogistic and the Stoic doctrine of conditionals, notably between Aristotle's metasyllogistic equimodality condition (as stated at APr. I 24, 41b27–31) and truth-conditions for third type (Chrysippean) conditionals (as they can be inferred from, say, S.E. P. II 111 and 189). In fact, as is shown in §1, Aristotle's condition amounts to introducing in his (propositional) metasyllogistic a non-truthfunctional implicational arrow '', the (...) truth-conditions of which turn out to be logically equivalent to truth-conditions of third type conditionals, according to which only the impossible (and not the possible) follows from the impossible. Moreover, Aristotle is given precisely this non-Scotian conditional logic in two so far overlooked passages of (Latin and Hebraic translations of) Themistius' Paraphrasis of De Caelo (CAG V 4, 71.8–13 and 47.8–10 Landauer). Some further consequences of Aristotle's equimodality condition on his logic, and notably on his syllogistic (no <span class='Hi'>matter</span> whether modal or not), are pointed out and discussed at length. A (possibly Chrysippean) extension of Aristotle's condition is also discussed, along with a full characterization of truth-conditions of fourth type conditionals. (shrink)

This paper develops an interpretation of the fourth account of conditionals in Sextus Empiricus's Outlines of Pyrrhonism that conceptually links it with contemporary ?relevance? interpretations of entailment. It is argued that the third account of conditionals, which analyzes the truth of a conditional in terms of the joint impossibility of antecedent and denial of consequent, should not be interpreted in terms of a relative incompatibility of antecedent and denial of consequent because of Stoic acceptance of the truth of (...) some conditionals of the form p ? ?p and its converse. Rather, it is suggested, ancient attempts to avoid the so-called paradoxes of implication involve the fourth account of conditionals. I hypothesize that this account is related to Stoic attempts to define truth conditions for conditionals in terms of a theory of the concludency (validity) of arguments in opposition to the more common procedure (represented by the first three accounts of conditionals) of specifying truth conditions for conditionals ?semantically? and using those truth conditions in the development of a theory of argument validity. (shrink)

Adams’s Thesis, the claim that the probabilities of indicative conditionals equal the conditional probabilities of their consequents given their antecedents, has proven impossible to accommodate within orthodox possible-world semantics. This essay proposes a modification to the orthodoxy that removes this impossibility. The starting point is a proposal by Jeffrey and Stalnaker that conditionals take semantic values in the unit interval, interpreting these (à la McGee) as their expected truth-values at a world. Their theories imply a false principle, namely, (...) that the probability of a conditional is independent of any proposition inconsistent with its antecedent. But they also point to something important, namely, that our uncertainty about conditionals is not confined to uncertainty about the facts (what the actual world is like) but also expresses uncertainty about the counterfacts (what the world would be like if one or another supposition were true). To capture this observation, this essay proposes that the semantic contents of conditionals be treated as sets of vectors of possible worlds, not singleton worlds, with the coordinates of each specifying the world that is or would be true under the supposition that it represents. The probabilities of truth for conditionals will then depend on the joint probabilities of the facts and counterfacts, the latter in turn depending on the mode of supposition. The implication of this treatment is that the probabilities of conditionals are conditional probabilities whenever the mode of supposition is evidential. (shrink)

We investigated how people interpret conditionals and how stable their interpretation is over a long series of trials. Participants were shown the colored patterns on each side of a six-sided die, and were asked how sure they were that a conditional holds of the side landing upwards when the die is randomly thrown. Participants were presented with 71 trials consisting of all combinations of binary dimensions of shape (e.g., circles and squares) and color (e.g., blue and red) painted onto (...) the sides of each die. In two experiments (N1 = 66, N2 = 65), the conditional event was the dominant interpretation, followed by conjunction, and material conditional responses were negligible. In both experiments, the percentage of participants giving a conditional event response increased from around 40% at the beginning of the task to nearly 80% at the end, with most participants shifting from a conjunction interpretation. The shift was moderated by the order of shape and color in each conditional’s antecedent and consequent: participants were more likely to shift if the antecedent referred to a color. In Experiment 2 we collected response times: conditional event interpretations took longer to process than conjunction interpretations (mean difference 500 ms). We discuss implications of our results for mental models theory and probabilistic theories of reasoning. (shrink)

An analogy between functional dependencies and implicational formulas of sentential logic has been discussed in the literature. We feel that a somewhat different connexion between dependency theory and sentential logic is suggested by the similarity between Armstrong's axioms for functional dependencies and Tarski's defining conditions for consequence relations, and we pursue aspects of this other analogy here for their theoretical interest. The analogy suggests, for example, a different semantic interpretation of consequence relations: instead of thinking ofB as a (...) consequence of a set of formulas {A1,...,A n} whenB is true on every assignment of truth-values on which eachA i is true, we can think of this relation as obtaining when every pair of truth-value assignments which give the same truth-values toA 1, the same truth-values toA 2,..., and the same truth-values toA n, also make the same assignment in respect ofB. We describe the former as the consequence relation inference-determined by the class of truth-value assignments (valuations) under consideration, and the latter as the consequence relation supervenience-determined by that class of assignments. Some comparisons will be made between these two notions. (shrink)

In the present commentary, I argue that Foster has attacked an uncharitable reconstruction of Etchemendy's argument against Tarski's account of the logical properties. I provide an alternative, more charitable reconstruction of that argument that withstands Foster's objections.

In this paper Richard Jeffrey's 'Logic of Decision' is extended by examination of agents' attitudes to the sorts of possibilities identified by indicative conditional sentences. An expression for the desirability of conditionals is proposed and, along with Adams' thesis that the probability of a conditional equals the conditional probability of its antecedent given its consequent, is defended by informally deriving it from Jeffrey's notion of desirability and some weak constraints on rational preference for conditional possibilities. Finally a statement is (...) given of a representation theorem establishing the conditions under which a rational agent's preferences for conditionals determines the existence of unique measures (up to choice of scale) of her degrees of belief and desire. (shrink)

When philosophers and linguists theorize about the nature of conditionals, they tend to make a number of assumptions about the linguistic structure of these sentences. For example, they almost invariably assume that conditionals have “antecedents” and “consequents” and that these have the structure of independent clauses. With a few exceptions, they assume that conditionals are categorized according to whether they are in the “indicative” or the “subjunctive” “mood”. However, rarely do they formulate criteria for identifying these moods, (...) or for distinguishing between indicative and subjunctive conditionals.Through an analysis of the coordinated verb tense structures of the clauses of English conditionals, I challenge these and other related assumptions and show that the one relatively well-developed attempt to provide criteria for distinguishing between indicative and subjunctive conditionals---that of Gibbard (1980)---fails in its task. I then offer an alternative account of the linguistic structure of conditional constructions. To represent their structure I use first-order predicate logic with added devices to indicate deictic and anaphoric reference. (shrink)

In the present paper, we study some properties of matrices for non-structural consequence operators. These matrices were introduced in a former work (see [3]). In sections 1. and 2., general definitions and theorems are recalled; in section 3. a correspondence is studied, among our matrices and Wójcicki's ones for structural operators. In section 4. a theorem is given about operators, induced by submatrices or epimorphic images, or quotient matrices of a given one.Such matrices are used to characterize lattices of (...) non-structural consequence operators, by constructing lattices, antiisomorphic to them (see section 5.). In the last section, a sufficient condition is given for a non-structural operator to be finite. (shrink)

An examination of a particular passage in Cicero's De fato?Fat. 13?17?is crucial to our understanding of the Stoic theory of the truth-conditions of conditional propositions, for it has been uniquely important in the debate concerning the kind of connection the antecedent and consequent of a Stoic conditional should have to one another. Frede has argued that the passage proves that the connection is one of logical necessity, while Sorabji has argued that positive Stoic attitudes toward empirical inferences elsewhere suggest that (...) that cannot be the right interpretation of the passage. I argue that both parties to the debate have missed a position somewhere between them which both renders a connection between antecedent and consequent that is not merely empirical and makes sense of the actual uses to which the Stoics put the conditional. This will be an account which grounds the connection between antecedent and consequent in a prolêpsis, a special kind of concept which plays a special epistemological role for the Stoics, especially in grounding scientific explanations. My contention will be that Stoic conditionals are true when there is a conceptually necessary connection between antecedent and consequent such that the former explains the latter via a prolêpsis. (shrink)

An experimental study is reported which investigates the differences in interpretation between content conditionals (of various pragmatic types) and inferential conditionals. In a content conditional, the antecedent represents a requirement for the consequent to become true. In an inferential conditional, the antecedent functions as a premise and the consequent as the inferred conclusion from that premise. The linguistic difference between content and inferential conditionals is often neglected in reasoning experiments. This turns out to be unjustified, since we (...) adduced evidence on the basis of a quantitative and a qualitative analysis that this difference has a manifest psychological relevance. For the inferential conditionals, participants appear to retrieve the order of events of the original content conditional on which it was based, before they start reasoning with it. The implications of this finding for reasoning research and linguistics will be discussed. (shrink)

This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors''s (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (additions) are to be equated with logical expansions. If negated or might conditionals are interpreted on the basis (...) of autoepistemic omniscience, or if autoepistemic modalities (Moore) are admitted, even more severe triviality results ensue. It is argued that additions cannot be philosophically construed as parasitic (Levi) on expansions. In conclusion I outline somed logical consequences of the fact that we must not expect monotonic revisions in languages including conditionals. (shrink)

Inferential or epistemic conditional sentences represent a blueprint of someone’s reasoning process from premise to conclusion. Declerck and Reed (2001) make a distinction between a direct and an indirect type. In the latter type the direction of reasoning goes backwards, from the blatant falsehood of the consequent to the falsehood of the antecedent. We first present a modal reinterpretation in terms of Argumentation Schemes of indirect inferential conditionals (IIC’s) in Declerck and Reed (2001). We furthermore argue for a distinction (...) between epistemic-modal strong and deontic-modal weak IIC’s. In addition, we extend the category of the indirect inferential conditionals in order to include several other deontic-modal subtypes. On the basis of the undesirability of the consequent the hearer in these cases infers that the antecedent is also undesirable. In this way the rhetoric-argumentative strategy of Reductio ad Absurdum is extended from the realm of deductive reasoning to that of practical reasoning. (shrink)

Research on reasoning about consequential arguments has been an active but piecemeal enterprise. Previous research considered in depth some subclasses ofconsequential arguments, but further understanding of consequential arguments requires that we address their greater variety, avoiding the risk of over-generalisation from specific examples. Ideally we ought to be able to systematically generate the set of consequential arguments, and then engage in random sampling of stimuli within that set. The current article aims at making steps in that direction, using the theory (...) of utility conditionals as a way to generate a large set of consequential arguments, and offering one study illustrating how the theory can be used for the random sampling of stimuli. Itis expected that further use of this method will bring more diversity to experimental research on consequential arguments, and more robustness to models of argumentation from consequences. (shrink)

In my dissertation I offer what I take to be a novel and compelling response to the consequence argument: the argument that if causal determinism is true, then the past history of the world and the laws of nature together determine everything that will happen in the future&mdashincluding my actions and in fact every action ever done by anyone. I begin by noting and emphasizing a parallel between the consequence argument and the skeptical argument, which leads us to (...) ask whether a response to the latter can be modified and applied to the former. In preparation for that undertaking, we examine two influential responses to the consequence argument—backtracking compatibilism and local miracle compatibilism—both of which claim that if we were to do otherwise (and if determinism is true), then a certain counterfactual conditional would be true. Although I don't fully endorse either of these responses, I do explain how they point us in the right direction.I then turn to the skeptical argument, and in particular the contextualist response to the skeptical argument. Although I don't fully endorse contextualism either, I do emphasize a virtue of the view, namely that it explains how the skeptical argument can seem so compelling even though, in ordinary circumstances, its conclusion strikes us as wildly implausible. Finally, I offer my response to the consequence argument. I begin by adopting and extending a philosophical methodology labeled “southern fundamentalism.” The first move in my response is to argue that we should endorse an “austere” conception of acting freely according to which it does not require being able to do otherwise than we actually do, as an extension of the actual past (consistent with the laws of nature). I then provide a contextualist explanation of how we can be led (astray) by the consequence argument into thinking that this condition is required for acting freely when in fact it is not. Thus I hope to have provided not only a new and compelling response to the consequence argument, but also a foray into some woefully under-explored territory: the intersection of agency theory and epistemology. (shrink)

First, we prove that the lattice of all structural strengthenings of a given strongly finite consequence operation is both atomic and coatomic, it has finitely many atoms and coatoms, each coatom is strongly finite but atoms are not of this kind — we settle this by constructing a suitable counterexample. Second, we deal with the notions of hereditary: algebraicness, strong finitisticity and finite approximability of a strongly finite consequence operation. Third, we formulate some conditions which tell us when (...) the lattice of all structural strengthenings of a given strongly finite consequence operation is finite, and subsequently we give some applications of them. (shrink)

Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. DOI:10.5007/1808-1711.2010v14n1p47.

We investigated how people interpret conditionals and how stable their interpretation is over a long series of trials. Participants were shown the colored patterns on each side of a six-sided die, and were asked how sure they were that a conditional holds of the side landing upwards when the die is randomly thrown. Participants were presented with 71 trials consisting of all combinations of binary dimensions of shape (e.g., circles and squares) and color (e.g., blue and red) painted onto (...) the sides of each die. In two experiments (N1 = 66, N2 = 65), the conditional event was the dominant interpretation, followed by conjunction, and material conditional responses were negligible. In both experiments, the percentage of participants giving a conditional event response increased from around 40% at the beginning of the task to nearly 80% at the end, with most participants shifting from a conjunction interpretation. The shift was moderated by the order of shape and color in each conditional’s antecedent and consequent: participants were more likely to shift if the antecedent referred to a color. In Experiment 2 we collected response times: conditional event interpretations took longer to process than conjunction interpretations (mean difference 500 ms). We discuss implications of our results for mental models theory and probabilistic theories of reasoning. (shrink)

I propose an explanation for reasoning about counterfactual conditionals. We reason properly to a counterfactual if A, C, when we imagine A along with cotenable background conditions, then properly infer C. Proper inference in my sense is just the same sort of inference that is proper in cases of theoretical reasoning with beliefs. (Roughly: a proper inference is warrant-transferring from belief in A and the background conditions to C.) Cotenability for counterfactuals is explained by reference to our abilities to (...) attribute beliefs to others, given sincere testimony. (Roughly: p is cotenable with A just in case it would be reasonable to attribute the belief that p to a person who sincerely asserted A, in the conversational context.) I close with a proposal for the semantics of counterfactual conditionals. To assert the counterfactual is merely to claim that (the conditions are such that) there is an available inference from the antecedent, with the cotenable conditions, to the consequent. (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.