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

There are two extant versions of the new tenseless theory of time: the date versionand the token-reflexive version. I ask whether they are equivalent, and if not, whichof them is to be preferred. I argue that they are not equivalent, that the date version isunsatisfactory, and that the token-reflexive version is correct. I defend the token-reflexive version against a string of objections from Quentin Smith. My defence involves a discussion of the ontological and semantic significance of truth conditions, and (...) of the connection between truth and reality on the one hand, and that between truth and meaning on the other. I argue that Smith's objections to the token-reflexive theory stem from his confusing these two aspects of the notion of truth. (shrink)

Controversy has arisen of late over the claim that deflationism about truth requires that we explain meaning in terms of something other than truth-conditions. This controversy, it is argued, is due to unclarity as to whether the basic deflationary claim that a sentence and a sentence that attributes truth to it are equivalent in meaning is intended to involve the truth- predicate of the object language for which we develop an account of meaning, or is intended (...) to involve the truth- predicate of the metalanguage in which we develop an account of meaning. The former view is compatible with the truth-conditional theory of meaning for the object language, the latter is incompatible with it. However, the former view is also trivially true; hence we should endorse the claim that any form of deflationism worth being interested in is incompatible with understanding meaning truth-conditionally. (shrink)

In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The (...) conclusion that the hypothesis is correct emerges, when claims and accounts in the debate are made formally precise, within the framework of model-theoretic semantics. -/- . (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is (...) true. The validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

One way to study and understand the notion of truth is to examine principles that we are willing to associate with truth, often because they conform to a pre-theoretical or to a semi-formal characterization of this concept. In comparing different collections of such principles, one requires formally precise notions of inter-theoretic reduction that are also adequate to compare these conceptual aspects. In this work I study possible ways to make precise the relation of conceptual equivalence between notions (...) of truth associated with collections of principles of truth. In doing so, I will consider refinements and strengthenings of the notion of relative truth-definability proposed by Fujimoto (2010): in particular I employ suitable variants of notions of equivalence of theories considered in Visser (2006) and Friedman & Visser (2014) to show that there are better candidates than mutual truth-definability for the role of sufficient condition for conceptual equivalence between the semantic notions associated with the theories. In the concluding part of the paper, I extend the techniques introduced in the first and show that there is a precise sense in which ramified truth (either disquotational or compositional) does not correspond to iterations of comprehension. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is (...) true. The validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

It would seem that some statements like ‘There are exactly four moons of Jupiter’ and ‘The number of moons of Jupiter is four’ have the same truth-conditions and yet differ in ontological commitment. One strategy to resolve this paradoxical phenomenon is to insist that the statements have not only the same truth-conditions but also the same ontological commitments; the other strategy is to reject the presumption that they have the same truth-conditions. This paper critically examines some popular (...) versions of these two strategies, and defends a new solution according to which the statements have the same ontological commitments and yet differ in truth-conditions. (shrink)

Assertoric sentences are sentences which admit of truth or falsity. Non-assertoric sentences, imperatives and interrogatives, have long been a source of difficulty for the view that a theory of truth for a natural language can serve as the core of a theory of meaning. The trouble for truth-theoretic semantics posed by non-assertoric sentences is that, prima facie, it does not make sense to say that imperatives, such as 'Cut your hair', or interrogatives such as 'What time is (...) it?', are truth or false. Thus, the vehicle for giving the meaning of a sentence by using an interpretive truth theory, the T-sentence, is apparently unavailable for non-assertoric sentences. This paper shows how to incorporate non-assertoric sentences into a theory of meaning that gives central place to an interpretive truth theory for the language, without, however, reducing the non-assertorics to assertorics, or treating their utterances as semantically equivalent to one or more utterances of assertoric sentences. Four proposals for how to incorporate non-assertoric sentences into a broadly truth-theoretic semantics are reviewed. The proposals fall into two classes, those that attempt to explain the meaning of non-assertoric sentences solely by appeal to truth conditions, and those that attempt to explain the meaning of non-assertroic sentences by appeal to compliance conditions, which can be treated as one variety of fulfillment conditions for sentences of which truth conditions are another variety. The paper argues that none of the extant approaches is successful, but develops a version of the generalized fulfillment approach which avoids the difficulties of previous approaches and still exhibits a truth theory as the central component of a compositional meaning theory for all sentences of natural language. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation (...) in inquisitive semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

This paper deals with Austinian ifs of every stripe within classical logic. It is argued that they are truth-functional and the theory of conditional elements is used. Ellipsis is key. Corrects an error in Fulda (2010) in translation and therefore scope. -/- The PDF is made available gratis by the Publisher.

Higginbotham (1986) observed that quantified conditionals have a stronger meaning than might be expected, as attested by the apparent equivalence of examples like No student will pass if he goofs off and Every student will fail if he goofs off. Higginbotham's observation follows straightforwardly given the validity of conditional excluded middle (CEM; as observed by von Fintel & Iatridou 2002), and as such could be taken as evidence thereof (e.g. Williams forthcoming). However, the empirical status of CEM has (...) been disputed, and it is invalid under many prominent theories of conditionals—notably Lewis (1973) for counterfactuals, also Kratzer (1979, 1991). More acutely, Higginbotham's observation holds even for quantified counterparts of conditionals that appear not to obey CEM (Higginbotham 2003), and the standard way of explaining (away) such apparent counterexamples to the principle, à la Stalnaker (1981), does not directly yield an account of our apparent truth-conditional intuitions about the quantified counterparts (Leslie 2009). This article provides an explanation for the latter intuitions within Stalnaker's framework, the upshot being that CEM does remain a viable explanation, in principle, for Higginbotham's observation. (shrink)

Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice (...) fails to demonstrate i) that the Indirectness Condition is cancellable, hence a conversational implicature, ii) that the Indirectness Condition is not part of the conventional, truth-relevant meaning of ‘if’, and accordingly, iii) semantic or logical equivalence between indicative and material conditionals. (shrink)

Generalized Quantifier Theory defines superlative quantifiers at most n and at least n as truth-conditionally equivalent to comparative quantifiers fewer than n+1 and more than n \1. It has been demonstrated, however, that this standard theory cannot account for various linguistic differences between these two types of quantifiers. In this paper I discuss how the distinction between assertibility and truth-conditions can be applied to explain this phenomenon. I draw a parallel between the assertibility of disjunctions and superlative quantifiers, (...) and argue that those assertibility conditions are essentially modal. I use epistemic logic to formalize the assertibility conditions and revisit some of the linguistic puzzles related to superlative quantification. (shrink)

Alston begins his exposition of the realist conception of truth in chapter 1 with a roughly Aristotelian formulation: “A statement is true if and only if what the statement says to be the case actually is the case”. This condition has the drawback that it defines truth via illocutionary acts; yet, as Alston argues, propositions are the most basic truth-bearers. Alston therefore turns to the universalized T-schema for a condition that characterizes the truth of propositions without (...) mentioning illocutionary acts: “ The proposition that p is true iff p”, where “” is a substitutional rather than objectual quantifier over propositions. Later Alston avers that this account of truth is equivalent to another that is overtly realist in characterizing truth in terms of facts, a minimalist correspondence theory: “ The proposition that p is true iff it is a fact that p”. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

This chapter contains sections titled: The Equivalence Theory The Paradoxes of Material Implication The Possible Worlds Theory Some Famous Inference Patterns The No‐truth Theory Indicative versus Subjunctive Conditionals The Supplemented Equivalence Theory Conditionals with Compound Constituents.

We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the (...) hand of Ludwig Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional. (shrink)

The paper shows that in the Art of Thinking (The Port Royal Logic) Arnauld and Nicole introduce a new way to state the truth-conditions for categorical propositions. The definition uses two new ideas: the notion of distributive or, as they call it, universal term, which they abstract from distributive supposition in medieval logic, and their own version of what is now called a conservative quantifier in general quantification theory. Contrary to the interpretation of Jean-Claude Parienté and others, the (...) class='Hi'>truth-conditions do not require the introduction of a new concept of ‘indefinite’ term restriction because the notion of conservative quantifier is formulated in terms of the standard notion of term intersection. The discussion shows the following. Distributive supposition could not be used in an analysis of truth because it is explained in terms of entailment, and entailment in terms of truth. By abstracting from semantic identities that underlie distribution, the new concept of distributive term is definitionally prior to truth and can, therefore, be used in a non-circular way to state truth-conditions. Using only standard restriction, the Logic’s truth-conditions for the categorical propositions are stated solely in terms of (1) universal (distributive) term, (2) conservative quantifier, and (3) affirmative and negative proposition. It is explained why the Cartesian notion of extension as a set of ideas is in this context equivalent to medieval and modern notions of extension. (shrink)

Deflationists say that the equivalence between ‘p is true’ and p is all there is to the meaning of ‘true’. “Use” theories generally construe meaning as acceptance conditions. I argue: (i) there are certain obvious objections to a deflationary theory of truth so formulated; but (ii) they can be overcome if we employ a graded notion of use, i.e. a notion of assertability; but (iii) there appear to be certain further difficulties which cannot be overcome in this way.

In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent to (...) the assertion that the probabilistic complexity class R is not equal to NP; The hypothesis for p-tt (polynomial-time truth-table) reduction implies that P is not NP; The hypothesis holds for each of the following: disjunctive reduction, conjunctive reduction, and p-btt (polynomial-time bounded-truth-table) reduction. In this paper, we show the following three results: (1) Let c be a positive real number. We consider a concept of truth-table reduction whose norm is at most c times size of input, where for a relativized propositional formula F, the size of F denotes the total number of occurrences of propositional variables, constants and propositional connectives. Then, our main result is that the hypothesis holds for such tt-reduction, provided that c is small enough. How small c can we take so that the above holds? It depends on our syntactic convention on one-query tautologies. In our setting, the statement holds for all c < 1. (2) The hypothesis holds for monotone truth-table reduction (also called positive reduction). (3) Dowd (in Inf. Comput. 96, 65–76, 1992) shows a polynomial upper bound for the minimum sizes of forcing conditions associated with a random oracle. We apply the above result (1), and get a linear lower bound for the sizes. (shrink)

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

Over the past decade, sequence learning has gradually become a central paradigm through which to study implicit learning. In this chapter, we start by briefly summarizing the results obtained with different variants of the sequence learning paradigm. We distinguish three subparadigms in terms of whether the stimulus material is generated either by following a fixed and repeating sequence (e.g., Nissen & Bullemer, 1987), by relying on a complex set of rules from which one can produce several alternative deterministic sequences (e.g., (...) Lewicki, Hill & Bizot, 1988; Stadler, 1989), or by following the output of a probabilistic set of rules such as instantiated by noisy finite-state grammars (Cleeremans & McClelland, 1991; Jiménez, Mendéz & Cleeremans, 1996). Next, we focus on the processes involved in sequence representation and acquisition. We suggest that the sensitivity to the sequential structure observed in the probabilistic subparadigm can only be a result of the acquisition of a representation of the statistical constraints of the material, and that this sensitivity emerges through the operation of mechanisms that are well instantiated by connectionist models such as the Simple Recurrent Network (Elman, 1990; Cleeremans, 1993b). We present new simulation work meant to explore to what extent the model can also account for specific data obtained in a paradigmatic instance of deterministic, rule-based sequence learning task: Lewicki et al. (1988)'s situation. Finally, we report on the results of an experiment that compares learning on otherwise similar deterministic and probabilistic structures, and we show that learning of both types of structures is equivalent only under conditions that maximally hinder explicit acquisition. Taken together, these simulation and experimental data lend support to the claim that implicit learning in all three sequence learning subparadigms can amount to a form of statistical sequence learning. They also suggest that distinguishing among several theories of sequence representation and acquisition may require us to analize the data in great detail. Hopefully, however, some truth can be found in such details.. (shrink)

The paper discusses the concept of adequacy central for Pertażycki’s methodology. According to Petrażycki any valuable scientific theory should be adequate, that is, neither limping nor jumping. Consequently, adequacy of a theory is a stronger condition than its truth. Every adequacy theory is true, but not conversely. However, there is problem, because scientific laws are conditionals. This suggests that adequacy is too strong conditions, because the consequence of an implication has a wider scope than its antecedent. Thus, laws should (...) have the form of equivalence. The paper shows how model-theoretic characterization of theories allows to recognize truth and adequacy, consistently with Petrażycki’s claims. (shrink)

Availing ourselves of the previously introduced notion of a statementvariable, we can express Aristotle's point even more simply. We can say that, where the letter "P" stands for any statement whatever, the concept of truth is captured by the following schematic statement (we'll call it "Equivalence Schema" or "E" for short) of the necessary and sufficient conditions for a statement's being true: E: It is true that P iff P.2..

Cet article soulève la question de savoir si le réaliste sémantique doit soutenir le principe selon lequel : (R) toute raison de penser qu’un énoncé est vrai est une raison de penser que l’énoncé est soutenable de manière garantie. A l’inverse de ce qui est proposé par W. Alston, qui dit que l’acceptation de (R) impose l’identification de l’extension du « vrai » et du « soutenable de manière garantie », l’article soutient que (R) peut être dérivé de l’hypothèse neutre (...) entre le réalisme et l’antiréalisme selon laquelle il faut accepter toute illustration par des exemples non-pathologiques du schéma d’équivalence ES (il est vrai que p ssi p) pour comprendre le prédicat « vrai ». En outre, l’article argumente en faveur de la thèse selon laquelle le réaliste a des motivations positives pour accepter (R), car ce principe est la prémisse d’un argument très général pour la thèse que la signification d’un énoncé ne peut pas être donnée par les conditions dans lesquelles l’énoncé est soutenable. (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)

This paper is chiefly aimed at individuating some deep, but as yet almost unnoticed, similarities between Aristotle's syllogistic and the Stoic doctrine of conditionals, notably between Aristotle's metasyllogistic equimodality condition and truth-conditions for third type conditionals. In fact, as is shown in §1, Aristotle's condition amounts to introducing in his metasyllogistic a non-truthfunctional implicational arrow '', the truth-conditions of which turn out to be logically equivalent to truth-conditions of third type conditionals, according to which only the impossible (...) follows from the impossible. Moreover, Aristotle is given precisely this non-Scotian conditional logic in two so far overlooked passages of Themistius' Paraphrasis of De Caelo. Some further consequences of Aristotle's equimodality condition on his logic, and notably on his syllogistic, are pointed out and discussed at length. A extension of Aristotle's condition is also discussed, along with a full characterization of truth-conditions of fourth type conditionals. (shrink)

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo's paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize Yablo's (...) results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo's results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo's paradox and the translations we offer do not involve self-reference. (shrink)

In introductory logic courses the authors often limit their considerations to the truth-value operators. Then they write that conditionals and biconditionals of natural language ("if" and "if and only if") may be represented as material implications and equivalences ("⊃" and "≡"), respectively. Yet material implications are not suitable for conditionals. Lewis' strict implications are much better for this purpose. Similarly, strict equivalences are better for representing biconditionals (than material equivalences). In this paper we prove that the methods from standard (...) first courses in logic can be used for testing arguments with strict implications, strict equivalences and other operators which may represent connectives from natural language. (shrink)

This book argues against the traditional understanding of the semantics/pragmatics divide and puts forward a radical alternative. Through half a dozen case studies, it shows that what an utterance says cannot be neatly separated from what the speaker means. In particular, the speaker's meaning endows words with senses that are tailored to the situation of utterance and depart from the conventional meanings carried by the words in isolation. This phenomenon of ‘pragmatic modulation’ must be taken into account in theorizing about (...) semantic content, for it interacts with the grammar-driven process of semantic composition. Because of that interaction, the book argues, the content of a sentence always depends upon the context in which it is used. This claim defines Contextualism, a view which has attracted considerable attention in recent years, and of which the author of this book is one of the main proponents. (shrink)

ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to (...) Reject, While Saving Truth from Paradox?’. (shrink)

This paper offers and defends a particular version of the view that it is the intentions with which it is performed that determine the truth conditions of an utterance. A competing version, implied by Grice's work on meaning, is rejected as inadequate. This latter is incompatible with the phenomenon of anti-lying: performing a true utterance with the intention that one's audience believe it to be false. In place of the quasi-Gricean version, the paper maintains that an utterance is true-iff-p (...) just in case it is performed with the intention that its intended audience recognize it as true-iff-p. Delicacy is called for in the interpretation of 'recognition' if this biconditional is to be plausible. Moreover, since truth conditions are extensional and intentions intensional, this simple statement of the view requires qualification. And finally, some methodological self-awareness is needed to see off the charge of analytical circularity (since the analysans contains the analysandum). This intention-based view is proffered as an attractive and viable alternative to any view according to which the semantics of utterances are determined by the semantics of expressions, where the latter can largely float free from the intentions of a particular utterer. (shrink)

Abstract.This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part function in order to deal with the case where the conditioning event has probability zero, and the use of a many-valued modal logic in order to deal probability of an event φ as the truth value of the sentence φ is probable, along the lines of Hájek’s book [H98] and (...) of [EGH96]. To this purpose, we introduce a probabilistic many-valued logic, called FP(SŁΠ), which is sound and complete with respect a class of structures having a non-standard extension [0,1]⋆ of [0,1] as set of truth values. We also prove that the coherence of an assessment of conditional probabilities is equivalent to the coherence of a suitably defined theory over FP(SŁΠ) whose proper axioms reflect the assessment itself. (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)

The paper addresses itself to the "Homeric struggle" in the theory of meaning between those (e.g., Grice) who try to analyze declarative meaning in terms of an intention to induce a belief and those (e.g., Davidson) for who declarative meaning consists in truth conditions. (The point of departure is Strawson's celebrated discussion of this issue, in his Inaugural Lecture.) I argue that neither style of analysis is satisfactory, and develop a "hybrid" that may be-although what I take from the (...) Gricean side in the struggle is not the notion of an intention, but that of somebody's reason for speaking as he does. The paper applies the hybrid analysis to resolve certain problems connected with the rationale for compositional, truth-theoretic semantics. (shrink)

This essay makes the case for, in the phrase of Angelika Kratzer, packing the fruits of the study of rational decision-making into our semantics for deontic modals—specifically, for parametrizing the truth-condition of a deontic modal to things like decision problems and decision theories. Then it knocks it down. While the fundamental relation of the semantic theory must relate deontic modals to things like decision problems and theories, this semantic relation cannot be intelligibly understood as representing the conditions under which (...) a deontic modal is true. Rather it represents the conditions under which it is accepted by a semantically competent agent. This in turn motivates a reorientation of the whole of semantic theorizing, away from the truth-conditional paradigm, toward a form of Expressivism. (shrink)

Grimberg identifies four arguments which she alleges are used in my paper‘Pragmatics and Singular Reference’(Bezuidenhout, 1996a) in order to establish the truth-conditional relevance of de re modes of presentation. In fact, only one of these, properly understood, is an argument which I would endorse. However, I do plead guilty to having used examples with features which misleadingly suggest that I endorse these various arguments. It is an easy matter to construct examples free from these defects, which is what (...) I attempt to do. (shrink)

Lowe claims that "if oswald did not kill kennedy, someone else did" is a material conditional. he also claims that the difference in truth-value between this indicative conditional and the subjunctive "if oswald had not killed kennedy, someone else would have" does not support the conclusion of lewis and others that corresponding indicative and subjunctive conditionals are not always equivalent. i dispute both claims.

In his “Meaning and Formal Semantics in Generative Grammar” (Erkenntnis 2015, 61–87), Stephen Schiffer argues that truth-conditional semantics is a poor fit with generative linguistics. In particular, he thinks that it fails to explain speakers’ abilities to understand the sentences of their language. In its place, he recommends his “Best Bet Theory”—a theory which aims to directly explain speakers’ abilities to mean things by their utterances and know what others mean by their utterances. I argue that Schiffer does (...) not provide good reason to prefer the Best Bet Theory over truth-conditional semantics in the context of generative linguistics. First, his negative arguments against the truth-conditional approach are unpersuasive, and second, the Best Bet Theory involves an explanatory circularity which makes it unfit for linguistic theorizing. I conclude that the Best Bet Theory is thus not even a viable competitor to truth-conditional semantics in generative linguistics. (shrink)

Ned Block, John Campbell; Functional Role and Truth Conditions, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 273–292, https:/.

Karttunen's seminal 1973 article Presuppositions of compound sentences, lays the groundwork for the elegant and fruitful theory of this subject which he subsequently presented in (1974). In (1973, pp. 185–8), however, he fallaciously argued that the regularities he discovered concerning the behavior of and, or, and if ... then in English cannot be embodied in any three-valued logic giving a truth-functional interpretation to these connectives. The present paper refutes Karttunen's argument by exhibiting an interpretation with the desired properties, and (...) shows further how the full articulation of his 1974 system can be developed naturally within a truth-conditional semantics for English if bivalence is abandoned — contrary to what Karttunen expected. (shrink)

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith;s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth conditions cannot explain the logical relations between tensed sentences, thus the tensed theory must be accepted. Against Smith, (...) this paper adopts an alternative approach to the explanation of the entailment relations between sentences which contain indexicals. The approach drops the reliance upon tokens and instead relies on the evaluation of sentence types with respect to a context rather than upon actual or possible utterances of tokens of the types. This (new) version of the tenseless theory of time can adequately explain the relevant entailment relations between tensed sentences. (shrink)

In this paper I argue that propositionalism is what generates a tension between referentialism and harmony. Harmony can be preserved if we replace propositionalism by centred referentialism, according to which referential thoughts and utterances about an object have descriptive contents that must be evaluated relative to a world centred on that object at the relevant time. By disentangling truth-conditions and contents, this move allows us to dissolve the tension between referentialism and descriptivism. The view that emerges has three main (...) components: the truth-conditions of a referential utterance or thought involves its referent ; its reference is determined by causal relations of acquaintance in the context of use ; and its cognitive value is fully explained by associated descriptions or truth-conditional contents. (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)