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. (shrink)

In his seminal work “The Concept of Truth in Formalized Languages”, 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. (shrink)

One of Frank Ramsey’s crucial contributions to philosophy is his theory of belief. Ramsey deals with the notion of full belief in “Facts and Propositions,” as well as that of degrees of belief in “Truth and Probability.” In his posthumously published manuscript OnTruth, Ramsey analyses beliefs and emphasizes the essential role of agent’s actions in his theory. In this paper, I follow Ramsey’s thoughts as they developed in consecutive essays all evolving around the concept of belief. I show how Ramsey (...) considers partial and full beliefs, distinguishing between full, certain, and true ones. His final project was to be titled Truth and Probability, which means Ramsey was considering these issues simultaneously. I examine the strong influence pragmatism has on Ramsey’s thoughts to finally show that even though Ramsey is working with both these doxastic states his rejection of true beliefs for his final theory of belief becomes clearer with every essay. I will argue that Ramsey’s final theory of belief is a theory of partial belief. Moreover, I will provide arguments supporting a normative reading of Ramsey’s theory. (shrink)

In spite of his tragically short life, Ramsey made extensive contributions in the fields of mathematics, logic, economics and philosophy. In this article we focus on Ramsey's investigations into the notions of belief and judgement, their truth conditions and probability theory. We show that the central role given by Ramsey to belief and action together with his pragmatism allows for a new interpretation of the theories of truth and probability, paving the way for a modern decision theory.