The slingshot argument and sentential identity

DOI10.1007/S11225-009-9182-5MaRDI QIDQ1015494zbMATH OpenOpenAlexFDO

Authors Yaroslav Shramko, Heinrich Wansing

Publication date 8 May 2009

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-009-9182-5

zbMATH Keywords

factsnon-Fregean logicpredicate abstractionsentential identitysituation semanticsslingshot argumentterm-forming operators

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Review text

The famous ``slingshot argument, developed by Church, Gödel, Quine, and Davidson, seeks to provide a formal proof of the Fregean view that all true sentences denote the same object, namely the truth-value \textit{true}. The article discusses and rejects Wójtowicz's charge that the slingshot argument is circular. But the authors concede that it is useful to formulate the argument in the context of a non-Fregean logic developed by Suszko, which uses an additional connective \(\equiv\), where \(A \equiv B\) intuitively states that \(A\) and \(B\) denote the same situation. Several such versions of the slingshot argument are developed in this sort of context and argued to withstand criticism. A variety of theorems are proved which pinpoint the assumptions that are needed for the slingshot argument to go through. The technical results and accompanying discussion reveal how robust the argument is.

Recommendations

• Shallow analysis and the slingshot argument
• Modal objection to naive Leibnizian identity
• The ontological argument and Russell's antinomy
• Sloman's view of Gödel's sentence
• scientific article; zbMATH DE number 3950491
• Identity, ontology, and Frege's problem
• Putnam's constructivization argument
• scientific article; zbMATH DE number 1778926
• An argument for the ontological innocence of mereology
• A Version of the Frege - Quine Argument

Cites work

• First-order modal logic
• Grundlagen der Mathematik I
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3482305 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• scientific article; zbMATH DE number 3099235 (Why is no real title available?)
• R. Suszko's situational semantics
• Relevant predication. I: The formal theory
• The Extensionality Argument
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(9)

• Hyper-slingshot. Is fact-arithmetic possible?
• Causal slingshots
• When is a schema not a schema? On a remark by Suszko
• Davidson, correspondence truth and the frege-Gödel—church argument
• On non-transitive ``identity
• Do We Need Mathematical Facts?
• Shallow analysis and the slingshot argument
• A modal loosely guarded fragment of second-order propositional modal logic
• A modal two-variable fragment of second-order propositional modal logic

This page was built for publication: The slingshot argument and sentential identity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1015494)