Tarskiego pojęcie prawdy zrelatywizowane do języka
Filozofia Nauki 17 (1) (2009)
AbstractTarski believed that the notion of truth should be relativised not to the notion of meaning - as many philosophers would claim - but rather to the notion of language. In general terms, he would identify a language with a structure L = containing an alphabet, a class of sentences and an operation of consequence. As to the specific languages of deductive sciences Tarski maintained that they should be inseparably conjoined with theories, so that the notion of language should be supplemented with a set of axioms and a set of true sentences: L' = . First four elements of L' are quite conveniently expressable in syntactic terms. About the set of Ver, to the contrary, it can be said only that it is one of many complete and coherent sets of sentences containing Ax and closed for the operation Cn. For a very general characteristic it could perhaps be enough. For a more specific definition of Ver, however, Tarski needed some semantic tool. As is well known, he used the notion of satisfying, defined for every particular language L* . Thus, as it seems, according to Tarski, the general notion of truth relative to language is a primary notion of the theory of formalized languages. Were we after introducing it as a secondary notion, we would have to enrich the notion of language with some semantic (referential) aspects, what in turn would require some standarization of syntax and thus narrow the notion of formalized language
Added to PP
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
References found in this work
No references found.
Citations of this work
No citations found.
Similar books and articles
Circularity or Lacunae in Tarski’s Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
Tarski, Truth and Model Theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
Truth, Correspondence, Models, and Tarski.Panu Raatikainen - 2007 - In Approaching Truth: Essays in Honour of Ilkka Niiniluoto. London: College Press. pp. 99-112.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
Truth as Translation – Part A.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.
Dlaczego za nośniki prawdy uważa się obiekty fizyczne?Artur Rojszczak - 1998 - Filozofia Nauki 1.
Tarski's Definition and Truth-Makers.Ilkka Niiniluoto - 2004 - Annals of Pure and Applied Logic 126 (1-3):57-76.
An Open Problem in Tarski's Calculus of Deductive Systems.David Miller - 1991 - Bulletin of the Section of Logic 20 (2):36-43.
Can a Many-Valued Language Functionally Represent its Own Semantics?Jeffrey Ketland - 2003 - Analysis 63 (4):292–297.