Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff. Loeb, I. Synthese, 191(10):2281–2299, 2014. Paper doi abstract bibtex In his famous paper Der Wahrheitsbegriff in den formalisierten Sprachen (Polish edition: Nakładem/Prace Towarzystwa Naukowego Warszawskiego, wydzial, III, 1933), Alfred Tarski constructs a materially adequate and formally correct definition of the term “true sentence” for certain kinds of formalised languages. In the case of other formalised languages, he shows that such a construction is impossible but that the term “true sentence” can nevertheless be consistently postulated. In the Postscript that Tarski added to a later version of this paper (Studia Philosophica, 1, 1935), he does not explicitly include limits for the kinds of language for which such a construction is possible. This absence of such limits has been interpreted as an implied claim that such a definition of the term “true sentence” can be constructed for every language. This has far-reaching consequences, not least for the widely held belief that Tarski changed from an universalistic to an anti-universalistic standpoint. We will claim that the consequence of anti-universalism is unwarranted, given that it can be argued that the Postscript is not in conflict with the existence of limits outside of which a definition of “true sentence” cannot be constructed. Moreover, by a discussion of transfinite type theory, we will also be able to accommodate other of the changes made in Tarski’s Postscript within a type-theoretical framework. The awareness of transfinite type theory afforded by this discussion will lead, in turn, to an account of Tarski’s Postscript that shows a gradual change in his logical work, rather than any of the more radical transitions which the Postscript has been claimed to reflect.
@article{loeb_towards_2014,
title = {Towards transfinite type theory: rereading {Tarski}’s {Wahrheitsbegriff}},
volume = {191},
issn = {1573-0964},
url = {http://dx.doi.org/10.1007/s11229-014-0399-0},
doi = {10.1007/s11229-014-0399-0},
abstract = {In his famous paper Der Wahrheitsbegriff in den formalisierten Sprachen (Polish edition: Nakładem/Prace Towarzystwa Naukowego Warszawskiego, wydzial, III, 1933), Alfred Tarski constructs a materially adequate and formally correct definition of the term “true sentence” for certain kinds of formalised languages. In the case of other formalised languages, he shows that such a construction is impossible but that the term “true sentence” can nevertheless be consistently postulated. In the Postscript that Tarski added to a later version of this paper (Studia Philosophica, 1, 1935), he does not explicitly include limits for the kinds of language for which such a construction is possible. This absence of such limits has been interpreted as an implied claim that such a definition of the term “true sentence” can be constructed for every language. This has far-reaching consequences, not least for the widely held belief that Tarski changed from an universalistic to an anti-universalistic standpoint. We will claim that the consequence of anti-universalism is unwarranted, given that it can be argued that the Postscript is not in conflict with the existence of limits outside of which a definition of “true sentence” cannot be constructed. Moreover, by a discussion of transfinite type theory, we will also be able to accommodate other of the changes made in Tarski’s Postscript within a type-theoretical framework. The awareness of transfinite type theory afforded by this discussion will lead, in turn, to an account of Tarski’s Postscript that shows a gradual change in his logical work, rather than any of the more radical transitions which the Postscript has been claimed to reflect.},
number = {10},
journal = {Synthese},
author = {Loeb, Iris},
year = {2014},
pages = {2281--2299},
}
Downloads: 0
{"_id":"t4vsn3HZzrKM87CDp","bibbaseid":"loeb-towardstransfinitetypetheoryrereadingtarskiswahrheitsbegriff-2014","downloads":0,"creationDate":"2016-12-27T13:57:53.101Z","title":"Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff","author_short":["Loeb, I."],"year":2014,"bibtype":"article","biburl":"https://api.zotero.org/groups/902605/items?key=bi2Q7duoPuqjf6lgym4TgM83&format=bibtex&limit=100","bibdata":{"bibtype":"article","type":"article","title":"Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff","volume":"191","issn":"1573-0964","url":"http://dx.doi.org/10.1007/s11229-014-0399-0","doi":"10.1007/s11229-014-0399-0","abstract":"In his famous paper Der Wahrheitsbegriff in den formalisierten Sprachen (Polish edition: Nakładem/Prace Towarzystwa Naukowego Warszawskiego, wydzial, III, 1933), Alfred Tarski constructs a materially adequate and formally correct definition of the term “true sentence” for certain kinds of formalised languages. In the case of other formalised languages, he shows that such a construction is impossible but that the term “true sentence” can nevertheless be consistently postulated. In the Postscript that Tarski added to a later version of this paper (Studia Philosophica, 1, 1935), he does not explicitly include limits for the kinds of language for which such a construction is possible. This absence of such limits has been interpreted as an implied claim that such a definition of the term “true sentence” can be constructed for every language. This has far-reaching consequences, not least for the widely held belief that Tarski changed from an universalistic to an anti-universalistic standpoint. We will claim that the consequence of anti-universalism is unwarranted, given that it can be argued that the Postscript is not in conflict with the existence of limits outside of which a definition of “true sentence” cannot be constructed. Moreover, by a discussion of transfinite type theory, we will also be able to accommodate other of the changes made in Tarski’s Postscript within a type-theoretical framework. The awareness of transfinite type theory afforded by this discussion will lead, in turn, to an account of Tarski’s Postscript that shows a gradual change in his logical work, rather than any of the more radical transitions which the Postscript has been claimed to reflect.","number":"10","journal":"Synthese","author":[{"propositions":[],"lastnames":["Loeb"],"firstnames":["Iris"],"suffixes":[]}],"year":"2014","pages":"2281–2299","bibtex":"@article{loeb_towards_2014,\n\ttitle = {Towards transfinite type theory: rereading {Tarski}’s {Wahrheitsbegriff}},\n\tvolume = {191},\n\tissn = {1573-0964},\n\turl = {http://dx.doi.org/10.1007/s11229-014-0399-0},\n\tdoi = {10.1007/s11229-014-0399-0},\n\tabstract = {In his famous paper Der Wahrheitsbegriff in den formalisierten Sprachen (Polish edition: Nakładem/Prace Towarzystwa Naukowego Warszawskiego, wydzial, III, 1933), Alfred Tarski constructs a materially adequate and formally correct definition of the term “true sentence” for certain kinds of formalised languages. In the case of other formalised languages, he shows that such a construction is impossible but that the term “true sentence” can nevertheless be consistently postulated. In the Postscript that Tarski added to a later version of this paper (Studia Philosophica, 1, 1935), he does not explicitly include limits for the kinds of language for which such a construction is possible. This absence of such limits has been interpreted as an implied claim that such a definition of the term “true sentence” can be constructed for every language. This has far-reaching consequences, not least for the widely held belief that Tarski changed from an universalistic to an anti-universalistic standpoint. We will claim that the consequence of anti-universalism is unwarranted, given that it can be argued that the Postscript is not in conflict with the existence of limits outside of which a definition of “true sentence” cannot be constructed. Moreover, by a discussion of transfinite type theory, we will also be able to accommodate other of the changes made in Tarski’s Postscript within a type-theoretical framework. The awareness of transfinite type theory afforded by this discussion will lead, in turn, to an account of Tarski’s Postscript that shows a gradual change in his logical work, rather than any of the more radical transitions which the Postscript has been claimed to reflect.},\n\tnumber = {10},\n\tjournal = {Synthese},\n\tauthor = {Loeb, Iris},\n\tyear = {2014},\n\tpages = {2281--2299},\n}\n\n","author_short":["Loeb, I."],"key":"loeb_towards_2014","id":"loeb_towards_2014","bibbaseid":"loeb-towardstransfinitetypetheoryrereadingtarskiswahrheitsbegriff-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11229-014-0399-0"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["towards","transfinite","type","theory","rereading","tarski","wahrheitsbegriff","loeb"],"keywords":[],"authorIDs":[],"dataSources":["27JiNQ95ZMxDzJmEN","4PmE6MbjCdtgvt76r"]}