Timothy Williamson famously offered an argument from these Tarskian principles in favor of bivalence. I show, dwelling on (Andjelkovic & Williamson, 2000), that the argument depends on a contentious formulation of the Tarskian principles about truth (and falsity), which the supervaluationist can reject without jeopardizing the Tarskian insight. In the mentioned paper, Adjelkovic and Williamson argue that, even if the appropriate formulation seems to make room for failure of bivalence in borderline cases, this appearance is illusory, once (...) one grants an independent further principle involving biconditionals. I finally argue that the formulation of this is, however, contentious in a similar manner. (shrink)

The paper aims at identifying similarities and differences between two different ways of using the word “true”, on the one hand when it is used to refer to a property of what we say or believe, here called “words’ truth”, on the other when it is used to refer to a feature of things in general (as when we say “he is a true friend”), here called “things’ truth”. I will point out how such similarities and differences may be usefully (...) described starting from the feature of truth called “transparency” which is often considered as exclusively pertaining to words’ truth. The upshot of the paper will be that Aquinas was right in considering the two kinds of truth as species of the unique genus “adaequatio rei et intellectus”, but that this conclusion can be reached without any commitment to the ideology (in the Quinean sense) of the correspondence theory of truth. (shrink)

In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth as a property whose applicability is given by a revision process rather than by (...) a fixed extension. The main advantage of this revision process is its ability to explain why truth seems in many cases almost redundant, in others substantial, and yet in others paradoxical. Yaub offers a comprehensive defense of the revision theory of truth by developing consistent and adequate formal semantics for languages in which all sorts of problematic sentences can be constructed. Yaqub concludes by introducing a logic of truth that further demonstrates the adequacy of the revision theory. (shrink)

It is a fundamental intuition about truth that the conditions under which a sentence is true are given by what the sentence asserts. My aim in this paper is to show that this intuition captures the concept of truth completely and correctly. This is conceptual deflationism, for it does not go beyond what is asserted by a sentence in order to define the truth status of that sentence. This paper, hence, is a defense of deflationism as a conceptual account of (...) truth. This defense is developed in four stages. In the first stage I present a distinction between two types of deflationism, conceptual and metaphysical. This is the central stage of the argument and its main conclusion is that conceptual deflationism when joined with the principle of bivalence is inconsistent with metaphysical deflationism, that is, conceptual deflationism together with bivalence entails a non-deflationary metaphysical account of truth. In the second and third stages of the argument I argue that the totality of the Tarskian biconditionals, when interpreted as definitional biconditionals, offers a description of the nature of truth. In the fourth, and final, stage of the argument I advance a positive case for conceptual deflationism. I explain how the revision theory of truth provides this sort of deflationism with its best evidence: a clear demonstration of its consistency and a compelling argument for its material adequacy. (shrink)

The current paper studies the formal properties of the Global Reflection Principle, to wit the assertion “All theorems of$\mathrm {Th}$are true,” where$\mathrm {Th}$is a theory in the language of arithmetic and the truth predicate satisfies the usual Tarskian inductive conditions for formulae in the language of arithmetic. We fix the gap in Kotlarski’s proof from [15], showing that the Global Reflection Principle for Peano Arithmetic is provable in the theory of compositional truth with bounded induction only ($\mathrm {CT}_0$). Furthermore, (...) we extend the above result showing that$\Sigma _1$-uniform reflection over a theory of uniform Tarski biconditionals ($\mathrm {UTB}^-$) is provable in$\mathrm {CT}_0$, thus answering the question of Beklemishev and Pakhomov [2]. Finally, we introduce the notion of a prolongable satisfaction class and use it to study the structure of models of$\mathrm {CT}_0$. In particular, we provide a new model-theoretical characterization of theories of finite iterations of uniform reflection and present a new proof characterizing the arithmetical consequences of$\mathrm {CT}_0$. (shrink)

There has been much debate recently as to whether the notion of truth, as applied to one's home language, is metaphysically neutral, the interesting metaphysical questions arising elsewhere (in relation to such notions as mind-independence or objectivity or existence). ' On one side, the minimalists, as they have come to be known, favour deflationary accounts of truth such as the redundancy or disquotational theories and conclude that the notion of truth is applicable to declarative sentences in general - at least (...) where there are fairly definite standards of appropriateness for the assertion or denial of such sentences - irrespective of the metaphysical commitments of the propositions the sentences express. Opponents have criticized the minimalist account of truth or denied that it follows from this account that truth is metaphysically neutral. My sympathies in this debate lie with the minimalist but I wish to focus on a serious problem for the minimalist - that posed by the Liar paradox. This problem has featured very little in the recent debate but seems to me to yield the strongest objection to minimalism. I develop the objection in the next section, in §2 sketching what I feel to be the minimalist's best response, namely developing the position not in terms of Tarskian classical biconditionals but rather in terms of the naive rules for truth. It emerges, then, that the minimalist will be forced to repudiate classical logic. The last section, §3, deals with objections to the strategy of §2. (shrink)

The aim of this paper is rather modest: we do not intend to reconstruct Aristotle’s theory of truth (although we are convinced that there is such a thing), and we will not try to settle the issue concerning Bivalence in Aristotle. We merely want, on the one hand, to argue for the consistency between the main Aristotelian texts on truth and a possible rejection of Bivalence; and on the other hand, to investigate the conditions of a possible counterexample to Bivalence. (...) The motivation for this research is also very specific. We are interested in the apparent violation of Bivalence introduced by vague predicates, and in particular we want to respond to a family of arguments put forward by T. Williamson in support of the idea that allowing for exceptions to Bivalence would be incoherent. We have focused on these arguments for two reasons. On the one hand, what is allegedly threatened by a denial of Bivalence is no less than the very “nature of truth or falsity”. On the other hand, Aristotle is explicitly mentioned as one of the defendants of this “natural” conception of truth, and we are reminded about the connection between Aristotle’s theory and Tarski’s semantic conception. These arguments, therefore, give us an occasion to explore Aristotle’s analysis of the nature of truth and falsity, and to examine its connection with the Tarskian conception of truth. In particular, we would like to question the assumption, which has become a commonplace in the field of analytical philosophy, that Aristotle’s notion of truth can be encoded in the pair of disquotational biconditionals that derive from Tarski’s “T schema”. (shrink)

This dissertation is a study of some recent theories of truth. The theories fall into three groups: The Revision Theories, the context-sensitive theories, and the "Chrysippian theories". ;The "Chrysippian theories" are based on the intuition that pathologicalities arising from the concept of truth can be recognized and acknowledged with the concept of truth itself. Thus, from the pathologicality of the Liar, for example, we can conclude that the Liar is not true. This leads to immediate difficulties since the Liar claims (...) just that--that it is not true--and it would thus seem to be true. The Chrysippian theories are designed to avoid these difficulties while preserving the motivating intuition. Haim Gaifman's Pointer Semantics, and Brian Skyrms' Intensional Fixed-Point Theory of Truth are examples of such theories. They are exposited and criticized. ;The context-sensitive theories dealt with are Tyler Burge's Indexical Theory of Truth and the theory of Jon Barwise and John Etchemendy. These theories claim that an ambiguity due to a contextual parameter is the reason for the difficulties we encounter. Burge offers a theory of Tarskian levels coupled with a pragmatic theory that explains the assignment of levels to occurrences of 'true'. Barwise and Etchemendy make explicit a situational parameter in their account of propositions. They consider the ambiguity with respect to the situation a propositions is about a main source of the paradoxes. ;Finally, the Revision Theories of Truth of Anil Gupta and Nuel Belnap and two variations of this theory are considered. One is due to Aladdin Yaqub, the other, the "fully-varied theory", is due to Gupta and Belnap but remains largely unexplored. Revision theories are put forward as the most promising account of the difficulties. They are based on a definitional reading of all Tarski biconditionals. The circularity implied by such a reading is handled by Gupta's and Belnap's general theory of definitions. ;Yaqub's objections raised against the standard theory are examined, and his proposed solution is shown to be inadequate. The fully-varied Revision Theory is shown to provide a better solution. (shrink)

Francesca Ervas 7 Journal of Language & Translation 9-2September 2008, 7-29 Davidson’s Notions of TranslationEquivalence Francesca Ervas Università Roma Tre Abstract The paper analyses the relationship of semantic equivalence as described by Donald Davidson in his theory of meaning, showing its limits above all in respect to language use in the contextual situation.The notion of equivalence used by the “first” Davidson does not successfully explain why some biconditionals are simply true and why others, besides being true, offer the real (...) translation of the source sentence. The paper argues that the main limits of the Davidsonian proposal, which lie in the very attempt to apply Tarskian theory of truth to natural languages, are partially overcome later by Davidson himself. Above all in his paper A NiceDerangement of Epitaphs (1986), Davidson rejects the very idea of an “invariance of meaning” and proposes a “second” notion of equivalence, described as the research of momentary and always changing points of convergence of interpreter and speaker,depending on contextual information. This convergence is possible because of a “deeper equivalence,” a common cognitive apparatus that allows communication to take place. At any rate, as the paper aims to demonstrate, this solution seems to simply shift the problem on to another level of explanation. Once this level of “deeper equivalence” is reached, there is too no explanation of exactly how a translator can understand contextual implications in order to graspfunctional equivalence. (shrink)

From the popular view that the property of truth adds nothing not already inherent in its bearers it has been inferred that classical theories of truth are thereby refuted. Taking as representative a version of deflationism based on a certain way of interpreting the Tarskian schema convention T–and popularly called "disquotational"–I argue that the view is beset by fatal difficulties. These include: an unavoidable awkwardness in handling indexicals; an inability to accept anything more than a too anemic notion of (...) a truth condition, leaving it defenseless against clearly inadequate alternatives; and an incapacity to show that its characteristic biconditional can support any acceptable dependency claims (made evident by replacing the biconditional with 'because'). Finally, were there no predicate on the order of 'is true', this would not annihilate the property of being true or the current grounds for philosophical inquiries about it. This is an important clue to why deflationary approaches in general are dead ends. (shrink)

The work of mathematician and logician Alfred Tarski (1901--1983) marks the transition from substantial to deflationary views about truth.

This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a (...) fragment, of definitional equivalence, and of a conservative extension. (shrink)

A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke's minimal fixed point model. From this results on the expressive power of both approaches are obtained.

In this paper, I argue that the cleavage between the theory of reference and the theory of meaning, which under the influence of Quine has dominated a large part of the philosophy of language of the last fifty years, is based on a misrepresentation of Tarski's achievement and on an overestimation of the scope and value of disquotation. In particular, I show that, if we accept Davidson's critique of disquotation, the same kind of reasons that Quine offered in opposition to (...) the Carnapian theory of meaning also apply, mutatis mutandis, to the Tarskian theory of reference. (shrink)

Several writers have assumed that when in “Outline of a Theory of Truth” I wrote that “the orthodox approach” – that is, Tarski’s account of the truth definition – admits descending chains, I was relying on a simple compactness theorem argument, and that non-standard models must result. However, I was actually relying on a paper on ‘pseudo-well-orderings’ by Harrison. The descending hierarchy of languages I define is a standard model. Yablo’s Paradox later emerged as a key to interpreting the result.

I argued that Frege does not have a metatheory in the following sense: the justifications he offers for his basic laws and rules of inference neither employ nor require a truth-predicate or metalinguistic variables. In ‘Does Frege Use a Truth-predicate in his "Justification" of the Laws of Logic?’, Dirk Greimann disputes this. As Greimann interprets Frege, (i) Frege's remarks commit him to giving a metatheoretic justification of the basic laws and rules of his logic, and (ii) Frege actually gives such (...) a justification in the early sections of Grundgesetze—although the truth-predicate that Frege employs is a non-standard one: it is neither a predicate that holds of all and only true sentences nor a predicate that holds of all and only true thoughts. I argue that Greimann's interpretation is not, in the end, true to the text, and that his non-standard view of what is required of a Tarskian truth-predicate is ultimately not viable. (shrink)

Tarski's theory of truth brings out the question of whether he intended his theory to be a correspondence theory of truth and whether, whatever his intentions, his theory is in fact a correspondence theory. The aim of this paper is to answer both questions. The answer to the first question depends on Tarski's relevant assertions on semantics and his conception of truth. In order to answer the second question Popper's and Davidson's interpretations of Tarski's truth theory are examined; to this (...) end both Tarski's definition of truth in terms of satisfaction and the T-sentences are taken into account. (shrink)

The T-biconditionals, also known as T-sentences or T-equivalences, play a very prominent role in contemporary work on truth. It is widely held that they are so central to our understanding of truth that conformance with them is indispensable to any account of truth that aspires to be adequate. Even “deflationists” and “inflationists” tend to agree on this point; their debate turns largely on just how central a role these biconditionals can play in a theory of truth. In the (...) present paper, I want to bracket this debate about their “theoretical role” and focus on the T- biconditionals themselves. They are typically presented as entirely unproblematic, as models of simplicity, clarity, and obviousness. I confess that I find them rather more puzzling than that. The main purpose of the paper is to reflect on some of these biconditionals and to survey and explore some doubts one might have about their virtues. (shrink)

Should a theory of meaning state what sentences mean, and can a Davidsonian theory of meaning in particular do so? Max Kölbel answers both questions affirmatively. I argue, however, that the phenomena of non-homophony, non-truth-conditional aspects of meaning, semantic mood, and context-sensitivity provide prima facie obstacles for extending Davidsonian truth-theories to yield meaning-stating theorems. Assessing some natural moves in reply requires a more fully developed conception of the task of such theories than Kölbel provides. A more developed conception is also (...) required to defend his positive answer to the first question above. I argue that, however Kölbel might elaborate his position, it can’t be by embracing the sort of cognitivist account of Davidsonian semantics to which he sometimes alludes. (shrink)

In this paper functional completeness results are obtained for certain positive and constructive propositional logics associated with a Tarski-type structured consequence relation as defined by Gabbay.

In this article, I defend a biconditional counterfactual account of causation, which places equal emphasis on what I call “the presence condition” and “the absence condition,” whereas Lewis's classical counterfactual theory focuses only on the absence condition. I attempt to show that biconditionalism provides a promising treatment of supervenient causation, namely, causal cases involving the supervenience relationship. Although some philosophers confuse this account with the proportionality constraint on causation, I argue that biconditionalism is distinct from and superior to proportionalism in (...) accommodating our reliable causal intuitions. (shrink)

A joke is amusing if and only if it’s fitting to be amused by it; an act is regrettable if and only if it’s fitting to regret it. Many philosophers accept these biconditionals and hold that analogous ones obtain between a wide range of additional evaluative properties and the fittingness of corresponding responses. Call these the _fit–value biconditionals_. The biconditionals give us a systematic way of recognizing the role of fit in our ethical practices; they also serve as (...) the bedrock of various metaethical projects, such as fitting-attitude analysis of value and the ‘fittingness first’ approach. Yet despite the importance of the biconditionals, there is very little discussion of their proper interpretation. This paper argues that any plausible interpretation of the fit_–_value biconditionals must disarm several kinds of apparent counterexample. For instance, that an achievement is pride-worthy doesn’t imply it is fitting for me to take pride in it because the achievement might not be mine or that of anyone close to me; that a joke is amusing doesn’t imply it is fitting for me to be amused by it for six straight months; and that a person is loveable doesn’t imply it is fitting for me to love him romantically because that person might be my sibling. We consider possible responses to such counterexamples and develop what we consider the most promising interpretation of the biconditionals. The upshot is that certain widespread assumptions about fit and its relation to value and reasons should be reconsidered. (shrink)

This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them (...) unconvincing. I stress the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden. (shrink)

Tarski's theory of truth brings out the question of whether he intended his theory to be a correspondence theory of truth and whether, whatever his intentions, his theory is, in fact, a correspondence theory. The aim of this paper is to answer both questions. The answer to the first question depends on Tarski's relevant assertions on semantics and his conception of truth. In order to answer the second question Popper's and Davidson's interpretations of Tarski's truth theory are examined; to this (...) end both Tarski's definition of truth in terms of satisfaction and the T-sentences are taken into account. (shrink)

Since the publication of Hartry Field’s influential paper “Tarski’s Theory of Truth” there has been an ongoing discussion about the philosophical import of Tarski’s definition. Most of the arguments have aimed to play down that import, starting with that of Field himself. He interpreted Tarski as trying to provide a physicalistic reduction of semantic concepts like truth, and concluded that Tarski had partially failed. Robert Stalnaker and Scott Soames claimed then that Field should have obtained a stronger conclusion, namely that (...) Tarski’s failure in his allegedly intended physicalistic reduction was total. From another front, Hilary Putnam argued for an even more sweeping thesis: “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Scott Soames followed suit also on this count, endorsing Putnam’s argument in section iii of the aforementioned paper; and John Etchemendy used a very similar argument to contend that “a Tarskian definition of truth [...] cannot possibly illuminate the semantic properties of the object language.” The paper argues that these contentions are based on several misunderstandings about the nature of a definition like Tarski’s. Regarding the Putnam-Soames-Etchemendy argument, we must apply a distinction Frege found natural to draw—and is natural to draw anyway—between what he called “constructive” definitions, definitions properly so called, which are mere stipulations, and what he described as “analytic” definitions, definitions which aim to make explicit the meaning of a term already in use. Regarding the Field-Soames-Stalnaker criticism, the paper contends that the true aims of a Tarskian truth definition are perfectly well fulfilled without Field’s amendments. (shrink)

Suppose dispositions bear a distinctive connection to counterfactual facts, perhaps one that could be enshrined in a variation on the well-worn schema "Necessarily, x is disposed to phi in psi iff x would phi in psi. Could we exploit this connection to provide an account of what it is to be a disposition? This paper is about four views of dispositionality that attempt to do so.

This chapter contains sections titled: Truth The Liar Tarskian Truth Definition Discussion Conclusion.

In this paper I develop a new conception of Tarskian logic based on Tarski’s intuitive characterization of logical consequence as formal and necessary in his 1936 paper. Special emphasis is placed on the role of logic in our system of knowledge, the origins of semantics, the semantic definition of logical consequence, and the role of logical and non-logical terms in a logical system. The paper offers a new definition of logical terms based on the question: what division of terms (...) into logical and extra-logical would yield a logical system that satisfies Tarski’s intuitive characterization of logical consequence in complete generality? I discuss the consequences of the new conception for revision in logic, the logicist thesis, and the relation between logic and mathematics. I offer a proof-theoretic perspective on the semantic conception delineated in this paper. And I conclude with a postscript on Tarski’s lecture, “What are Logical Notions?”, which was published shortly after the present conception of logic was developed. (shrink)

Philosophical Papers Vol.32(2) 2003: 149-155.

The aim of this article is to show that, just like in recent years Cobreros, Égré, Ripley and van Rooij provided a non-transitive counterpart of classical logic (meaning by this that all classically acceptable inferences are valid, but Cut and other metainferences are not) the same can be done for every Tarskian logic, with full generality. In order to establish this fact, we take a semantic approach, by showing that appropriate structures can be devised to characterize a non-transitive counterpart (...) of every Tarskian logic, starting from the logical matrices that are usually taken to render them. (shrink)

Roger White argued for a principle of indifference. Hart and Titelbaum showed that White’s argument relied on an intuition about conditioning on biconditionals that, while widely shared, is incorrect. Hawthorne, Landes, Wallmann, and Williamson argue for a principle of indifference. Remarkably, their argument relies on the same faulty intuition. We explain their intuition, explain why it’s faulty, and show how it generates their principle of indifference. 1Introduction 2El Caminos and Indifference 2.1Overview 2.2Fins and antennas 2.3HLWW in the example 2.4The (...) restrictiveness of Condition 2 2.5Summary 3The Specifics of HLWW s Argument 3.1Mapping their conditions to our equations 3.2HLWW’s responses to objections. (shrink)

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this paper, it is (...) argued that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

Proves two simple identities relating the biconditional and exclusive disjunction. -/- The PDF has been made available gratis by the publisher.

This brief, largely expository book—hereafter TT—blends history and philosophy of logic with contemporary mathematical logic. Page 3 says it “is about the relation between formal theories of truth...

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and (...) propose an alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

The Vienna Circle’s relations to Polish Semantics comprise a rather large spectrum that reaches from Camap’s whole-hearted reception, Gödel’s partial anticipation that Neurath would completely reject semantics. According to Neurath, semantics was of no help for the empiricist program of the Vienna Circle. Quite the contrary, Neurath seems to have regarded Tarski as a sort of evil genius who led astray his closest philosophical friend Carnap, seducing him to leave the path of empiricist virtue and to become addicted to the (...) vice of Aristotelian metaphysics. (shrink)

Response-dependence theses are usually formulated in terms of a priori true biconditionals of roughly the form ‘something, x, falls under the concept ‘F’ ↔ x would elicit response R from subjects S under conditions C’. Such formulations are vulnerable to conditional fallacy problems; counterexamples threaten whenever the C-conditions’ coming to obtain might alter the object with respect to F. Crispin Wright has suggested that such problems can be avoided by placing the C-conditions in a proviso. This ensures that any (...) changes triggered by the C-conditions’ coming to obtain will be irrelevant to the truth of the biconditional. I argue that this move leaves the equations vulnerable to counterexamples of a slightly different kind : Cases where the change is triggered, not by the C-conditions’ coming to obtain, but by the response. I consider two ways to resist these counterexamples, and argue that both are insufficient. The upshot is a challenge that must be met if provisoed biconditionals are to serve their purpose. (shrink)

Response-dependence theses are usually formulated in terms of a priori true biconditionals of roughly the form 'something, x, falls under the concept 'F' ↔ x would elicit response R from subjects S under conditions C'. Such formulations are vulnerable to conditional fallacy problems; counterexamples threaten whenever the C-conditions' coming to obtain might alter the object with respect to F. Crispin Wright has suggested that such problems can be avoided by placing the C-conditions in a proviso. This ensures that any (...) changes triggered by the C-conditions' coming to obtain will be irrelevant to the truth of the biconditional. I argue that this move leaves the equations vulnerable to counterexamples of a slightly different kind: Cases where the change is triggered, not by the C-conditions' coming to obtain, but by the response. I consider two ways to resist these counterexamples, and argue that both are insufficient. The upshot is a challenge that must be met if provisoed biconditionals are to serve their purpose. (shrink)