Functionalism is the view that being x is to play the role of x. This paper defends a functionalist account of three-dimensional entities in the context of Wave Function Realism (WFR), that can explain in detail how we can recover three-dimensional entities out of the wavefunction. In particular, the essay advocates for a novel version of WFR in terms of a functional reductionist approach in the style of David Lewis. This account entails reduction of the upper entities to the bottom (...) ones, when the latter behave appropriately. As applied to WFR, it shows how the wavefunction can turn out to be identical to three-dimensional objects, provided certain conditions. The first major goal of the paper is thus to put forward an improved and more rigorous version of WFR, which dissolves several extant issues about the theory, and can serve as a starting point for future literature on the topic. Moreover, the second major goal of the article is to take WFR as a case study to demonstrate the pros of functional reductionism, especially in the form defended here, thereby helping to bring this view back in the philosophy of science debate. The positive upshots of this paper suggest a possible application of functional reductionism also to other contexts. (shrink)

I present and explain the Bohmian account of collapse in quantum mechanics.

Roderich Tumulka’s GRWf theory offers a simple, realist and relativistic solution to the measurement problem of quantum mechanics. It is achieved by the introduction of a stochastic dynamical collapse of the wavefunction. An issue with dynamical collapse theories is that they involve an amendment to the Schrodinger equation; amending the dynamics of such a tried and tested theory is seen by some as problematic. This paper proposes an alteration to GRWf that avoids the need to amend the Schrodinger equation via (...) what might be seen as a primary set of solutions to the Schrodinger equation that satisfy a normalisation condition over space and time. The traditional Born-normalised solutions are shown to be conditionalisations of these primary solutions. (shrink)

Balance Theory: A Unified Solution to General Relativity and Quantum Mechanics -/- For over a century, physicists have struggled to reconcile General Relativity (GR) and Quantum Mechanics (QM) into a single unified framework. General Relativity explains the large-scale structure of the universe, governing stars, black holes, and the motion of galaxies. In contrast, Quantum Mechanics describes the microscopic world of particles and forces at the atomic and subatomic levels. These two pillars of modern physics work remarkably well in their respective (...) domains, but they fundamentally contradict each other. -/- A major challenge is that GR treats spacetime as a smooth and continuous fabric, while QM operates in a probabilistic, discrete world of quantum states and uncertainty. When scientists try to apply quantum rules to gravity, mathematical inconsistencies arise, leading to unsolvable infinities and singularities. The lack of a unified theory has prevented a deeper understanding of black holes, the early universe, and the fundamental nature of reality. -/- The Balance Theory Approach -/- Balance Theory proposes that the universe follows a fundamental principle of equilibrium, ensuring that physical laws remain consistent across all scales. Instead of treating gravity and quantum mechanics as separate forces, this approach suggests they emerge from a deeper law of balance that governs all interactions. -/- According to this perspective, nature constantly self-corrects to maintain balance. Just as biological systems regulate themselves to sustain life, and economic markets adjust supply and demand, the universe itself operates under a balancing principle that ensures coherence between the macroscopic and microscopic realms. -/- Gravity as a Balanced Phenomenon -/- In classical General Relativity, gravity is described as the warping of spacetime caused by massive objects. This model works extremely well in most cases, but it leads to paradoxes in extreme conditions, such as inside black holes or at the beginning of the universe. -/- Balance Theory suggests that gravity is not just a passive curvature of spacetime but an active force that maintains equilibrium between energy, space, and information. Instead of black holes collapsing into singularities—where density becomes infinite and physical laws break down—the balance principle predicts that an internal stabilizing force prevents such extremes. This would mean that inside a black hole, rather than a singularity, there exists a quantum core that maintains structural balance. -/- Quantum Mechanics as a Balancing Process -/- Quantum mechanics describes particles as existing in multiple states simultaneously until measured, a phenomenon known as superposition. When a measurement is made, the particle’s wavefunction “collapses” into a definite state, but the mechanism behind this collapse remains mysterious. -/- Balance Theory proposes that wavefunction collapse is not purely random, as conventional quantum mechanics suggests, but rather a natural balancing process. Instead of requiring an external observer to force a quantum system into one state, the system itself seeks equilibrium within its environment. This idea could help resolve long-standing questions in quantum physics, such as how and why measurement affects particles and whether reality exists independently of observation. -/- Bridging the Gap Between GR and QM -/- One of the key insights of Balance Theory is that gravity and quantum mechanics are not opposing forces but two expressions of the same universal balancing principle. In this view: -/- Gravity emerges as a large-scale balancing mechanism that prevents the universe from collapsing into chaos. -/- Quantum mechanics represents a small-scale balancing process that ensures fundamental particles interact in predictable ways. -/- If this principle is correct, then the unification of physics does not require exotic new dimensions (as in String Theory) or the quantization of spacetime itself (as in Loop Quantum Gravity). Instead, it requires a shift in perspective: understanding the universe as a dynamic, self-regulating system where balance is the fundamental law. -/- Predictions and Experimental Tests -/- Any scientific theory must make testable predictions that can be verified through observation or experiment. Balance Theory suggests several novel predictions: -/- 1. Black Holes Should Not Contain Singularities -/- If balance prevents infinite density, black holes should have a stable core rather than a singularity. -/- Future observations of black hole interiors, such as through gravitational wave patterns or high-resolution imaging, could provide evidence of this balance mechanism. -/- 2. Wavefunction Collapse Should Follow a Pattern -/- Instead of being purely random, wavefunction collapse should exhibit a hidden balance law. -/- Experiments in quantum optics, such as delayed-choice quantum erasers, could test whether collapse is guided by equilibrium rather than chance. -/- 3. Gravity Should Show Small Deviations at Extreme Scales -/- In extreme conditions, such as during black hole mergers, slight deviations from Einstein’s equations should appear due to quantum balance effects. -/- High-precision gravitational wave detectors could measure these deviations. -/- 4. There Should Be a Minimum Length Scale -/- If balance governs all forces, there should be a smallest possible length scale that prevents spacetime from dividing infinitely. -/- High-energy experiments, such as those at the Large Hadron Collider (LHC), might reveal unexpected effects at ultra-small distances. -/- Implications for the Nature of Reality -/- If Balance Theory is correct, it would mean that the universe is not fundamentally random or chaotic but governed by an underlying principle of stability. This would challenge the traditional view that quantum mechanics is based solely on probability and uncertainty, suggesting instead that quantum behavior follows a deeper logic rooted in equilibrium. -/- It would also Imply that spacetime is not a fixed, unchanging backdrop but a dynamic entity that adapts to maintain balance. This could explain long-standing mysteries, such as why the expansion of the universe is accelerating or how information is preserved in black holes. -/- Conclusion -/- The search for a unified theory of physics has remained elusive for over a century, but Balance Theory offers a new perspective—one based on the idea that the universe maintains equilibrium at all levels, from the smallest quantum particles to the vast structure of spacetime itself. By treating gravity and quantum mechanics as different manifestations of the same balancing force, this approach provides a potential pathway toward unification. -/- If validated through experiment, Balance Theory could reshape our understanding of physics, resolving paradoxes and unlocking new insights into the nature of reality itself. The next steps involve rigorous testing, mathematical refinement, and collaboration with physicists across disciplines to explore whether this fundamental principle of balance can finally bridge the gap between Einstein’s relativity and the quantum world. -/- . (shrink)

In discussion of the interpretation of quantum mechanics the terms ‘ontic’ and ‘epistemic’ are often used in the sense of pertaining to what exists, and pertaining to cognition or knowledge respectively. The terms are also often associated with the formal definitions given by Harrigan and Spekkens for the wavefunction in quantum mechanics to be ψ-ontic or ψ-epistemic in the context of the ontological models framework. The formal definitions are contradictories, so that the wavefunction can be either ψ-epistemic or ψ-ontic but (...) not both. However, we argue, nothing about the informal ideas of epistemic and ontic interpretations rules out wavefunctions representing both reality and knowledge. The implications of the Pusey–Barrett–Rudolph theorem and many other issues may be rethought in the light of our analysis. (shrink)

We give a new argument supporting a gravitational role in quantum collapse. It is demonstrated that the discreteness of space-time, which results from the proper combination of quantum theory and general relativity, may inevitably result in the dynamical collapse of thewave function. Moreover, the minimum size of discrete space-time yields a plausible collapse criterion consistent with experiments. By assuming that the source to collapse the wave function is the inherent random motion of particles described by the wave function, we further (...) propose a concrete model of wavefunction collapse in the discrete space-time. It is shown that the model is consistent with the existing experiments and macroscopic experiences. (shrink)

Traditionally Ψ is used to stand in for both the mathematical wavefunction (the representation) and the quantum state (the thing in the world). This elision has been elevated to a metaphysical thesis by advocates of the view known as wavefunction realism. My aim in this paper is to challenge the hegemony of the wavefunction by calling attention to a little-known formulation of quantum theory that does not make use of the wavefunction in representing the quantum state. This approach, called Lagrangian (...) quantum hydrodynamics (LQH), is not an approximation scheme, but rather a full alternative formulation of quantum theory. I argue that a careful consideration of alternative formalisms is an essential part of any realist project that attempts to read the ontology of a theory off of the mathematical formalism. In particular, I show that LQH undercuts the central presumption of wavefunction realism and falsifies the claim that one must represent the many-body quantum state as living in a 3n-dimensional configuration space. I conclude by briefly sketching three different realist approaches one could take toward LQH, and argue that both models of the quantum state should be admitted. When exploring quantum realism, regaining sight of the proverbial forest of quantum representations beyond the Ψ is just the first step. (shrink)

I identify and develop a solution to the puzzles of anankastic conditionals that is novel in the sense that it has gone largely unnoticed, but also well-worn in that the materials for it have long been available. The solution involves an integration of the classical Kratzerian premise semantics and a default theory of reasons (such as the one presented in Horty, 2012, leveraging several decades of research on default logic). To stress-test the proposal I also investigate how it might be (...) applied to the variety of anankastic-adjacent data discussed by Condoravdi and Lauer (2016). The resulting approach is not just an exceptional fit for the problem of anankastic conditionals, but also an independently promising upgrade on the classical account of modals. (shrink)

We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, (...) provided that (ii) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

A study is reported testing two hypotheses about a close parallel relation between indicative conditionals, if A then B , and conditional bets, I bet you that if A then B . The first is that both the indicative conditional and the conditional bet are related to the conditional probability, P(B|A). The second is that de Finetti's three-valued truth table has psychological reality for both types of conditional— true , false , or void for indicative (...) conditionals and win , lose , or void for conditional bets. The participants were presented with an array of chips in two different colours and two different shapes, and an indicative conditional or a conditional bet about a random chip. They had to make judgements in two conditions: either about the chances of making the indicative conditional true or false or about the chances of winning or losing the conditional bet. The observed distributions of responses in the two conditions were generally related to the conditional probability, supporting the first hypothesis. In addition, a majority of participants in further conditions chose the third option, “void”, when the antecedent of the conditional was false, supporting the second hypothesis. (shrink)

According to the view of conditionals named 'inferentialism', a conditional holds when its consequent can be inferred from its antecedent. This paper identifies some major challenges that inferentialism has to face, and uses them to assess three accounts of conditionals: one is the classical strict account, the other two have recently been proposed by Douven and Rott. As will be shown, none of the three proposals meets all challenges in a fully satisfactory way. We argue through novel formal results (...) that a variation of the evidential account of conditionals suggested by Crupi and Iacona is the most promising candidate to develop inferentialism in a coherent formal framework. (shrink)

A compositional semantics for anankastic conditionals (‘If you want p, you must φ’) has been elusive. Condoravdi and Lauer (2016) decisively object to all semantics that precede their own. CL's view rests on a response to *the problem of conflicting goals*; CL use an interpretation of 'want' on which an agent's desires don't conflict with her beliefs. But a proper response requires lack of conflict with the facts. CL's view fails. Anankastic conditionals are still a mystery.

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)

Shared agency is a distinctive kind of sociality that involves interdependent planning, practical reasoning, and action between participants. Philosophical reflection suggests that agents engage in this form of sociality when a special structure of interrelated psychological attitudes exists between them, a set of attitudes that constitutes a collective intention. I defend a new way to understand collective intention as a combination of individual conditional intentions. Revising an initial statement of the conditional intention account in response to several challenges (...) leads to a specification of the properties these intentions need to have in order to be genuine commitments. I then show how a structure of conditional intentions with these properties settles a collection of agents on engaging in social interactions that display all the features typically associated with shared agency. (shrink)

Abstract: I argue that practically all vague language is context-sensitive in a covert and unfamiliar way. I first outline a novel puzzle concerning the interaction of conditionals and vagueness. I then argue that the best way of resolving the puzzle is through positing context-sensitive penumbral connections between sundry parts of language. I argue that these penumbral connections shift through a distinct form of Lewisian accommodation. The upshot is that meaning is a far shiftier thing than has typically been thought.

This paper investigates whether 'even if A, B' is pragmatically polysemic, so that a nonconcessive conditional may have 'even if', and whether concessive conditionals, pragmatically defined, can fail to have 'even if' or a non-temporal 'still'. Different paraphrases are used to help elucidate pragmatic meanings. A theory of the pragmatic meanings of concessive and implicative conditionals is presented. The semantic meaning of 'even if' and the question of whether concessive conditionals imply the truth of their consequents are also discussed.

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

By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

This paper argues that two widely accepted principles about the indicative conditional jointly presuppose the falsity of one of the most prominent arguments against epistemological iteration principles. The first principle about the indicative conditional, which has close ties both to the Ramsey test and the “or‐to‐if” inference, says that knowing a material conditional suffices for knowing the corresponding indicative. The second principle says that conditional contradictions cannot be true when their antecedents are epistemically possible. Taken together, (...) these principles entail that it is impossible to be in a certain kind of epistemic state: namely, a state of ignorance about which of two partially overlapping bodies of knowledge corresponds to one's actual one. However, some of the more popular “margin for error” style arguments against epistemological iteration principles suggest that such states are not only possible, but commonplace. I argue that the tension between these views runs deep, arising just as much for non‐factive attitudes like belief, presupposition, and certainty. I also argue that this is worse news for those who accept the principles about the indicative conditional than it is for those who reject epistemological iteration principles. (shrink)

Background/Objective: The primary intension is to provide utility trade off and good privacy for intermediate datasets in cloud. Methods: An efficient conditional entropy and database difference ratio is employed for the process. Utility is taken care with the employment of conditional entropy with the help of Swarm Optimization (PSO). Privacy handled by database difference ratio. Findings: Conditional entropy is found out between the first column and the original database and this is taken as the fitness function in (...) Particle Swarm Optimization (PSO). Database difference is taken between the original database and convoluted database in the consequent module to yield right selection data and tuple information from the intermediate datasets in cloud. Applications/Improvements: Improved methods are required to provide privacy and utility for the right selection of datasets. This approach has better results by having higher entropy values and lower dataset difference ratio. (shrink)

Recent studies indicate that indicative conditionals like "If people wear masks, the spread of Covid-19 will be diminished" require a probabilistic dependency between their antecedents and consequents to be acceptable (Skovgaard-Olsen et al., 2016). But it is easy to make the slip from this claim to the thesis that indicative conditionals are acceptable only if this probabilistic dependency results from a causal relation between antecedent and consequent. According to Pearl (2009), understanding a causal relation involves multiple, hierarchically organized conceptual dimensions: (...) prediction, intervention, and counterfactual dependence. In a series of experiments, we test the hypothesis that these conceptual dimensions are differentially encoded in indicative and counterfactual conditionals. If this hypothesis holds, then there are limits as to how much of a causal relation is captured by indicative conditionals alone. Our results show that the acceptance of indicative and counterfactual conditionals can become dissociated. Furthermore, it is found that the acceptance of both is needed for accepting a causal relation between two co-occurring events. The implications that these findings have for the hypothesis above, and for recent debates at the intersection of the psychology of reasoning and causal judgment, are critically discussed. Our findings are consistent with viewing indicative conditionals as answering predictive queries requiring evidential relevance (even in the absence of direct causal relations). Counterfactual conditionals in contrast target causal relevance, specifically. Finally, we discuss the implications our results have for the yet unsolved question of how reasoners succeed in constructing causal models from verbal descriptions. (shrink)

Conditional probability is one of the central concepts in probability theory. Some notion of conditional probability is part of every interpretation of probability. The basic mathematical fact about conditional probability is that p(A |B) = p(A ∧B)/p(B) where this is defined. However, while it has been typical to take this as a definition or analysis of conditional probability, some (perhaps most prominently Hájek, 2003) have argued that conditional probability should instead be taken as the primitive (...) notion, so that this formula is at best coextensive, and at worst sometimes gets it wrong. -/- Section 1.1 considers the concept of conditional probability in each of the major families of interpretation of probability. Section 1.2 considers a conceptual argument for the claim that conditional probability is prior to unconditional probability, while Section 1.3 considers a family of mathematical arguments for this claim, leading to consideration specifically of the question of how to understand probability conditional on events of probability 0. Section 1.4 discusses several mathematical principles that have been alleged to be important for understanding how probability 0 behaves, and raises a dilemma for probability conditional on events of probability 0. Section 2 and Section 3 take the two horns of this dilemma and describe the two main competing families of mathematical accounts of conditional probability for events of probability 0. Section 4 summarizes the results, and their significance for the two arguments that conditional probability is prior to unconditional probability. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can (...) give a meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

I suggest a unified account of conditional oughts and of contrastive reasons. The core of the account is an explanation of facts about conditional oughts in terms of facts about contrastive reasons, and a reduction of contrastive reasons to non-contrastive reasons. In rejecting contrastivism about reasons, the account is consistent with orthodoxy about reasons. Moreover, it extends a standard view of how oughts and reasons are related to one another, and it makes sense of important and explanatorily recalcitrant (...) phenomena. To the extent to which the account involves an explanation of facts about conditional oughts, it does not directly compete with semantic analyses of statements about conditional oughts. However, as I indicate in passing, the account coheres well with an important type of such analyses, while it is inconsistent with others. (shrink)

In this paper, I will discuss the various ways in which intentions can be said to be conditional, with particular attention to the internal conditions on the intentions’ content. I will first consider what it takes to carry out a conditional intention. I will then discuss how the distinctive norms of intention apply to conditional intentions and whether conditional intentions are a weaker sort of commitments than the unconditional ones. This discussion will lead to the idea (...) of what I call the ‘deep structure’ of intentions. Roughly, this is the idea that the conditional nature of our intentions is only partially made explicit in the expressions we use to communicate our intentions and in the explicit form of our thinking about and reasoning with them. Most conditions that qualify our intentions are part of a deep functional structure that can be evinced by observing the actual psychological functioning of intentions and by considering the rational requirements that they engage. I will argue that the deep structure of intentions is characteristically conditional. Genuinely unconditional intentions are only limiting instances of conditional intentions and their contribution to agency can only be understood in light of this fact. I will conclude by showing that the characteristic conditional structure of intentions is intimately related to distinctive features of human agency, especially to its unity over time. (shrink)

In this paper it will be shown that when a conditional statement is understood or known to be true, a number of implicitly specified variables are given more or less concrete values. Each of the variables will be defined and examples will be employed to demonstrate their use in conditional evaluation. From time to time this analysis in terms of variables will be contrasted with a 'possible worlds' analysis of conditionals. The purpose of this paper is not to (...) argue against the possible worlds analysis but rather to provide an alternative to that analysis. (shrink)

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

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.

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.

I argue that taking the Practical Conditionals Thesis seriously demands a new understanding of the semantics of such conditionals. Practical Conditionals Thesis: A practical conditional [if A][ought] expresses B’s conditional preferability given A Paul Weirich has argued that the conditional utility of a state of affairs B on A is to be identified as the degree to which it is desired under indicative supposition that A. Similarly, exploiting the PCT, I will argue that the proper analysis of (...) indicative practical conditionals is in terms of what is planned, desired, or preferred, given suppositional changes to an agent’s information. Implementing such a conception of conditional preference in a semantic analysis of indicative practical conditionals turns out to be incompatible with any approach which treats the indicative conditional as expressing non-vacuous universal quantification over some domain of relevant antecedent-possibilities. Such analyses, I argue, encode a fundamental misunderstanding of what it is to be best, given some condition. The analysis that does the best vis-à-vis the PCT is, instead, one that blends a Context-Shifty account of indicative antecedents with an Expressivistic, or non-propositional, treatment of their practical consequents. (shrink)

Williamson proposes that a "suppositional procedure" is a central heuristic we use to evaluate the truth of conditionals, though he also argues that this method often leads us astray. An alternative approach to the link between supposition and conditionals is to claim that we are guided by our antecedent conditional judgements in our supposing, and in particular in our determining which things follow from an initial supposition. This alternative explanation of the close link between conditionals and supposition is developed (...) and compared to Williamson's proposal. (shrink)

The practice of medicine frequently involves the unconsented restriction of liberty. The reasons for unilateral liberty restrictions are typically that being confined, strapped down, or sedated are necessary to prevent the person from harming themselves or others. In this paper, we target the ethics of chemical restraints, which are medications that are used to intentionally restrict the mental states associated with the unwanted behaviors, and are typically not specifically indicated for the condition for which the patient is being treated. Specifically, (...) we aim to identify the conditions under which chemical restraints are ethically permissible. It is wrong to assume that what is morally true of physical restraints is also true of chemical restraints. Our aim is thus to identify the conditions under which chemical restraints are permissible while distinguishing these conditions from those of the application of physical restraints. (shrink)

In Counterfactual Conditionals, Daniel Dohrn discusses the standard account of counterfactuals, conditionals of the form ‘If A had been the case, then B would have been the case’. According to the standard account, a counterfactual is true if the then-sentence is true in all closest worlds in which the if-sentence is true. Closeness is spelled out in terms of an ordering of worlds by their similarity. Dohrn explores resources of defending the standard account against several challenges. In particular, he defends (...) the standard logics for counterfactuals. He discusses exemplary doubts as to whether conditionals have truth conditions. He inquires into the interaction between truth and probability of counterfactuals. He tackles problems with the similarity ordering. He address the interaction between counterfactuals and normalcy conditions. He closes with elaborating peculiarities of future-directed counterfactuals. (shrink)

Moti Mizrahi (2013) presents some novel counterexamples to Hypothetical Syllogism (HS) for indicative conditionals. I show that they are not compelling as they neglect the complicated ways in which conditionals and modals interact. I then briefly outline why HS should nevertheless be rejected.

The conditional analysis of dispositions is widely rejected, mainly due to counterexamples in which dispositions are either “finkish” or “masked.” David Lewis proposed a reformed conditional analysis. This view avoids the problem of finkish dispositions, but it fails to solve the problem of masking. I will propose a reformulation of Lewis’ analysis, and I will argue that this reformulation can easily be modified so that it avoids the problem of masking. In the final section, I will address the (...) challenge that some dispositions appear to lack any stimulus condition, and I will briefly turn to the issue of reductionism. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts (...) which hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

This paper extends a trivalent semantics for indicative conditionals to a language including the modal operators "might" and "must". Specifically, we combine Cooper's (1968) truth-functional, trivalent analysis of the conditional connective with Kratzer's (1986, 2012) idea that if-clauses restrict modal operators. By hard-wiring both trivalence and the restriction operation into the truth conditions of conditional-modal expressions, we obtain an attractive theory that yields plausible predictions for the interaction of conditionals and modals, explains the intuitive appeal of the Restrictor (...) View and avoids the typical problems of Kratzer-style accounts, especially regarding the probability of conditional-modal expressions. (shrink)

The purpose of this paper is to present a general mechanistic framework for analyzing causal representational claims, and offer a way to distinguish genuinely representational explanations from those that invoke representations for honorific purposes. It is usually agreed that rats are capable of navigation because they maintain a cognitive map of their environment. Exactly how and why their neural states give rise to mental representations is a matter of an ongoing debate. I will show that anticipatory mechanisms involved in rats’ (...) evaluation of possible routes give rise to satisfaction conditions of contents, and this is why they are representationally relevant for explaining and predicting rats’ behavior. I argue that a naturalistic account of satisfaction conditions of contents answers the most important objections of antirepresentationalists. (shrink)

I distinguish between two different ways in which the wavefunction might play a role in explaining the behavior of quantum systems and argue that a satisfactory account of quantum ontology will make it possible for the wavefunction to explain the behavior of quantum systems in both of these way. I then show how this constraint has the potential to impact two quite different accounts of quantum ontology.

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)

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

This paper aims to bridge the relationship between metalinguistic if you like as a non-propositional discourse marker and its conditional counterparts. This paper claims that metalinguistic if you like is polysemous between a hedge that denotes the speaker’s reduced commitment to some aspect of the main clause, and an optional yet potential conditional reading that interlocutors can legitimately draw on in interaction which is brought about due to the ‘if p, q’ sentence form. That is, although the metalinguistic (...) reading is most likely obtained automatically by default, it also carries an available conditional reading that is akin to other metalinguistic conditional clauses such as if you see what I mean. Next, a semantic representation of metalinguistic if you like is developed that takes on board a characterization of conditionality that departs from lexico-grammatical conventions, such that conditionals of the form ‘if p, q’ no longer bear a one-to-one correspondence with “conditional” truth conditions. Employing a radical contextualist semantic framework in which the unit of truth-conditional analysis is not constrained to the sentence form, utterances employing metalinguistic if you like are given a semantic representation such that the if-clause does not contribute propositional content, yet they also maintain their status as conditionals as the sentence form gives rise to a potential conditional secondary meaning. (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.

Children approach counterfactual questions about stories with a reasoning strategy that falls short of adults’ Counterfactual Reasoning (CFR). It was dubbed “Basic Conditional Reasoning” (BCR) in Rafetseder et al. (Child Dev 81(1):376–389, 2010). In this paper we provide a characterisation of the differences between BCR and CFR using a distinction between permanent and nonpermanent features of stories and Lewis/Stalnaker counterfactual logic. The critical difference pertains to how consistency between a story and a conditional antecedent incompatible with a nonpermanent (...) feature of the story is achieved. Basic conditional reasoners simply drop all nonpermanent features of the story. Counterfactual reasoners preserve as much of the story as possible while accommodating the antecedent. (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, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three 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)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of (...) conditionals violate standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

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

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