Carnap's Contribution to Tarski's Truth.
In his seminal work “The Concept of Truth in Formalized Languages” (1933), Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and lo...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MULPress
2015-11-01
|
| Series: | Journal for the History of Analytical Philosophy |
| Online Access: | https://jhaponline.org/jhap/article/view/1514 |
| _version_ | 1818502430929715200 |
|---|---|
| author | Monika Gruber |
| author_facet | Monika Gruber |
| author_sort | Monika Gruber |
| collection | DOAJ |
| description | In his seminal work “The Concept of Truth in Formalized Languages” (1933), Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often regard Tarski as putatively changing his logical framework from type theory to set
theory.
In what follows, we will compare the original results with those presented two years later. After a brief outline of Carnap’s program in The Logical Syntax of Language we will determine its significance for Tarski’s final results. |
| first_indexed | 2024-12-10T21:10:09Z |
| format | Article |
| id | doaj.art-6ca8a6f81d87451caa7196c552ef332f |
| institution | Directory Open Access Journal |
| issn | 2159-0303 |
| language | English |
| last_indexed | 2024-12-10T21:10:09Z |
| publishDate | 2015-11-01 |
| publisher | MULPress |
| record_format | Article |
| series | Journal for the History of Analytical Philosophy |
| spelling | doaj.art-6ca8a6f81d87451caa7196c552ef332f2022-12-22T01:33:30ZengMULPressJournal for the History of Analytical Philosophy2159-03032015-11-0131010.15173/jhap.v3i10.1514Carnap's Contribution to Tarski's Truth.Monika Gruber0University of ViennaIn his seminal work “The Concept of Truth in Formalized Languages” (1933), Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often regard Tarski as putatively changing his logical framework from type theory to set theory. In what follows, we will compare the original results with those presented two years later. After a brief outline of Carnap’s program in The Logical Syntax of Language we will determine its significance for Tarski’s final results.https://jhaponline.org/jhap/article/view/1514 |
| spellingShingle | Monika Gruber Carnap's Contribution to Tarski's Truth. Journal for the History of Analytical Philosophy |
| title | Carnap's Contribution to Tarski's Truth. |
| title_full | Carnap's Contribution to Tarski's Truth. |
| title_fullStr | Carnap's Contribution to Tarski's Truth. |
| title_full_unstemmed | Carnap's Contribution to Tarski's Truth. |
| title_short | Carnap's Contribution to Tarski's Truth. |
| title_sort | carnap s contribution to tarski s truth |
| url | https://jhaponline.org/jhap/article/view/1514 |
| work_keys_str_mv | AT monikagruber carnapscontributiontotarskistruth |