Truth as translation. Part A (Q5947377): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tarski on ``essentially richer'' metalanguages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4001483 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845457 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to 'Translation and meaning', Chapter Two of 'Word and Object' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean Algebras with Operators. Part I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Outline of a Theory of Truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4000317 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5839923 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 20:58, 3 June 2024
scientific article; zbMATH DE number 1661013
Language | Label | Description | Also known as |
---|---|---|---|
English | Truth as translation. Part A |
scientific article; zbMATH DE number 1661013 |
Statements
Truth as translation. Part A (English)
0 references
17 April 2002
0 references
Leitgeb studies propositional languages with algebraic semantics and translations of these languages into each another. The sentences of the language receive elements of a Boolean algebra as values and the connectives correspond in the usual way to the operations on the elements of the Boolean algebra, that is, implication corresponds to the partial oder of the Boolean algebra, negation to complement, conjunction to infimum etc. Translations are mappings between languages corresponding to Boolean homomorphisms (plus some additional condition) on the semantical side. In a second step, the notion of translation itself is then represented in the language itself. A truth predicate Tr is adjoined to the algebraically interpreted language \(L_2\) and the author asks whether for a suitable translation function and for any sentence \(\varphi\) of \(L_1\), \(\text{Tr}(t)\) is equivalent to the translation of \(\varphi\), where \(t\) designates \(\varphi\). Leitgeb considers the special case where \(L_1=L_2\). \(L_{\text{True}}\) designates \(L_1\) expanded by the truth predicate. According to the main result of the paper, one can expand any given Boolean algebra interpreting \(L_1\) in such a way that there is a translation of \(L_{\text{True}}\) in \(L_{\text{True}}\) and the condition on the truth predicate is met. In the presence of a liar sentence, however, the translation cannot be homomorphic, i.e., the translation cannot map every sentence to itself. Leitgeb presents also an alternative approach: If the Boolean algebra is a set algebra, i.e., if the Boolean algebra has subsets of a given set \(W\) as elements, then the members of \(W\) can be viewed as possible worlds. The author defines the notion of translation etc.\ also in terms of his possible worlds approach. Leitgeb shows that the (translation) homomorphisms and the accessibility relation on the possible worlds approach correspond to each other. The second part [ibid. 30, No. 4, 309-328 (2001; Zbl 0983.03004)] is reviewed below.
0 references
truth
0 references
translation
0 references
Boolean-valued models
0 references
possible worlds semantics
0 references
indeterminacy of translation
0 references
semantically closed languages
0 references
liar paradox
0 references
propositional languages
0 references
algebraic semantics
0 references