The slingshot argument and sentential identity (Q1015494): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-009-9182-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2077094328 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4951952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5839915 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5791196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3235339 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relevant predication. I: The formal theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Grundlagen der Mathematik I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4065517 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Fregean axiom and Polish mathematical logic in the \(1920^s\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Extensionality Argument / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: R. Suszko's situational semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory of logical calculi. Basic theory of consequence operations / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:58, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The slingshot argument and sentential identity |
scientific article |
Statements
The slingshot argument and sentential identity (English)
0 references
8 May 2009
0 references
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.
0 references
slingshot argument
0 references
sentential identity
0 references
non-Fregean logic
0 references
facts
0 references
situation semantics
0 references
term-forming operators
0 references
predicate abstraction
0 references