von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the (...) small amount of subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (shrink)

Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 (...) explain how the view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

This paper is intended to show that, at least in a considerably wide class of cases, indicative conditionals are adequately formalized as strict conditionals. The first part of the paper outlines three arguments that support the strict conditional view, that is, three reasons for thinking that an indicative conditional is true just in case it is impossible that its antecedent is true and its consequent is false. The second part of the paper develops the strict (...) conditional view and defends it from some foreseeable objections. (shrink)

With regard to the morality of war, political philosophers have defended one of two basic positions, just war theory or absolute pacifism, but between thesetwo opposing views are various moderate positions. Throughout its long history, the Catholic Church has taken various stances, some strong and others more moderate, on the question of war. Unfortunately, the most recent formulation of the Church’s position is a moderate position without clear guidelines. In this paper I argue that if one wishes to maintain that (...) war is permissible in certain circumstances, it is important to have a position which rules out certain other types of wars as wrong in principle. Neither conditional pacifism nor the modern formulation of just war theory provides such a principled position; instead, the most plausible attempt to place the appropriate limits on war ought to begin from traditional just war theory. This view, which I refer to as strict just war theory, emphasizes particular aspects of traditional just war theory. (shrink)

With regard to the morality of war, political philosophers have defended one of two basic positions, just war theory or absolute pacifism, but between thesetwo opposing views are various moderate positions. Throughout its long history, the Catholic Church has taken various stances, some strong and others more moderate, on the question of war. Unfortunately, the most recent formulation of the Church’s position is a moderate position without clear guidelines. In this paper I argue that if one wishes to maintain that (...) war is permissible in certain circumstances, it is important to have a position which rules out certain other types of wars as wrong in principle. Neither conditional pacifism nor the modern formulation of just war theory provides such a principled position; instead, the most plausible attempt to place the appropriate limits on war ought to begin from traditional just war theory. This view, which I refer to as strict just war theory, emphasizes particular aspects of traditional just war theory. (shrink)

In this dissertation I provide a novel logic of the ordinary-language conditional. First, however, I endeavor to make clearer and more precise just what the objects of the study of the conditional are, as a lack of clarity as to what counts as an instance of a given category of conditional has resulted in deep and significant confusions in subsequent analysis. I motivate for a factual/counterfactual distinction, though not at the level of particular instances of the (...) class='Hi'>conditional. Instead, I argue that each individual instance of the conditional may be interpreted either factually or counterfactually, rather than these instances dividing into distinct types. I examine the classic Oswald–Kennedy pair of sentences, typically taken to be the quintessential example of how conditionals must be split into two different categories, to show that they in fact do not demonstrate this. I then present my account of the logic underlying the ordinary-language conditional, the system C3, and a justification of the form it takes. This logic provides distinct interpretations of the conditional as it concerns what is factual or what is counterfactual, respectively. The factual interpretation is true when both antecedent and consequent are true at the actual world, false when the antecedent is true and consequent false, and not truth-apt otherwise. The counterfactual interpretation incorporates a ceteris paribus clause, ensuring that it is not falsified by extraordinary, unforeseeable occurrences, and is true when, at all worlds at which the antecedent is ceteris paribus true, the consequent too is true. It is false when, at any of these worlds the consequent is false; and not truth-apt otherwise. I go on to examine alternative theories of the conditional—from the suppositionalist approach to evaluating the putative indicative conditional, to Stalnaker’s combined indicative and counterfactual account, and Lewis’s analysis of the counterfactual; among a number of others—and offer comparison to my own theory. Finally, I look at various challenges to my account of the conditional. Being a strict conditional (albeit variably so), that of C3 is open to the objection that it fails to match ordinary speakers’ intuitions as regards its truth-value assignments to, for instance, conditionals with necessarily true consequents. I address these so- called paradoxes of the strict conditional, and also discussion the question of truth-preservation in the C3 system in the case of such inferences as those relying on transitivity and that of modus ponens. I maintain that these inferences are indeed truth-preserving under certain, specifiable, conditions, and I close by offering possible avenues for further research. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

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

Can autonomous systems replace humans in the performance of their activities? How does the answer to this question inform the design of autonomous systems? The study of technical systems and their features should be preceded by the study of the activities in which they play roles. Each activity can be described by its overall goals, governing norms and the intermediate steps which are taken to achieve the goals and to follow the norms. This paper uses the activity realist approach to (...) conceptualize autonomous systems in the context of human activities. By doing so, it first argues for epistemic and logical conditions that illustrate the limitations of autonomous systems in tasks which they can and cannot perform, and then, it discusses the ramifications of the limitations of system autonomy on the design of autonomous systems. (shrink)

The most popular and convincing arguments for the claim that vegetarianism is morally obligatory focus on the extensive, unnecessary harm done to animals and to the environment by raising animals industrially in confinement conditions (factory farming). I outline the strongest versions of these arguments. I grant that it follows from their central premises that purchasing and consuming factoryfarmed meat is immoral. The arguments fail, however, to establish that strict vegetarianism is obligatory because they falsely assume that eating vegetables is (...) the only alternative to eating factory-farmed meat that avoids the harms of factory farming. I show that these arguments not only fail to establish that strict vegetarianism is morally obligatory, but that the very premises of the arguments imply that eating some (non-factory-farmed) meat rather than only vegetables is morally obligatory. Therefore, if the central premises of these usual arguments are true, then strict vegetarianism is immoral. (shrink)

We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a combinatorial characterisation of Boolean algebras which carry a strictly positive finitely additive finite measure with some additional properties, such as separability or nonatomicity. A possible consistent characterisation for an algebra to carry a separable separable positive measure was suggested by Talagrand in 1980, which is that the Stone space K of the algebra satisfies that its (...) space M(K) of measures is weakly separable, equivalently that C(K) embeds into l∞. We show that there is a ZFC example of a Boolean algebra (so of a compact space) which satisfies this condition and does not support a separable strictly positive measure. However, we use this property as a tool in a proof which shows that under MA+⇁ CH every atomless ccc Boolean algebra of size < c carries a nonatomic strictly positive measure. Examples are given to show that this result does not hold in ZFC. Finally, we obtain a characterisation of Boolean algebras that carry a strictly positive nonatomic measure in terms of a chain condition, and we draw the conclusion that under MA+⇁ CH every atomless ccc Boolean algebra satisfies this stronger chain condition. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

The strict dominance principle that a wager always paying better than another is rationally preferable is one of the least controversial principles in decision theory. I shall show that (given the Axiom of Choice) there is a contradiction between strict dominance and plausible isomorphism or symmetry conditions, by showing how in several natural cases one can construct isomorphic wagers one of which strictly dominates the other. In particular, I will show that there is a pair of wagers on (...) the outcomes of a uniform spinner which differ simply in where the zero degrees point of the spinner is defined to be but where one wager dominates the other. I shall also argue that someone who accepts Williamson’s famous argument that the probability of an infinite sequence of heads is zero should accept the symmetry conditions, and thus has reason to weaken the strict dominance principle, and I shall propose a restriction of the principle to “implementable” wagers. Our main result also has implications for social choice principles. (shrink)

The variably strict analysis of conditionals does not only largely dominate the philosophical literature, since its invention by Stalnaker and Lewis, it also found its way into linguistics and psychology. Yet, the shortcomings of Lewis–Stalnaker’s account initiated a plethora of modifications, such as non-vacuist conditionals, presuppositional indicatives, perfect conditionals, or other conditional constructions, for example: reason relations, difference-making conditionals, counterfactual dependency, or probabilistic relevance. Many of these new connectives can be treated as strengthened or weakened conditionals. They are (...) definable conditionals. This article develops a technique to infer the logic for such definable conditionals from the known logic of the underlying defining conditional. The technique is applied to central examples. The results show that a large part of the zoo of conditionals arises from a basic conditional—a constant nucleus of the different contextual and conceptual variations of variably strict conditionals. (shrink)

In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have (...) been produced over the past 50 years. In this paper I survey some recent attempts to come to terms with the problem of encoding evidential support or relevance in the logic of conditionals. I present models in a qualitative-modal and in a quantitative-probabilistic setting. Focussing on some particular examples, I show that no perfect match between the two kinds of settings has been achieved yet. (shrink)

The paper focuses on a recent challenge brought forward against the interventionist approach to the meaning of counterfactual conditionals. According to this objection, interventionism cannot account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection. Furthermore, we will extend the well-known logic of intervention with a new operator expressing an alternative notion of intervention that does away with strict interventionism. This new notion (...) of intervention operates on the valuation of the variables in a causal model, and not on their functional dependencies. (shrink)

Poetry doesn't write about what it writes about. Critics may now agree that this tends to be so, but why? Is it, as here argued, inherently so because of poetry's two or more rhythm-levels? Or is it, as many "explicating" critics imply, noninherently and only recently so because of the two or more diction-levels of the symbolist heritage? If the answer to the latter question is no, then the explicators have brought us to a blind alley by being oversubtle about (...) the ambiguities and ambivalences of diction and undersubtle about those of rhythm. The fact that good prose also has two rhythm-levels is not to the point. The tension between two irregular rhythms, as in prose, is simply not the same as that between one irregularity and one formal, traditionally shared regularity in poetry. The half-conscious uncovering of rhythm's hidden language helps explain an ancient truth: unlike a prose essay, a tragic poem or a tragic verse-play may leave the reader feeling exalted while an exalting love poem may leave him mournful. The explanation is not some miraculous "transcending" of tragedy and of the human condition but the uncovering of a palimpsest layer. What will be needed, from now on, are not generalizations but precise trochee-by-iamb-by-spondee analyses of why the relevant passages in King Lear, for example, achieve tragic joy by means of the joy-connoting rhythms beneath the somber words. While translating certain German and Russian poets of our century, I am also making a parallel analysis in parallel languages. My conclusion: the future translator should consult his dictionary less and his ear more . Poets, then, are not our Shelleyan "unacknowledged legislators" but our unacknowledged kinaesthesia. Peter Viereck, professor of European and Russian history at Mount Holyoke College, received the Pulitzer Prize for his book of poems, Terror and Decorum ; this and his Conservatism Revisited and The Unadjusted Man have recently been reprinted by Greenwood Press. In a slightly revised version, "Strict Form in Poetry" appears as the appendix in his book of poems, Applewood, for which he has been awarded a fellowship by the Artists Foundation. See also: "On the Measure of Poetry" by Howard Nemerov in Vol. 6, No. 2. (shrink)

I present two Triviality results for Kratzer's standard “restrictor” analysis of indicative conditionals. I both refine and undermine the common claim that problems of Triviality do not arise for Kratzer conditionals since they are not strictly conditionals at all.

Let F be a signature and R a strictly orthogonal rewrite system on ground terms of F . We give an effective proof of a bounding condition for R , based on a detailed analysis of how terms are transformed during the rewrite process, which allows us to give recursive bounds on the derivation lengths of terms. We give a syntactic characterisation of the Grzegorczyk hierarchy and a rewriting schema for calculating its functions. As a consequence of this, using results (...) of Elias Tahhan–Bittar, it can be shown that, for n⩾3 , the derivation length functions for functions in Grzegorczyk class E n belong to Grzegorczyk class E n+1 . We also give recursive bounds for the derivation lengths of functions defined by parameter recursion. (shrink)

The aim of this paper is to determine the plausibility of Robert Kirk's strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer's notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to (...) make the thesis vacuous. Third, Kirk's claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel's classical model. Finally, Kirk's claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

Scoring rules measure the deviation between a forecast, which assigns degrees of confidence to various events, and reality. Strictly proper scoring rules have the property that for any forecast, the mathematical expectation of the score of a forecast p by the lights of p is strictly better than the mathematical expectation of any other forecast q by the lights of p. Forecasts need not satisfy the axioms of the probability calculus, but Predd et al. [9] have shown that given a (...) finite sample space and any strictly proper additive and continuous scoring rule, the score for any forecast that does not satisfy the axioms of probability is strictly dominated by the score for some probabilistically consistent forecast. Recently, this result has been extended to non-additive continuous scoring rules. In this paper, a condition weaker than continuity is given that suffices for the result, and the condition is proved to be optimal. (shrink)

It can be said that Formal Logic begun by studying an idealization of the statements ’if p, then q’, something coming from long ago in both Greek and Scholastic Philosophy. Nevertheless, only in the XX Century it arrived at a stage of formalization once in 1910 Russell introduced and identified the ’material conditional’ with the expresion ”not p or q”. In 1918, and from paradoxical conditionals like ”If the Moon is a cheese, it is a Lyon’s face”, Lewis critiziced (...) the material conditional and introduced the so-called ’strict conditional’ as the modal necessity of the material one. In 1934, Huntington proved that both material and strict implications are coincidental in the setting of Boolean algebras and, hence, that they only can be actually different in algebraic structures weaker than Boolean algebras. Boolean algebras have too much laws for supporting the difference of both conditionals. This paper is nothing else than an algebraic trial to find simple binary Boolean operations able to express Lewis’ strict implication, and contains a new and simpler proof than that of Huntington, made by identifying ’possible’ with ’non self-contradictory’. By the way, it is shown that this proof is only valid in Boolean algebras, but neither in proper De Morgan algebras, nor in proper Ortholattices, with which it still remains open where the two conditional relations are actually different. (shrink)

Standard conditionals $\varphi > \psi$, by which I roughly mean variably strict conditionals à la Stalnaker and Lewis, are trivially true for impossible antecedents. This article investigates three modifications in a doxastic setting. For the neutral conditional, all impossible-antecedent conditionals are false, for the doxastic conditional they are only true if the consequent is absolutely necessary, and for the metaphysical conditional only if the consequent is ‘model-implied’ by the antecedent. I motivate these conditionals logically, and also (...) doxastically by properties of conditional belief and belief revision. For this I show that the Lewisian hierarchy of conditional logics can be reproduced within ranking semantics, provided we slightly stretch the notion of a ranking function. Given this, acceptance of a conditional can be interpreted as a conditional belief. The epistemic and the neutral conditional deviate from Lewis’ weakest system $V$, in that ID or even CN are dropped, and new axioms appear. The logic of the metaphysical conditional is completely axiomatised by $V$ to which we add the known Kripke axioms T5 for the outer modality. Related completeness results for variations of the ranking semantics are obtained as corollaries. (shrink)

This paper investigates the implicative conditional, a connective intended to describe the logical behavior of an empirically defined class of natural language conditionals, also named implicative conditionals, which excludes concessive and some other conditionals. The implicative conditional strengthens the strict conditional with the possibility of the antecedent and of the contradictory of the consequent. $${p\Rightarrow q}$$ p ⇒ q is thus defined as $${\lnot } \Diamond {(p \wedge \lnot q) \wedge } \Diamond {p \wedge } \Diamond (...) {\lnot q}$$ ¬ ◊ ( p ∧ ¬ q ) ∧ ◊ p ∧ ◊ ¬ q. We explore the logical properties of this conditional in a reflexive normal Kripke semantics, provide an axiomatic system and prove it to be sound and complete for our semantics. The implicative conditional validates transitivity and contraposition, which we take to be integral parts of reasoning and communication. But it only validates restricted versions of strengthening the antecedent, right weakening, simplification, and rational monotonicity. Apparent counterexamples to some of these properties are explained as due to contextual factors. Finally, the implicative conditional avoids the paradoxes of material and strict implication, and validates some connexive principles such as Aristotle’s theses and weak Boethius’ thesis, as well as some highly entrenched principles of conditionals, such as conjunction of consequents, disjunction of antecedents, modus ponens, cautious monotonicity and cut. (shrink)

Bare conditionals, I argue, exhibit Conditional Duality in that when they appear in downward entailing environments they differ from bare conditionals elsewhere in having existential rather than universal force. Two recalcitrant phenomena are shown to find a new explanation under this thesis: bare conditionals under only, and bare conditionals in the scope of negative nominal quantifiers, or what has come to be known as Higginbotham’s puzzle. I also consider how bare conditionals behave when embedded under negation, arguing that such (...) conditionals often involve denial negation. One important conclusion that emerges from the discussion is that an account of bare conditionals that validates Conditional Excluded Middle is not warranted. By limiting the scope of the strict analysis Conditional Duality is also a way of maintaining such an account. (shrink)

Two classically equivalent, but constructively inequivalent, strict convexity properties of a preference relation are discussed, and conditions given under which the stronger notion is a consequence of the weaker. The last part of the paper introduces uniformly rotund preferences, and shows that uniform rotundity implies strict convexity. The paper is written from a strictly constructive point of view, in which all proofs embody algorithms. MSC: 03F60, 90A06.

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a (...) species of variably strict conditional I hope to shed new light upon their content and their logic. (shrink)

Some of the information we receive comes to us in an explicitly conditional form. It is an open question how to model the accommodation of such information in a Bayesian framework. This paper presents data suggesting that there may be no strictly Bayesian account of updating on conditionals. Specifically, the data seem to indicate that such updating at least sometimes proceeds on the basis of explanatory considerations, which famously have no home in standard Bayesian epistemology. The paper also proposes (...) a still broadly Bayesian model of updating on conditionals that explicitly factors in explanation. The model is shown to have clear empirical content and thus to be open to empirical testing. (shrink)

The aim of this paper is to determine the plausibility of Robert Kirk’s strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer’s notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to (...) make the thesis vacuous. Third, Kirk’s claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel’s classical model. Finally, Kirk’s claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

This article introduces the classic accounts of the meaning of conditionals (material implication, strict implication, variably strict conditional) and discusses the difference between indicative and subjunctive/counterfactual conditionals. Then, the restrictor analysis of Lewis/Kratzer/Heim is introduced as a theory of how conditional meanings come about compositionally: if has no meaning other than serving to mark the restriction to an operator elsewhere in the conditional construction. Some recent alternatives to the restrictor analysis are sketched. Lastly, the interactions (...) of conditionals (i) with modality and (ii) with tense and aspect are discussed. Throughout the advanced research literature is referenced while the discussion stays largely non-technical. (shrink)

Subjunctive conditionals are fundamental to rational decision both in single agent and multiple agent decision problems. They need explicit analysis only when they cause problems, as they do in recent discussions of rationality in extensive form games. This paper examines subjunctive conditionals in the theory of games using a strict revealed preference interpretation of utility. Two very different models of games are investigated, the classical model and the limits of reality model. In the classical model the logic of backward (...) induction is valid, but it does not use subjunctive conditionals; the relevant subjunctive conditionals do not even make sense. In the limits of reality model the subjunctive conditionals do make sense but backward induction is valid only under special assumptions. (shrink)

ABSTRACT This article contributes to methodological debates in contemporary critical theory regarding the scope and features of immanent critique. I spell out the philosophical commitments presupposed by this approach to criticism and identify its basic features by comparing it with more recognizable argumentative or interpretative strategies. This comparison yields three immanent-critical requirements – for inherence, contradiction, and access – which bring into relief the heuristic and ampliative character of immanent criticism. Yet, these requirements also imply that “immanent critique” is not (...) a method in any strict sense, since they are multiply interpretable and hence generative of distinctive critical comportments. (shrink)

Philippe Schlenker gives a method of deriving local contexts from an expression’s classical semantics. In this paper I show that this method, when applied to the traditional variably strict semantics for subjunctive conditionals of Robert Stalnaker, David Lewis, and Angelika Kratzer, delivers an empirically incorrect prediction. The prediction is that the antecedent of a conditional should have the whole domain of possible worlds as its local context and therefore should be allowed to have only necessary presuppositions. In the (...) later part of the paper, I suggest the outlines of a solution to the problem. The solution involves adding a shifting contextual restriction on the domain of possible worlds. (shrink)

The idea that sociology has the status of a strict science—that is, that sociology, like mathematics, has at its disposal a well-founded, deductive system of propositions—is nowadays rejected even more by its pragmatic advocates than by its skeptical practitioners; it is refuted both by the arbitrary manipulation of sociology’s internally constitutive, theoretical interconnections at the hands of practical interests and technocratic utility, and by the resultant increasing relativization of its findings. However, as we shall see, the arbitrariness of the (...) treatment of sociology does not correspond with any arbitrariness in its object. On the contrary, with all empirical relativity a structural constancy persists in the agency constructing, comparing, and evaluating the experience of the everyday world, as well as scientific experience. This was precisely Kant’s discovery, that the conditions making possible our primary experience of objects must be, at the same time, the constitutive structure of the objects themselves, and also the framework for the scientifically systematic treatment of them, because otherwise there could be no knowledge in the sense of the structural identification of object, experience, and reflection. This Kantian principle guarantees, then, that sociology is indeed possible as a strict science; that is, it is completely possible as an integral, deductive aspect of theory, as long as we reconstruct, by means of axioms and postulates, the constitution of the object of theory out of the structure of our direct interpersonal experience. In this vein, Rene König, a pioneer in modern German social science, states. (shrink)

This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared by (...) a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

This thesis extends Kit Fine's truthmaker semantics for counterfactuals to indicative conditionals. First, I provide Fine's truthmaker semantics and his extension to counterfactuals. Then I introduce a notion of context state into the semantics and provide the verification-conditions for indicative conditionals by employing this notion of context state. Afterwards, I turn to the logic of indicative conditionals under exact semantics and discuss the principles and inference rules which raise disagreements between variably strict and strict conditionals accounts. The account (...) I provide shows its promise by validating a plausible combination of principles and strikes a balance between variably strict and strict conditional theories. I discuss certain principles in logic of indicative conditionals under exact semantics in detail and show how the present account validates the plausible combination of them. In the end, I draw comparisons between the viable theories for indicatives and the present one, and argue that the present account takes the advantage in several respects. (shrink)

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)

This paper presents a new system of conditional logic B2, which is strictly intermediate in strength between the existing systems B1 and B3 from John Burgess (1981) and David Lewis (1973a). After presenting and motivating the new system, we will show that it is characterized by a natural class of frames. These frames correspond to the idea that conditionals are about which worlds are nearly closest, rather than which worlds are closest. Along the way, we will also give new (...) characterization results for B1 and B3, along with two other new systems B1.1 and B1.2. (shrink)

Two experiments were conducted to show that the IF … THEN … rules used in the different versions of Wason 's selection task are not psychologically—though they are logically—equivalent. Some of these rules are considered by the participants as strict logical conditionals, whereas others are interpreted as expressing a biconditional relationship. A deductive task was used jointly with the selection task to show that the original abstract rule is quite ambiguous in this respect, contrary to deontic rules: the typical (...) “error” made by most people may indeed be explained by the fact that they consider the abstract rule as a biconditional. Thus, there is no proper error or bias in the selection task as it is still argued, but a differential interpretation of the rule. The need for taking into account a pragmatic component in the process of reasoning is illustrated by the experiments. (shrink)

We give necessary and sufficient conditions for a scoring rule to be proper for a quantile if utility is linear, and the distribution is unrestricted. We also give results when the set of distributions is limited, for example, to distributions that have first moments.

Recent work in contemporary compatibilist theory displays considerable sophistication and subtlety when compared with the earlier theories of classical compatibilism. Two distinct lines of thought have proved especially influential and illuminating. The first developed around the general hypothesis that moral sentiments or reactive attitudes are fundamental for understanding the nature and conditions of moral responsibility. The other important development is found in recent compatibilist accounts of rational self-control or reason responsiveness. Strictly speaking, these two lines of thought have developed independent (...) of each other. However, in the past decade or so they have been fused together in several prominent statements of compatibilist theory. I will refer to theories that combine these two elements in this way as RS theories. RS theories face a number of familiar difficulties that relate to each of their two components. Beyond this, they also face a distinct set of problems concerning how these two main components relate or should be integrated. My concerns in this paper focus primarily on this set of problems. According to one version of RS compatibilism, the role of moral sentiments is limited to explaining what is required for holding an agent responsible. In contrast with this, the role of reason responsiveness is to explain what moral capacities are required for an agent to be responsible, one who is a legitimate or fair target of our moral sentiments. More specifically, according to this view, moral sense is not required for rational selfcontrol or reason responsiveness. There is, therefore, no requirement that the responsible agent has some capacity to feel moral sentiment. Contrary to this view, I argue that a responsible agent must be capable of holding herself and others responsible. Failing this, an agent’s powers of rational self-control will be both limited and impaired. In so far as holding responsible requires moral sense, it follows that being responsible also requires moral sense. (shrink)

Günther recently suggested a 'new‘ conditional. This conditional is not new, as already remarked by Wansing and Omori. It is just David Lewis‘ forgotten alternative 'doctored‘ conditional and part of a larger class termed neutral conditionals. In this paper, I answer some questions raised by Wansing and Omori, concerning the motivation, the logic, the connexive flavor and contra-classicality of such neutralized conditionals. The main message being: Neutralizing a vacuist conditional avoids (some) paradoxes of strict implication, (...) changes the logic essentially only by Aristotle‘s Thesis, makes strong connexivity impossible, and remains in the realm of non-contra-classical logics. (shrink)

Controversy has surrounded the interpretation of the so-called 'Diodorean' and 'Chrysippean' conditionals of the Stoics. I critically evaluate and reject two interpretations of each of them: as expressing natural laws, and as strict conditionals. In doing so I engage with the work of authors such as Frede, Gould, Hurst, the Kneales, Mates, and Prior. I conclude by offering my own proposal for where these Stoic conditionals should be located on a 'ladder' of logical strength.

Does the desirability of a proposition depend on whether it is true? Not according to the Invariance assumption, held by several notable philosophers. The Invariance assumption plays an important role in David Lewis’ famous arguments against the so-called Desire-as-Belief thesis (DAB), an anti-Humean thesis according to which a rational agent desires a proposition exactly to the degree that she believes the proposition to be desirable. But the assumption is of interest independently of Lewis’ arguments, for instance since both Richard Jeffrey (...) and James Joyce make the assumption (or, strictly speaking, accept a thesis that implies Invariance) in their influential books on decision theory. The main claim to be defended in this paper is that Invariance is incompatible with certain assumptions of decision theory. I show that the assumption fails on the most common interpretations of desirability and/or choice-worthiness found in decision theory. I moreover show that Invariance is inconsistent with Richard Jeffrey’s decision theory, on which Lewis’ arguments against DAB are based. Finally, I show that Invariance contradicts how we in general do and should think about conditional desirability. (shrink)

As the paper explains, it is crucial to epistemology in general and to the theory of causation in particular to investigate the properties of conditional independence as completely as possible. The paper summarizes the most important results concerning conditional independence with respect to two important representations of epistemic states, namely (strictly positive) probability measures and natural conditional (or disbelief or ranking) functions. It finally adds some new observations.