國立虎尾科技大學 |

Alfred Tarski and the "Concept of Truth in Formalized Languages" = A Running Commentary with Consideration of the Polish Original and the German Translation /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Alfred Tarski and the "Concept of Truth in Formalized Languages"/ by Monika Gruber.
其他題名:	A Running Commentary with Consideration of the Polish Original and the German Translation /
作者:	Gruber, Monika.
面頁冊數:	XII, 187 p. 42 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Epistemology. -
電子資源:	https://doi.org/10.1007/978-3-319-32616-0
ISBN:	9783319326160

Alfred Tarski and the "Concept of Truth in Formalized Languages" = A Running Commentary with Consideration of the Polish Original and the German Translation /
Gruber, Monika.

Alfred Tarski and the "Concept of Truth in Formalized Languages"A Running Commentary with Consideration of the Polish Original and the German Translation /[electronic resource] :by Monika Gruber. - 1st ed. 2016. - XII, 187 p. 42 illus.online resource. - Logic, Epistemology, and the Unity of Science,392214-9775 ;. - Logic, Epistemology, and the Unity of Science,37.

Part 1. Introduction -- Chapter 1. Remarks on the objective of the dissertation -- Chapter 2. Remarks on the construction and the content of the dissertation -- Chapter 3. The text versions used in the present dissertation -- Chapter 4. General terminological questions and translational issues -- Chapter 5. Intuition -- Chapter 6. Materially adequate and formally correct definition -- Chapter 7. Sentence vs. Statement -- Chapter 8. Quantification -- Chapter 9. Consistency -- Chapter 10. Articles -- Chapter 11. Metatheory vs. metascience -- Part 2. Commentary -- Chapter 12. Introduction -- Chapter 13. The Concept of True Sentence in Everyday or Colloquial Language -- Chapter 14. Formalized Languages, especially the Language of the Calculus of Classes -- Chapter 15. The Concept of True Sentence in the Language of the Calculus of Classes -- Chapter 16. The Concept of True Sentence in Languages of Finite Order -- Chapter 17. The Concept of True Sentence in Languages of Infinite Order -- Chapter 18. Summary -- Chapter 19. Postscript -- Conclusion.

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that the notion in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work.

ISBN: 9783319326160

Standard No.: 10.1007/978-3-319-32616-0doiSubjects--Topical Terms:

671538
Epistemology.

LC Class. No.: BD143-237

Dewey Class. No.: 120

Alfred Tarski and the "Concept of Truth in Formalized Languages" = A Running Commentary with Consideration of the Polish Original and the German Translation /
LDR:04008nam a22004095i 4500 001 971819
003 DE-He213
005 20200703221309.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319326160 $9 978-3-319-32616-0
024 7 $a 10.1007/978-3-319-32616-0 $2 doi
035 $a 978-3-319-32616-0
050 4 $a BD143-237
072 7 $a HPK $2 bicssc
072 7 $a PHI004000 $2 bisacsh
072 7 $a QDTK $2 thema
082 0 4 $a 120 $2 23
100 1 $a Gruber, Monika. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1114172
245 1 0 $a Alfred Tarski and the "Concept of Truth in Formalized Languages" $h [electronic resource] : $b A Running Commentary with Consideration of the Polish Original and the German Translation / $c by Monika Gruber.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XII, 187 p. 42 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $v 39
505 0 $a Part 1. Introduction -- Chapter 1. Remarks on the objective of the dissertation -- Chapter 2. Remarks on the construction and the content of the dissertation -- Chapter 3. The text versions used in the present dissertation -- Chapter 4. General terminological questions and translational issues -- Chapter 5. Intuition -- Chapter 6. Materially adequate and formally correct definition -- Chapter 7. Sentence vs. Statement -- Chapter 8. Quantification -- Chapter 9. Consistency -- Chapter 10. Articles -- Chapter 11. Metatheory vs. metascience -- Part 2. Commentary -- Chapter 12. Introduction -- Chapter 13. The Concept of True Sentence in Everyday or Colloquial Language -- Chapter 14. Formalized Languages, especially the Language of the Calculus of Classes -- Chapter 15. The Concept of True Sentence in the Language of the Calculus of Classes -- Chapter 16. The Concept of True Sentence in Languages of Finite Order -- Chapter 17. The Concept of True Sentence in Languages of Infinite Order -- Chapter 18. Summary -- Chapter 19. Postscript -- Conclusion.
520 $a This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that the notion in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work.
650 0 $a Epistemology. $3 671538
650 0 $a Philosophy. $3 559771
650 0 $a Logic. $3 558909
650 2 4 $a History of Philosophy. $3 671574
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319326146
776 0 8 $i Printed edition: $z 9783319326153
776 0 8 $i Printed edition: $z 9783319813295
830 0 $a Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $v 37 $3 1258799
856 4 0 $u https://doi.org/10.1007/978-3-319-32616-0
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)