We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization. The expressive power of an IF-sentence can then be strongly captured by a pair of Σ11-sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible Σ11-sentences corresponds with an IF-sentence.In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation.

We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization. The expressive power of an IF-sentence can then be strongly captured by a pair of Σ11-sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible Σ11-sentences corresponds with an IF-sentence.In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation.

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of (...) class='Hi'>falsity conditions. We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

It is widely held that there are important differences between indicative conditionals (e.g. “If the authors are linguists, they have written a linguistics paper”) and subjunctive conditionals (e.g. “If the authors had been linguists, they would have written a linguistics paper”). A central difference is that indicatives and subjunctives convey different stances towards the truth of their antecedents. Indicatives (often) convey neutrality: for example, about whether the authors in question are linguists. Subjunctives (often) convey the falsity of the antecedent: (...) for example, that the authors in question are not linguists. This paper tests prominent accounts of how these different stances are conveyed: whether by presupposition or conversational implicature. Experiment 1 tests the presupposition account by investigating whether the stances project – remain constant – when embedded under operators like negations, possibility modals, and interrogatives, a key characteristic of presuppositions. Experiment 2 tests the conversational-implicature account by investigating whether the stances can be cancelled without producing a contradiction, a key characteristic of implicatures. The results provide evidence that both stances – neutrality about the antecedent in indicatives and the falsity of the antecedent in subjunctives – are conveyed by conversational implicatures. (shrink)

Why do utterances of counterfactual conditionals typically, but not universally, convey the message that their antecedents are false? I demonstrate that two common theoretical commitments–commitment to the existence of scalar implicature and of informative presupposition—can be supplemented with an independently motivated theory of the presuppositions of competing conditional alternatives to jointly predict this information when and only when it appears. The view works best if indicative and counterfactual conditionals have a closely related semantics, so I conclude by undermining two familiar (...) arguments for a nonunified semantics of indicative and counterfactual conditionals. (shrink)

Abstract Utterances of counterfactual conditionals are typically attended by the information that their antecedents are false. But there is as yet no account of the source of this information that is both detailed and complete. This paper describes the problem of counterfactual antecedent falsity and argues that the problem can be addressed by appeal to an adequate account of the presuppositions of various competing conditional constructions. It argues that indicative conditionals presuppose that their antecedents are epistemically possible, while subjunctive (...) conditionals bear no presupposition. Given this arrangement, utterance of the counterfactual results in an antipresupposition, that is, a scalar implicature generated from the presuppositions of competing alternatives rather than from the at-issue content of competing alternatives. The content of the antipresupposition is the negation of the presupposition of the competing indicative, i.e., that the antecedent of the conditional is known to be false by the speaker. (shrink)

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)

Introduction The mainstream view in philosophy of language is that sentence meaning determines truth-conditions. A corollary is that the truth or falsity of an utterance depends only on what words mean and how the world is arranged. Although several prominent philosophers (Searle, Travis, Recanati, Moravcsik) have challenged this view, it has proven hard to dislodge. The alternative view holds that meaning underdetermines truth-conditions. What is expressed by the utterance of a sentence in a context goes beyond what is encoded (...) in the sentence itself. Truth-conditional content depends on an indefinite number of unstated background assumptions, not all of which can be made explicit. A change in background assumptions can change truth-conditions, even bracketing disambiguation and reference assignment. That is, even after disambiguating any ambiguous words in a sentence and assigning semantic values to any indexical expressions in the sentence, truth-conditions may vary with variations in the background. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue (...) that we should accept these startling conclusions, since CEM is valid. (shrink)

According to Stoic moral psychology, emotions are cognitive responses to perceived value in the contingent world. This dissertation begins by defending a contemporary version of this descriptive theory; it then proceeds with a critique of the Stoics' normative thesis that emotions involve amorally deplorable kind of cognitive error. I distinguish two senses in which this thesis is historically put forward, and show that both are thematically pertinent. The structural variant, as I call it, is a qualified critique of the particular (...) cognitive flaws to which emotions are liable; the fundamental argument, on the other hand, is that emotions are categorically unreliable. My goal in the rest of the dissertation is to respond to each aspect of normative Stoicism with a positive account of how it might be possible for a moral agent to avoid false emotion without doing away with emotion altogether. This means explaining how a person's emotional perception might become reliable rather than sentimental within a given moral context, and indicating what axiological conditions must generally obtain if emotion is justifiable in any case. In doing so, I draw largely upon Kierkegaard's pseudonymous and signed writings, while also engaging with other relevant philosophical texts along the way. I argue that a morality of virtue and narrative awareness is necessary for accurate emotional perception; then, I attempt to define the conditions on which a qualified value realism might be tenable. It is one thing to argue for the importance of emotion in human life, as a number of recent studies have done, but it is quite another to show how we might cultivate truthful, and avoid false, emotion. The outcome of this inquiry into the possibility of reliable emotion is a positive account of the ideal state in which one could trust oneself to be rational in being passionate. (shrink)

The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether (...) or not arguments involving conditionals are valid. I also demonstrate that the Paradox of Indicative Conditionals does not actually involve a paradox, but instead contains some paralogistic elements that make it appear to be a paradox. The discussion of the paradox in this paper further reveals that the material interpretation of conditionals adversely affects the treatment of disjunctions. -/- Much has been said about these matters in the literature that point in the same direction. However, there seems to be some reluctance against fully complying with the arguments against the truth functional account of conditionals, since many of the alternative accounts rely on the material conditional, or at least on an understanding of the conditional as a function of antecedent and consequent in a similar sense as the material conditional. My argument against truth functionality indicates that it may in general involve similar problems to treat conditionals as such functions, whether one deals with theories of truth, assertability or probability. (shrink)

Two principal questions lie at the heart of the philosophy of colour perception. First: how do colour experiences represent the world? Second: do colour representations veridically represent the world? This collection of papers closely examines the various ways in which colour experience may represent the world, and the possibilities regarding the veridicality of these representations. As it turns out, close attention to the above two questions illuminates novel ways of approaching the metaphysics of colour and colour experience. Paper one distinguishes (...) different ways in which colour experience can be veridical or erroneous, and uses these distinctions to motivate realist error theories: a new class of theory regarding the perception of colour. Realist error theories say that colour experience is erroneous regarding the location and/or metaphysics of colour, but is generally veridical regarding the instantiation of colour. I argue that realist error theories provide a new approach to certain tensions between our motivated metaphysics for colour and how experience represents the colours. Paper two falls into two parts. In the first part, I argue that extant subject-dependent theories of colour fail to delineate veridical colour experiences from erroneous colour experiences. In part two, I develop novel subject-dependent theories which successfully delineate veridical colour experiences from erroneous colour experiences. I advocate for mono-minimalism: a view which says that colours are subject-dependent properties which range over at least one standard perceiver in at least one standard condition. Paper three focuses on the distinction between steady and unsteady colours. Extant proposals involve positing that steady colours are subject-independent and unsteady colours are subject-dependent. I argue that the subject-dependent theorist can explain the metaphysical difference between steady and unsteady colours in wholly subject-dependent terms. We can say that steady and unsteady colours are both subject-dependent properties, but steady colours range over a broader range of perceptual conditions compared to unsteady colours. I argue that this bifurcation in the scope of the colours is consistent with the mono-minimalist theory of colour proposed in paper two. (shrink)

Given a basic conditional of the form, If A then C, individuals usually list three cases as possible: A and C, not‐A and not‐C, not‐A and C. This result corroborates the theory of mental models. By contrast, individuals often judge that the conditional is true only in the case of A and C, and that cases of not‐A are irrelevant to its truth or falsity. This result corroborates other theories of conditionals. To resolve the discrepancy, we devised two new (...) tasks: the “collective” truth task, in which participants judged whether sets of assertions about a specific individual, such as: If A then C, not‐A, C, could all be true at the same time; and one in which participants judged the truth of conditional predictions about specific future events. The results consistently matched the three possibilities, thereby corroborating the model theory. They also showed a massive violation of the probability calculus in estimates of the probabilities of the four cases in the partition of conditionals (A and C, A and not‐C, not‐A and C, and not‐A and not‐C), which summed to over 200%. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...) for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

Quine tries to combine truth conditional semantics with linguistic behaviourism. To this end, he identifies the truth conditions of a sentence with the conditions that prompt speakers to assign truth or falsity to the sentence. The first problem with this conception is that truth conditions determine not when truth-value assignments are made, but when they are correct. This fact vitiates Quine’s account of observation sentences (section 2). A second difficulty pertains only to theoretical sentences. The correctness of truth-value assignments (...) to such sentences depends not on current experiences, but on what can be experienced on other occasions. This observation militates against Quine’s general verification holism and against his account of predications (section 3 and 4). Combining truth conditional semantics and linguistic behaviourism is possible, though, if both these lessons are taken into account (section 5). (shrink)

There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection with action.

In all cases, the problem concerns the proper meaning of subjunctive and counterfactual conditionals. For present purposes, a conditional sentence is one composed of at least two clauses, the central connective of which is, or is understood to be, "if... then." A subjunctive conditional is a conditional sentence in which the clause following the "if," the antecedent, may be true or false, but in which the truth or falsity of the entire sentence does not depend upon the truth or (...) falsity of its two clauses, the antecedent and consequent. A contrary-to-fact conditional, or counterfactual sentence, is a subjunctive conditional sentence which implicitly asserts that the antecedent is false. An example of the subjunctive conditional is. (shrink)

The success of a piece of behaviour is often explained by its being caused by a true representation (similarly, failure falsity). In some simple organisms, success is just survival and reproduction. Scientists explain why a piece of behaviour helped the organism to survive and reproduce by adverting to the behaviour’s having been caused by a true representation. That usage should, if possible, be vindicated by an adequate naturalistic theory of content. Teleosemantics cannot do so, when it is applied to (...) simple representing systems (Godfrey-Smith 1996). Here it is argued that the teleosemantic approach to content should therefore be modified, not abandoned, at least for simple representing systems. The new ‘infotel-semantics’ adds an input condition to the output condition offered by teleosemantics, recognising that it is constitutive of content in a simple representing system that the tokening of a representation should correlate probabilistically with the obtaining of its specific evolutionary success condition. (shrink)

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

What is it for an object to be a physical object? Here I provisionally take up the idea that spatial extension is at least a necessary condition for being a physical object, whether or not it is also sufficient. I then argue for the following conditional proposition: if spatial extension is a necessary condition for being a physical object, then metaphysical naturalism is false. Given that all religious systems affirm the falsity of metaphysical naturalism, this conditional carries (...) obvious significance for philosophy of religion. And if it holds, two possible consequences ensue: for those committed to the idea that spatial extension is a necessary condition for being a physical object, a new disproof of metaphysical naturalism results. By contrast, for those committed to metaphysical naturalism, a new disproof of any extension-based account of the physical results. Either way, we obtain a significant conclusion. (shrink)

The work of scientists and doctors in advancing genetic research and its applications has been accompanied by plenty of discussion in the popular press—from Good Housekeeping and Forbes to Ms. and the Congressional Record—about such ...

In the last third of the twentieth century, humanists and social scientists argued that attention to genetics would heighten already‐existing genetic determinism, which in turn would intensify negative social outcomes, especially sexism, racism, ableism, and harshness to criminals. They assumed that laypeople are at risk of becoming genetic essentialists. I will call this the “laypeople are genetic essentialists model.” This model has not accurately predicted psychosocial impacts of findings from genetics research. I will be arguing that the failure of the (...) model can be traced to its inability to recognize the complexity of laypeople’s attitudes; its incorrect theory of how beliefs, attitudes, and discourse function; and its blindness to how academics’ own interests can override the available evidence. More specifically, I suggest that the substantial data about laypeople’s deployment of genetics supports what I will call the “laypeople are strategic essentialists model” better than the “laypeople are genetic essentialists model.” The strategic essentialists model holds that people tend to store multiple categories, including multiple causal forces, that they deploy “strategically” to serve context‐dependent goals. It will be difficult for academics to reorient ourselves to model laypeople as sophisticated strategic essentialists rather than as naïve genetic essentialists. Perhaps a little shift, however, will be of value. (shrink)

In the face of documented difficulties in the public understanding of genetics, new metaphors have been suggested. The language of information coding and processing has become deeply entrenched in the public representation of genetics, and some critics have found fault in the blueprint metaphor, a variant of the dominant theme. They have offered the language of the recipe as a preferable metaphor. The metaphors of the blueprint and the recipe are compared in respect to their deterministic implications and other associations. (...) The likelihood of the recipe metaphor framing cognition in more useful ways is called into question. (shrink)

Anorexia nervosa remains an enigma among Western cultures. Various causal explanations have been offered, encompassing biological, psychological, and sociocultural models. These explanations, however, focus on the immediate or proximal mechanisms of causation. A more thorough understanding of anorexia nervosa can be achieved by understanding the relationship between these factors and ultimate causation, the level of explanation which deals with individual reproductive fitness. This paper reviews the biological, psychological, sociocultural, and evolutionary models and indicates a necessary synthesis between proximate and ultimate (...) levels of causation in examining the anorexia nervosa puzzle. (shrink)

People respond to metaphors as much with regard to the emotions that they generate as to their referential, comparative contents. Interviews with non-geneticists about preferred metaphors for gene-environment interaction that illustrate this tendency are reported. These interviews also reveal the dynamic tendency of such emotional responses. A second set of interviews shows that lay people may preferentially use a metaphor of "virus" or "disease" for talking about genes, as opposed to the coding metaphors transmitted through the mass media and reportedly (...) preferred by geneticists. An explanation based on the differently situated emotions of these groups is proposed. It is proposed that the prominence of emotions in responding to genetics indicates the importance of incorporating analyses of emotions instead of simple principles into policy formulation about genetics. (shrink)

ABSTRACT “Lockdown!” has articulated our collective and individual fear response to the novel coronavirus. Two regnant specialized discourses fostered by the academy—science and ideology critique—could not redirect this inadequate response nor generate their own adequately broad and focused social responses. This suggests the desirability of the academy adding phronesis as a goal for its pedagogical practices.

The human propensity for casting our social worlds as "us against them" is perhaps the primary impediment to deep and broadly inclusive understandings of the workings of rhetoric. Many decades ago, Kenneth Burke assailed that barrier with regard to Adolf Hitler. Surrounded by the satisfactions of vituperation against the leader of one of the world's most heinous social movements, Burke begged his readers to make space for understanding how Hitler's rhetoric brought about what it did. Philippe-Joseph Salazar's Words Are Weapons (...) makes a similar contribution for our era. He asks us to resist the gratifications generated by dismissing as "Islamaphobic" any critical analysis of what he calls "caliphal"... (shrink)