Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000854556> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2000854556 endingPage "323" @default.
- W2000854556 startingPage "303" @default.
- W2000854556 abstract "Contacts of the two logicians are listed, and all Gödel's written mentions of Tarski's work are quoted. Why did Gödel almost never mention Tarski's definition of truth in his notes and papers? This puzzle of Gödel's silence, proposed by Feferman, is not merely biographical or psychological but has interesting connections to Gödel's philosophical views. No satisfactory answer is given by the three “standard” explanations: (i) no need to repeat the work already done; (ii) Tarski's achievement was obvious to Gödel; (iii) Gödel's exceptional caution. In fact, (i), Tarski had done the work, but Gödel almost never mentioned the achievement; (ii), the obviousness is no explanation for the omission of Tarski's work in contexts in which an application of the definition of satisfaction was useful, and even necessary; (iii), the point was not just caution: if Gödel had felt the need to mention the program of scientific semantics he could easily have done that in his manuscripts, or in conversations. Three ideas, detectable in Gödel's approach, can help us understand Gödel's silence: (A) the idea of truth as the intuitive provability in the most general sense; defining it set-theoretically would contribute nothing. (B) the idea of truth as an inexhaustible idea in the sense of Kant; “truth in general” is a category that must be applicable to all kinds of sentential expressions; also, while for Gödel language was secondary, Tarski's definition is focused on language. (C) the idea of logic as the universal language, in Hintikka's sense, as opposed to the perception of logic as a reinterpretable calculus; hence the thesis that semantics is inexpressible. Gödel always remains a Platonist who asks a natural question: what does really happen in the realm of abstract objects?" @default.
- W2000854556 created "2016-06-24" @default.
- W2000854556 creator A5041051444 @default.
- W2000854556 date "2004-06-01" @default.
- W2000854556 modified "2023-09-24" @default.
- W2000854556 title "Gödel on Tarski" @default.
- W2000854556 cites W111556615 @default.
- W2000854556 cites W114120139 @default.
- W2000854556 cites W1563087464 @default.
- W2000854556 cites W189074547 @default.
- W2000854556 cites W1964011508 @default.
- W2000854556 cites W1970524747 @default.
- W2000854556 cites W1987695878 @default.
- W2000854556 cites W1990474964 @default.
- W2000854556 cites W2006003687 @default.
- W2000854556 cites W2022398114 @default.
- W2000854556 cites W2026045585 @default.
- W2000854556 cites W2050219405 @default.
- W2000854556 cites W2073865413 @default.
- W2000854556 cites W2075458778 @default.
- W2000854556 cites W2103594504 @default.
- W2000854556 cites W2106131771 @default.
- W2000854556 cites W2108704847 @default.
- W2000854556 cites W2114804254 @default.
- W2000854556 cites W2135111555 @default.
- W2000854556 cites W2148404674 @default.
- W2000854556 cites W2163568292 @default.
- W2000854556 cites W2324223338 @default.
- W2000854556 cites W2331346174 @default.
- W2000854556 cites W2491137963 @default.
- W2000854556 cites W3183889129 @default.
- W2000854556 cites W3202115897 @default.
- W2000854556 cites W52789172 @default.
- W2000854556 cites W638047791 @default.
- W2000854556 doi "https://doi.org/10.1016/j.apal.2003.11.019" @default.
- W2000854556 hasPublicationYear "2004" @default.
- W2000854556 type Work @default.
- W2000854556 sameAs 2000854556 @default.
- W2000854556 citedByCount "3" @default.
- W2000854556 countsByYear W20008545562023 @default.
- W2000854556 crossrefType "journal-article" @default.
- W2000854556 hasAuthorship W2000854556A5041051444 @default.
- W2000854556 hasConcept C107038049 @default.
- W2000854556 hasConcept C111472728 @default.
- W2000854556 hasConcept C136815107 @default.
- W2000854556 hasConcept C138885662 @default.
- W2000854556 hasConcept C177264268 @default.
- W2000854556 hasConcept C199343813 @default.
- W2000854556 hasConcept C199360897 @default.
- W2000854556 hasConcept C2777686260 @default.
- W2000854556 hasConcept C2781115785 @default.
- W2000854556 hasConcept C33923547 @default.
- W2000854556 hasConcept C39095165 @default.
- W2000854556 hasConcept C41008148 @default.
- W2000854556 hasConcept C71924100 @default.
- W2000854556 hasConceptScore W2000854556C107038049 @default.
- W2000854556 hasConceptScore W2000854556C111472728 @default.
- W2000854556 hasConceptScore W2000854556C136815107 @default.
- W2000854556 hasConceptScore W2000854556C138885662 @default.
- W2000854556 hasConceptScore W2000854556C177264268 @default.
- W2000854556 hasConceptScore W2000854556C199343813 @default.
- W2000854556 hasConceptScore W2000854556C199360897 @default.
- W2000854556 hasConceptScore W2000854556C2777686260 @default.
- W2000854556 hasConceptScore W2000854556C2781115785 @default.
- W2000854556 hasConceptScore W2000854556C33923547 @default.
- W2000854556 hasConceptScore W2000854556C39095165 @default.
- W2000854556 hasConceptScore W2000854556C41008148 @default.
- W2000854556 hasConceptScore W2000854556C71924100 @default.
- W2000854556 hasIssue "1-3" @default.
- W2000854556 hasLocation W20008545561 @default.
- W2000854556 hasOpenAccess W2000854556 @default.
- W2000854556 hasPrimaryLocation W20008545561 @default.
- W2000854556 hasRelatedWork W1523468293 @default.
- W2000854556 hasRelatedWork W1989660223 @default.
- W2000854556 hasRelatedWork W2019822447 @default.
- W2000854556 hasRelatedWork W2190817205 @default.
- W2000854556 hasRelatedWork W2321756657 @default.
- W2000854556 hasRelatedWork W2478861198 @default.
- W2000854556 hasRelatedWork W2613139934 @default.
- W2000854556 hasRelatedWork W2901791975 @default.
- W2000854556 hasRelatedWork W2979031363 @default.
- W2000854556 hasRelatedWork W3047329646 @default.
- W2000854556 hasVolume "127" @default.
- W2000854556 isParatext "false" @default.
- W2000854556 isRetracted "false" @default.
- W2000854556 magId "2000854556" @default.
- W2000854556 workType "article" @default.