Slingshot argument

Slingshot argument

In logic, a slingshot argument is one of a group of arguments claiming to show that all true sentences stand for the same thing.

This type of argument was dubbed the "slingshot" by philosophers Jon Barwise and John Perry (1981) due to its disarming simplicity. Versions of the slingshot argument have been given by Charles Peirce, Gottlob Frege, Alonzo Church, W. V. Quine, and Donald Davidson. Stephen Neale (1995) claims, controversially, that the most compelling version was suggested by Kurt Gödel (1944).

These arguments are sometimes modified to support the alternative, and evidently stronger, conclusion that there is only one "fact", or one true "proposition", "states of affairs", "truth condition", "truthmaker", and so on.

The argument

One version of the argument (Perry 1996) proceeds as follows.

Assumptions:
# Substitution. If two terms designate the same thing, then substituting one for another in a sentence does not change the designation of that sentence.
# Redistribution. Rearranging the parts of a sentence does not change the designation of that sentence, provided the truth conditions of the sentence do not change.
# Every sentence is equivalent to a sentence of the form "F"("a"). In other words, every sentence has the same designation as some sentence that attributes a property to something. (For example, "All men are mortal" is equivalent to "The number 1 has the property of being such that all men are mortal".)
# For any two objects there is a relation that holds uniquely between them. For example, if the objects in question are denoted by "a" and "b", the relation in question might be "R"("x", "y"), which is stipulated to hold just in case "x" = "a" and "y" = "b".)

Let "S" and "T" be arbitrary true sentences, designating "Des"("S") and "Des"("T"), respectively. (No assumptions are made about what kinds of things "Des"("S") and "Des"("T") are.) It is now shown by a series of designation-preserving transformations that "Des"("S") = "Des"("T"). Here, "iota x" can be read as "the "x" such that".

1. S
2. phi (a) assumption 3
3. a = iota x (phi (x) land x=a) redistribution
4. a = iota x (pi (x,b) land x=a) substitution, assumption 4
5. pi (a,b) redistribution
6. b = iota x (pi (a,x) land x=b ) redistribution
7. b = iota x (psi (x) land x=b ) substitution, assumption 3
8. psi (b) redistribution
9. T assumption 3

Note that (1)-(9) is not a derivation of "T" from "S". Rather, it is a series of (allegedly) designation-preservating transformation steps.

Responses to the argument

As Gödel (1944) observed, the slingshot argument does not go through if Bertrand Russell's famous account of definite descriptions is assumed. Russell claimed that the proper logical interpretation of a sentence of the form "The "F" is "G" is:

: Exactly one thing is "F", and that thing is also "G".

Or, in the language of first-order logic:

: exists x (forall y (F(y) leftrightarrow y = x) land G(x))

When the sentences above containing iota-expressions are expanded out to their proper form, the steps involving substitution are seen to be illegitimate. Consider, for example, the move from (3) to (4). On Russell's account, (3) and (4) are shorthand for:

3'. exists x (forall y ((phi(y) land y=a) leftrightarrow y = x) land a = x)
4'. exists x (forall y ((pi (y,b) land y=a) leftrightarrow y = x) land a = x)

Clearly the substitution principle and assumption 4 do not license the move from (3') to (4'). Thus, one way to look at the slingshot is as simply another argument in favor of Russell's theory of definite descriptions.

If one is not willing to accept Russell's theory, then it seems wise to challenge either "substitution" or "redistribution", which seem to be the other weakest points in the argument. Perry (1996), for example, rejects both of these principles, proposing to replace them with certain weaker, qualified versions that do not allow the slingshot argument to go through.

ee also

* Abstraction
* Logic of information

External links

* [http://ndpr.nd.edu/review.cfm?id=1117 Stephen Neale's "Facing Facts" reviewed by John Macfarlane]

References

* Barwise, Jon, and Perry, John (1981), "Semantic innocence and uncompromising situations", "Midwest Studies in the Philosophy of Language", VI.

* Gödel, Kurt (1944), "Russell's mathematical logic", in Schillp (ed.), "The Philosophy of Bertrand Russell", Evanston and Chicago: Northwestern University Press, pp. 125-53.

* Neale, Stephen (1995), "The philosophical significance of Gödel's Slingshot", "Mind", vol. 104, no. 416, pp. 761-825.

* Peirce, C.S. (1906), "Prolegomena to an Apology for Pragmaticism", "The Monist", 16, 492–546 (1906). Reprinted, "Collected Papers", CP 4.530–572.

* Perry, John (1996), "Evading the slingshot", in Andy Clark et al. (eds.), "Philosophy and Cognitive Science", The Netherlands. [http://www-csli.stanford.edu/~john/PHILPAPERS/evading.pdf PDF]

Bibliography

* Charles Peirce (Bibliography)


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Slingshot-Argument — Das Slingshot Argument (englisch „Steinschleuder Argument“) ist ein Argument für die These, dass Sätze auf Wahrheitswerte referieren. Es findet sich bereits, zumindest angedeutet, in Gottlob Freges Aufsatz „Über Sinn und Bedeutung“ von 1892.… …   Deutsch Wikipedia

  • Slingshot Argument — Das Slingshot Argument (englisch „Steinschleuder Argument“) ist ein Argument für die These, dass Sätze auf Wahrheitswerte referieren. Es findet sich bereits, zumindest angedeutet, in Gottlob Freges Aufsatz „Über Sinn und Bedeutung“ von 1892.… …   Deutsch Wikipedia

  • Slingshot (disambiguation) — A slingshot is a small hand powered projectile weapon.Slingshot may also refer to: * Gravitational slingshot, the use of a planet s gravity to alter the path and speed of a spacecraft * Slingshot argument, an argument in logics that tries to show …   Wikipedia

  • Slingshot — Der Begriff Slingshot (englisch „Steinschleuder“) bezeichnet eine Methode der interplanetaren Raumfahrt, bei der ein Raumflugkörper gezielt dicht an einem Planeten vorbeifliegt und durch dessen Gravitation sowohl die Richtung als auch die… …   Deutsch Wikipedia

  • slingshot — The argument sometimes known as the Frege–Church argument that if a context is such that co referring singular terms (names or descriptions) can be substituted for each other salva veritate, then sentences with the same truth value can also be so …   Philosophy dictionary

  • Fact — For other uses, see Fact (disambiguation). A fact (derived from the Latin Factum, see below) is something that has really occurred or is actually the case. The usual test for a statement of fact is verifiability, that is whether it can be shown… …   Wikipedia

  • John Perry (philosopher) — John R. Perry (born 1943) is Henry Waldgrave Stuart Professor of Philosophy at Stanford University. He has made significant contributions to areas of philosophy, including logic, philosophy of language, metaphysics, and philosophy of mind. He is… …   Wikipedia

  • Ludwig Gottlob Frege — Gottlob Frege Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Mathematiker, Logiker und Philosoph. Seine herausragende Leistung auf dem Gebiet der Logik besteht darin, als erster… …   Deutsch Wikipedia

  • Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality …   Wikipedia

  • Truth condition — In semantics, truth conditions are what obtain precisely when a sentence is . For example, It is snowing in Nebraska is true precisely when it is snowing in Nebraska.More formally, we can think of a truth condition as what makes for the truth of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”