The correspondence theory of truth holds that each true sentence corresponds to a discrete fact. Donald Davidson and others have argued (using an argument that has come to be known as the slingshot) that this theory is mistaken, since all true sentences correspond to the same “Great Fact.” The argument is designed to show that by substituting logically equivalent sentences and coreferring terms for each other in the context of sentences of the form ‘P corresponds to the fact that (...) P’ every true sentence can be shown to correspond to the same facts as every other true sentence. The claim is that all substitution of logically equivalent sentences and coreferring terms takes place salva veritate. I argue that the substitution of coreferring terms in this context need not preserve truth. The slingshot fails to refute the correspondence theory. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false . In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim (...) that the slingshot argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

The first installment of a paper comparing the standard slingshot argument with the doxastic version.

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, (...) proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii). (shrink)

It is argued that the slingshot argument does not soundly challenge the truth-maker correspondence theory of truth, by which at least some distinct true propositions are expected to have distinct truth- makers. Objections are presented to possible exact interpretations of the essential slingshot assumption, in which no fully acceptable reconstruction is discovered. A streamlined version of the slingshot is evaluated, in which explicit contradiction results, on the assumption that identity and nonidentity contexts are purely extensional relations, effectively (...) establishing the intensionality of identity. (shrink)

A “slingshot” proof suggested by Kurt Gödel (1944) has been recast by Stephen Neale (1995) as a deductive argument showing that no non-truthfunctional sentence connective can permit the combined use, within its scope, of two truth-functionally valid inference principles involving defi- nite descriptions. According to Neale, this result provides indirect support for Russell’s Theory of Descriptions and has broader philosophical repercussions because descriptions occur in non-truth-functional constructions used to motivate talk about (e.g.) necessity, time, probability, causation, obligation, facts, states (...) of affairs, and propositions. (shrink)

In the paper I exploit Frege's notions of sense and synonymity in order to amend the slingshot argument. The main emendation is to replace the assumption about logical equivalence by an assumption about synonymity. While the replaced assumption begs the question about the reference of sentences, the replacing assumption has much more theoretical support from Frege's general conception of sense and reference and the relation between them. In the paper I use a specific notion of synonymity which I believe (...) is faithful to Frege's discussion of the subject. I notice that if a stronger notion of synonymity is used, my version of the argument fails. The failure is explained by showing that this stronger notion of synonymity enables the assignment of facts, and not truth values, as the references of sentences. (shrink)

In the paper I exploit Frege's notions of sense and synonymity in order to amend the slingshot argument. The main emendation is to replace the assumption about logical equivalence by an assumption about synonymity. While the replaced assumption begs the question about the reference of sentences, the replacing assumption has much more theoretical support from Frege's general conception of sense and reference and the relation between them. In the paper I use a specific notion of synonymity which I believe (...) is faithful to Frege's discussion of the subject. I notice that if a stronger (and to my mind implausible) notion of synonymity is used, my version of the argument fails. The failure is explained by showing that this stronger notion of synonymity enables the assignment of facts, and not truth values, as the references of sentences. (shrink)

The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model of arithmetical theories. It may be interpreted as showing that it is impossible to construct fact-arithmetic. The importance of this conclusion arises in the context of cognitive science. In the paper, a new type of slingshot argument is presented, which is called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that (...) the former are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the lambda-operator as the abstractor, whereas the latter require for their expression at least one of these non-standard term-operators. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots. (shrink)

Most philosophers today will acknowledge the pitfalls of confusing metaphysical and semantic issues. Many are also familiar with the classic semi-formalargument that has come to be known as ‘the Slingshot’ and the various philosophical ends to which this argument has been deployed. The combination of the argument’s relatively simple theoretical machinery and its wide range of applications make it ripe for abuse. The slingshot was originally conceived as a semantic argument about designation; what it suggests, but does not (...) prove, is that the closest analogue to singular term reference for any expression is that expression’s semantic extension. In order to derive more metaphysically robust conclusions, however, many classical deployments of the argument make use of several methodologically suspicious tactics. By cataloguing the more frequent abuses of the argument, we may remind ourselves of a valuable philosophical lesson. (shrink)

According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a (...) rigorous application of Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions. (shrink)

Slingshot arguments aim to show that an allegedly non-extensional sentential connective—such as “necessarily ” or “the statement that Φ corresponds to the fact that ”—is, to the contrary, an extensional sentential connective. Stephen Neale : 761-825, 1995, 2001) argues that a reformulation of Gödel’s slingshot puts pressure on us to adopt a particular view of definite descriptions. I formulate a revised version of the slingshot argument—one that relies on Kaplan’s notion of “dthat.” I aim to show that (...) if Neale’s version of the slingshot argument is successful, then there is another slingshot available, parallel in structure to Neale’s, but independent of definite descriptions. So either there is a version of the slingshot that succeeds independent of any particular theory of descriptions or else Neale’s slingshot was never threatening to begin with. (shrink)

The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered not (...) as a trivialisation, but as an intended consequence of Gödel's ontotheological views. (shrink)

In §§1-2 I argue that Marco misidentifies my main objections to the Church and Gödel slingshot arguments and that his defense of these arguments does not overcome those objections. In §3 I discuss his criticisms of my theory of descriptions in relation to Church’s argument.

Frege hat in seinen Schriften zu den philosophischen Grundlagen der Logik eine eigenwillige Konzeption der Wahrheit skizziert, der zufolge das Wahre und das Falsche keine Eigenschaften von Sätzen oder Gedanken sind, sondern Gegenstände, die von Sätzen bezeichnet werden. In dem vorliegenden Sammelband werden zentrale Komponenten dieser Konzeption näher beleuchtet: die Thesen der Undefinierbarkeit der Wahrheit und der Redundanz des Wortes „wahr“, die Auffassung der Wahrheitswerte als Gegenstände, das so genannte slingshot-Argument, die Konzeption der Tatsachen als wahre Gedanken und die (...) Bestimmung der logischen Gesetze als Gesetze des Wahrseins. Mit Beiträgen von Joachim Bromand, Gottfried Gabriel, Martin Grajner, Dirk Greimann, Andreas Kemmerling, Ulrike Kleemeier, Michael Kober, Verena Mayer, Uwe Meixner, Marco Ruffino, Richard Schantz, Hans Sluga und Christian Thiel. (shrink)

The topic of this essay is “the slingshot,” a short argument that purports to show that sentences1 designate (stand for, refer to) truth values. Versions of this argument have been used by Frege 2, Church 3, Quine4 and Davidson5; thus it is historically important, even if it immediately strikes one as fishy. The argument turns on two principles, which I call substitution and redistribution. In “Semantic Innocence and Uncompromising Situations,”6 Jon Barwise and I rejected both principles, as part of (...) our attempt.. (shrink)

The so-called “Slingshot” argument purports to show that an ontology of facts is untenable. In this paper, we address a minimal slingshot restricted to an ontology of physical facts as truth-makers for empirical physical statements. Accepting that logical matters have no bearing on the physical facts that are truth-makers for empirical physical statements and that objects are themselves constituents of such facts, our minimal slingshot argument purportedly shows that any two physical statements with empirical content are made (...) true by one and the same fact. It is well-known that Russell’s theory of descriptions may be employed to reveal a scope fallacy in the slingshot argument. This paper reveals that there is a quite independent Russellian criticism of the slingshot argument based on the thesis that facts are structured entities. (shrink)

The paper attempts to do the following: (1) provide a reconstruction of a valid argument for Frege’s thesis that a truth-apt sentence refers to its truth value---an argument that is the implicit argument of Frege’s original text, based on premises explicitly stated or clearly implied in “On Sense and Reference”; (2) examine a standard version (essentially Davidson’s) of the recent counterpart of the Fregean Argument (the so-called Slingshot) designed to refute, quite generally, fact-based correspondence theories of truth; and (3) (...) show exactly why Wittgenstein’s correspondence theory in the Tractatus is not subject to the Slingshot Argument. If so, then, contra Davidson, it is neither the case that a correspondence theory need be nonexplanatory of truth, nor the case that a “strategy of facts” cannot be sustained. Indeed, for Wittgenstein, the Slingshot cannot even come into play, unless we attempt to say what can only be shown. (shrink)

The paper attempts to do the following: (1) provide a reconstruction of a valid argument for Frege’s thesis that a truth-apt sentence refers to its truth value---an argument that is the implicit argument of Frege’s original text, based on premises explicitly stated or clearly implied in “On Sense and Reference”; (2) examine a standard version (essentially Davidson’s) of the recent counterpart of the Fregean Argument (the so-called Slingshot) designed to refute, quite generally, fact-based correspondence theories of truth; and (3) (...) show exactly why Wittgenstein’s correspondence theory in the Tractatus is not subject to the Slingshot Argument. If so, then, contra Davidson, it is neither the case that a correspondence theory need be nonexplanatory of truth, nor the case that a “strategy of facts” cannot be sustained. Indeed, for Wittgenstein, the Slingshot cannot even come into play, unless we attempt to say what can only be shown. (shrink)

In this paper I shall show how the Correspondence Theory of Truth can block Davidson’s Slingshot (Davidson 1984), which threatens to make the Correspondence Theory collapse. In particular I shall show that the Slingshot is unsound − and in so doing I shall show that the Correspondence Theory has some metaphysical commitments about the nature of facts.

Frege's views regarding analysis and synomymy have long been the subject of critical discussion. Some commentators, led by Dummett, have argued that Frege was committed to the view that each thought admits of a unique ultimate analysis. However, this interpretation is in apparent conflict with Frege's criterion of synonymy, according to which two sentence express the same thought if one cannot understand them without regarding them as having the same truth–value. In a recent article in this journal, Drai attempts to (...) reconcile Frege's criterion of synonymy with unique ultimate analysis by holding that, for Frege, if two sentences satisfy the criterion without being intensionally isomorphic, at most one of them is a privileged representation of the thought expressed. I argue that this proposal fails, because it conflicts not only with Frege's views of abstraction principles but also with slingshot arguments (including one presented by Drai herself) that accurately reflect Frege's commitment to the view that sentences alike in truth–value have the same Bedeutung. While Drai helpfully connects Frege's views of abstraction principles with such slingshot arguments, this connection cannot become fully clear until we recognise that Frege rejects unique ultimate analysis. (shrink)

This paper is a critical examination of Stephen Neale's *The Philosophical Significance of Godel's slingshot*. I am sceptical of the philosophical significance of Godel’s Slingshot (and of Slingshot arguments in general). In particular, I do not believe that Godel’s Slingshot has any interesting and important philosophical consequences for theories of facts or for referential treatments of definite descriptions. More generally, I do not believe that any Slingshot arguments have interesting and important philosophical consequences for theories (...) of facts or for referential treatments of definite descriptions. Friends of facts and referential treatments of definite descriptions can, and should, proceed with the construction of their theories, blithely ignoring the many Slingshots which now litter the landscape. (Of course, there may be other considerations which should give such theorists pause -- but those are other considerations.). (shrink)

The purpose of this paper is to discuss Chateaubriand’s criticism of the so-called slingshot arguments, particularly of those versions proposed by Church and by Gödel . I concentrate on two critical points made by Chateaubriand, and argue that they are not decisive against these versions of the slingshot. I also discuss Chateaubriand’s hybrid theory of definite descriptions and argue that, despite its intrinsic interest, it cannot avoid the conclusion of the slingshot.

My dissertation addresses a question relevant to metaphysics, philosophy of language, and philosophy of science: What are natural kinds? I explore a view that holds that natural kinds are complex, structural properties that involve causal structure. Causal structure describes the idea that for the many properties associated with natural kinds, these properties are nomically linked - that is causally connected - in such a way that the properties of non-natural kinds are not. After criticizing arguments in favor of a nominalist (...) theory of kinds - one that holds that a natural kind just is to be identified with its class of instances - and after defending the notion of a complex structural property from several prominent objections posed by David Lewis, I apply a causal account of natural kinds to a set of problematic cases, paying special attention to isomeric kinds from chemistry. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s thesis. (...) For this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

RÉSUMÉ: Utilisant ce qu'on appelle l'argument du lance-pierres, Davidson soutient que la théorie correspondantiste de la vérité est intenable. Cet argument dépend de deux présuppositions, dont l'une est qu'une phrase vraie ne devrait pas, par substitution de termes singuliers coréférentiels, en venir à correspondre à quelque chose de différent. Je propose dans cet article un argument nouveau pour montrer que cette supposition n'est pas plausible, particulièrement lorsqu'elle s'applique à des énoncés d'identité, ceux-là mêmes dont dépend pour sa formulation l'argument du (...) lance-pierres. (shrink)

If certain versions of the correspondence theory of truth are correct, then truth can be informatively defined as correspondence to facts; facts would be truth-makers, and we could explain truth in terms of truth-bearers, correspondence, and truth-makers. I explain how slingshot arguments work generally, as collapsing arguments (regardless of their targets). Working through the slingshots of Davidson, and Gödel, I claim that Davidson’s slingshot involves dubitable premises, but that Gödel’s slingshot is terminal to certain versions of the (...) correspondence theory, as it poses a fatal dilemma between what I call fact fission and fact fusion. My claim is that it is impossible to informatively define truth in terms of correspondence to facts. (shrink)

According to the principle of compositionality, the meaning of a composed expression depends only on its logical form and the meaning of its descriptive sub-expressions. This dependence can be understood as the substitutivity of expressions that have the same meaning without changing the meaning of the composed expression. In this book the hidden complexity of Frege's and Quine's conceptions of extensionality is revealed. The insights gained by this analysis as well as two versions of the principle of compositionality are used (...) in a formal reconstruction of Gödel's and Quine's versions of the slingshot argument. (shrink)

«بررسی استدلال دیویدسون در باب ترکیبی بودن زبان‌های طبیعی و «استدلال قلاب سنگی .

I discuss Frege's argument - later called the slingshot - that if a construction is extensional and preserves logical equivalence then it is truth-functional. I consider some simple apparent counterexamples and conclude that they are not sentence-embedding in the required way.

This is the third installment of a paper which deals with comparison and evaluation of the standard slingshot argument (for the claim that all true sentences, if they refer, refer to the same object) with the doxastic formulation.

The article considers the bearing of so-called "slingshot" arguments on the connective "because". It discusses Davidson's famous (1967) slingshot, deployed in support of the thesis that causation cannot be a relation between facts, and also a neater version developed by Stephen Neale in his (1995). The paper challenges the assumption (Anscombe (1969), Lycan (1974), Mellor (1995), Neale (1995)), that Davidson's argument, which actually concerns the connective "The fact that ... caused it to be the case that ..." (FC) (...) might equally have been directed against "because", by pointing out important differences between the two connectives, differences which render "because" invulnerable to attacks which are, by contrast, damaging to some tempting interpretations of FC. It suggests that the true import of slingshot arguments directed at these causal-explanatory connectives is not so much to show that a fact-free ontology of causation is required as to reveal the fine-grained nature of the facts which causation relates. (shrink)

In this paper, I argue -- against Steven Wagner -- that Nathan Salmon's semantic theory is not refuted by a suitable variant of Quine's slingshot (Word and Object, 148-9).