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)

“Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. (...) Gödel argued that there is a deep connection between these arguments and definite descriptions. More precisely, according to Gödel, if one adopts Russell’s interpretation of definite descriptions (which clashes with Frege’s view that definite descriptions are singular terms), it is possible to evade the slingshot. We challenge Gödel’s view in two manners, first by presenting a slingshot even with a Russellian interpretation of definite descriptions and second by presenting a slingshot even when we change from singular terms to plural terms in the light of new developments of the so-called Plural Logic. The text is divided in three chapters, in the first, we present the discussion between Russell and Frege regarding definite descriptions, in the second, we present Gödel’s position and reconstructions of Gödel’s argument and in the third we prove our slingshot argument for Plural Logic. In light of these results we conclude that we can maintain the validity of slingshot arguments even within a Russellian interpretation of definite descriptions or in the context of Plural Logic. (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)

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)

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)

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)

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.

Mellor´s theory of causation has two components, one according to which causes raise their effects´ chances, and one according to which causation links facts. I argue that these two components are not independent from each other and, in particular, that Mellor´s thesis that causation links facts requires his thesis that causes raise their effects´ chances, since without the latter thesis Mellor cannot stop the slingshot argument, an argument that is a threat to any theory postulating facts as the relata (...) of causation. (shrink)

Look! Up in the bookshelf! Is it science? Is it science-fiction? No, it's Super Science: strange visitor from the future who can be everywhere in the universe and everywhen in time, can change the world in a single bound and who - disguised as a mild mannered author - fights for truth, justice and the super-scientific way. -/- Though I put a lot of hard work into this book, I can't take all the credit. I believe that the whole universe (...) - everything on Earth and in space plus everything in the past, present, and future - is entangled and unified. Everybody is part of this unity, so anybody could have written the ideas in this book. It turned out to be me simply because I've got intense curiosity about the book's contents, enough persistence and imagination to combine science with topics like religion and philosophy, and enough spare time to assemble all the pre-existing pieces in space and time (my contribution to the book is like putting together the pieces of a big jigsaw puzzle). -/- This book, with its vast collection of scientific fact and study results, presents some fascinating theories and is an expansive journey through my research. The topic will appeal to the science-minded reader who is open to speculating on how conditions may evolve in the future, perhaps questioning the very foundations of our place in the universe. This book is not written as a single story but is a collection of 9 articles written in the first half of 2022. Each chapter of this book is presented as a research paper. There's the abstract, the introduction, the keywords, the body of the work divided into sections, and a reference section. Though this might turn some readers off, I'm a member of ResearchGate, a community of researchers. So it isn't surprising that I've presented this book this way. Each article is meant to be self-contained and well explained in plain English. As a result, some explanations appear in several of the articles. -/- Please be patient when you encounter jargon and mathematics - I've tried to keep these to a minimum but they're bound to put in an appearance in a book that's largely about science (and I have compiled an enormous amount of intricate research for this project, hopefully impressing with the organization). Quotes from a range of scientists and icons in the industry should add further fascination to the descriptions, inspiring the reader into more of an openness to speculating on the distant future. There's a lot to absorb here but understanding the future . . . It Don't Come Easy (just ask Ringo Starr who once dreamed he was an alien living on another planet in the future. -/- Contents -/- Special Relativity's Consequences For General Relativity, Quantum Mechanics And Quantum Gravity (Can Science And The Paranormal Coexist?) -/- Intergalactic Travel and Riemann Hypothesis - featuring Dark Matter, Dark Energy, Higgs Boson, Higgs Field, Electroweak Interaction, No Big Bang, Other Dimensions, Plus Other Physics and Mathematics -/- New Perspectives On Life, Death, Cancer and Covid-19 Arising From An Artificially Intelligent, Non-probabilistic Universe -/- Unipositional Interpretation Of Quantum Mechanics Means Entanglement Occurring Simultaneously With Gravitational Slingshots Reduces Problems Associated With Spaceflight -/- Unipositional Interpretation Of Quantum Mechanics Explains Time Dilation, Updates Cosmology -/- WHERE DID EVERYTHING COME FROM – Combining Science, Mathematics, Computers, Religion, Philosophy, Relativity, Quantum Physics, Darwinism, and a Podcast to Reach One Person’s Plausible Ideas -/- Thoughts on Artificial Intelligence and the Origin of Life Resulting from General Relativity, with Neo-Darwinist Reference to Human Evolution and Mathematical Reference to Cosmology -/- Planet 9 and Black Hole Versus Relativity’s Precession and Dark Matter -/- THE WORLD’S REAL-LIFE EXPERIMENTS WITH COVID-19 AND PHYSICS ALTER SOCIETY AND GLOBAL ECONOMICS . (shrink)

Many believe that, if true, reason-statements of the form ‘that X is F is a reason to φ’ describe a ‘favouring-relation’ between the fact that X is F and the act of φing. This favouring-relation has been assumed to share many features of other, more concrete relations. This combination of views leads to immediate problems. Firstly, unlike statements about many other relations, reason-statements can be true even when the relata do not exist, i.e., when the relevant facts do not obtain (...) and the relevant acts are not done. Secondly, the previous combination of views also makes it very difficult to draw the distinction between agent-relative and agent-neutral reasons. I argue that we should think that the predicate ‘is a reason to’ creates non-extensional contexts in the statements in which it is used. This would both solve the previous problems and avoid the awkward consequences of the so-called slingshot argument. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the question of (...) whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

In his recent book, Stephen Neale provides an extended defence of the claim that Gödel's slingshot has dramatic consequences for fact theorists (and, in particular, for fact theorists who look with favour on referential treatments of definite descriptions). I argue that the book-length treatment provides no strengthening of the case that Neale has made elsewhere for this implausible claim. Moreover, I also argue that various criticisms of Neale's case that I made on a previous occasion have met with no (...) successful resistance. If Neale is serious about facing facts, then he needs to face the fact that his central contentions are unsupportable. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically (...) equivalent statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

The present essay is a critical study of Barwise and Perry’s book, emphasizing the logical and model-theoretical aspects of their work. I begin by presenting the authors’ criticism of the classical view of logic and semantics within the tradition of Frege, Russell and Tarski. In this connection, I discuss the so-called Frege argument (“the slingshot”). I try to show that the argument appears inconclusive, not only from a situation-theoretic perspective, but also from such alternative perspectives as orthodox Fregean semantics (...) or Russellian semantics. I then discuss the ontology of situation semantics and the way it is modeled within set theory. In particular, I compare the notion of an abstract situation with that of a possible world. The last two sections concern the model-theoretic aspects of the authors’ theory. In Section 7, I discuss how the “partial” perspective of situation semantics differs from that of classical model theory. Finally, in Section 8, different model-theoretic accounts of attitude reports within situation semantics are discussed, in particular the “relations to situations”-approach presented by the authors in Chapter 9 of S & A. The usual problems of “logical omniscience” that appear in standard Hintikka-style epistemic logic are avoided in situation semantics. I argue, however, that situation semantics is faced with analogous counter-intuitive results, unless the expressive power of the language under study is suitably restricted. (shrink)

Articolo divulgativo pubblicato su l'Indiscreto il 23 ottobre 2024. Rappresenta il secondo capitolo di un testo che cercherà di fare una rapida panoramica su otto settori della filosofia analitica. Si presentano le teorie epistemiciste e si analizzano le più celebri argomentazioni connesse: il paradosso di Fitch, la Terra Gemella, il Brain in a Vat, il Model-Theoretic Argument Against Realism. Infine, si accenna rapidamente al deflazionismo e ad un possibile modello pluralista.

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.