display all the ideas for this combination of philosophers
83 ideas
16330 | Truth-value 'gluts' allow two truth values together; 'gaps' give a partial conception of truth [Halbach] |
Full Idea: Truth-value 'gluts' correspond to a so-called dialethic conception of truth; excluding gluts and admitting only 'gaps' leads to a conception of what is usually called 'partial' truth. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 15.2) | |
A reaction: Talk of 'gaps' and 'gluts' seem to be the neatest way of categorising views of truth. I want a theory with no gaps or gluts. |
16339 | Truth axioms prove objects exist, so truth doesn't seem to be a logical notion [Halbach] |
Full Idea: Two typed disquotation sentences, truth axioms of TB, suffice for proving that there at least two objects. Hence truth is not a logical notion if one expects logical notions to be ontologically neutral. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 21.2) |
16295 | Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach] |
Full Idea: Tarski's Theorem states that under fairly generally applicable conditions, the assumption that there is a definition of truth within a given theory for the language of that same theory leads to a contradiction. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1 | |
A reaction: That might leave room for a definition outside the given theory. I take the main motivation for the axiomatic approach to be a desire to get a theory of truth within the given theory, where Tarski's Theorem says traditional approaches are just wrong. |
15342 | Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten] |
Full Idea: Tarski's Theorem on the undefinability of truth says in a language sufficiently rich to talk about itself (which Gödel proved possible, via coding) the liar paradox can be carried out. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 02.2 | |
A reaction: The point is that truth is formally indefinable if it leads inescapably to contradiction, which the liar paradox does. This theorem is the motivation for all modern attempts to give a rigorous account of truth. |
19069 | 'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski] |
Full Idea: The possibility of a consistent use of 'true sentence' which is in harmony with the laws of logic and the spirit of everyday language seems to be very questionable, so the same doubt attaches to the possibility of constructing a correct definition. | |
From: Alfred Tarski (The Concept of Truth for Formalized Languages [1933], §1) | |
A reaction: This is often cited as Tarski having conclusively proved that 'true' cannot be defined from within a language, but his language here is much more circumspect. Modern critics say the claim depends entirely on classical logic. |
10153 | In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski] |
Full Idea: In everyday language it seems impossible to define the notion of truth or even to use this notion in a consistent manner and in agreement with the laws of logic. | |
From: Alfred Tarski (works [1936]), quoted by Feferman / Feferman - Alfred Tarski: life and logic Int III | |
A reaction: [1935] See Logic|Theory of Logic|Semantics of Logic for Tarski's approach to truth. |
19178 | Definitions of truth should not introduce a new version of the concept, but capture the old one [Tarski] |
Full Idea: The desired definition of truth does not aim to specify the meaning of a familiar word used to denote a novel notion; on the contrary, it aims to catch hold of the actual meaning of an old notion. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 01) | |
A reaction: Tarski refers back to Aristotle for an account of the 'old notion'. To many the definition of Tarski looks very weird, so it is important to see that he is trying to capture the original concept. |
19177 | A definition of truth should be materially adequate and formally correct [Tarski] |
Full Idea: The main problem of the notion of truth is to give a satisfactory definition which is materially adequate and formally correct. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 01) | |
A reaction: That is, I take it, that it covers all cases of being true and failing to be true, and it fits in with the logic. The logic is explicitly classical logic, and he is not aiming to give the 'nature' or natural language understanding of the concept. |
19186 | A rigorous definition of truth is only possible in an exactly specified language [Tarski] |
Full Idea: The problem of the definition of truth obtains a precise meaning and can be solved in a rigorous way only for those languages whose structure has been exactly specified. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 06) | |
A reaction: Taski has just stated how to exactly specify the structure of a language. He says definition can only be vague and approximate for natural languages. (The usual criticism of the correspondence theory is its vagueness). |
19194 | We may eventually need to split the word 'true' into several less ambiguous terms [Tarski] |
Full Idea: A time may come when we find ourselves confronted with several incompatible, but equally clear and precise, conceptions of truth. It will then become necessary to abandon the ambiguous usage of the word 'true', and introduce several terms instead. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 14) | |
A reaction: There may be a whiff of the pragmatic attitude to truth here, though that view is not necessarily pluralist. Analytic philosophy needs much more splitting of difficult terms into several more focused terms. |
16324 | Any definition of truth requires a metalanguage [Halbach] |
Full Idea: It is plain that the distinction between object and metalanguage is required for the definability of truth. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 11) | |
A reaction: Halbach's axiomatic approach has given up on definability, and therefore it can seek to abandon the metalanguage and examine 'type-free' theories. |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language. |
16293 | Traditional definitions of truth often make it more obscure, rather than less [Halbach] |
Full Idea: A common complaint against traditional definitional theories of truth is that it is far from clear that the definiens is not more in need of clarification than the definiendum (that is, the notion of truth). | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 1) | |
A reaction: He refers to concepts like 'correspondence', 'facts', 'coherence' or 'utility', which are said to be trickier to understand than 'true'. I suspect that philosophers like Halbach confuse 'clear' with 'precise'. Coherence is quite clear, but imprecise. |
16301 | If people have big doubts about truth, a definition might give it more credibility [Halbach] |
Full Idea: If one were wondering whether truth should be considered a legitimate notion at all, a definition might be useful in dispersing doubts about its legitimacy. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 3) | |
A reaction: Halbach is proposing to skip definitions, and try to give rules for using 'true' instead, but he doesn't rule out definitions. A definition of 'knowledge' or 'virtue' or 'democracy' might equally give those credibility. |
16296 | Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach] |
Full Idea: Tarski's Theorem applies to any sufficient precise version of the correspondence theory of truth, and all the other traditional theories of truth. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1 | |
A reaction: This is the key reason why modern thinkers have largely dropped talk of the correspondence theory. See Idea 16295. |
10672 | Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack] |
Full Idea: Tarskian semantics says that a sentence is true iff it is satisfied by every sequence, where a sequence is a set-theoretic individual, a set of ordered pairs each with a natural number as its first element and an object from the domain for its second. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Keith Hossack - Plurals and Complexes 3 |
13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
Full Idea: Statements of the form '"it is snowing" is true if and only if it is snowing' and '"the world war will begin in 1963" is true if and only if the world war will being in 1963' can be regarded as partial definitions of the concept of truth. | |
From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.404) | |
A reaction: The key word here is 'partial'. Truth is defined, presumably, when every such translation from the object language has been articulated, which is presumably impossible, given the infinity of concatenated phrases possible in a sentence. |
19135 | Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski] |
Full Idea: Tarski does not tell us how to apply his concept of truth to a new case, whether the new case is a new language or a word newly added to a language. This is because enumerating cases gives no clue for the next or general case. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
A reaction: His account has been compared to a telephone directory. We aim to understand the essence of anything, so that we can fully know it, and explain and predict how it will behave. Either truth is primitive, or I demand to know its essence. |
19138 | Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski] |
Full Idea: Tarski defined the class of true sentences by giving the extension of the truth predicate, but he did not give the meaning. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
A reaction: This is analogous to giving an account of the predicate 'red' as the set of red objects. Since I regard that as a hopeless definition of 'red', I am inclined to think the same of Tarski's account of truth. It works in the logic, but so what? |
4699 | Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady] |
Full Idea: Tarski's account doesn't hold for natural languages. The general notion of truth is replaced by "true-in-L", where L is a formal language. Hence truth is relativized to each artificial language. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Paul O'Grady - Relativism Ch.2 | |
A reaction: This is a pretty good indication that Tarski's theory is NOT a correspondence theory, even if its structure may sometimes give that impression. |
19324 | Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski] |
Full Idea: Tarski has to define truths so as not to make explicit the relation between a true sentence and an obtaining state of affairs. ...He has to list each sentence separately, and simply assign it a state of affairs. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.8 | |
A reaction: He has to avoid semantic concepts like 'reference', because he wants a physicalist theory, according to Kirkham. Thus the hot interest in theories of reference in the 1970s/80s. And also attempts to give a physicalist account of meaning. |
19180 | It is convenient to attach 'true' to sentences, and hence the language must be specified [Tarski] |
Full Idea: For several reasons it appears most convenient to apply the term 'true' to sentences, and we shall follow this course. Consequently, we must always relate the notion of truth, like that of a sentence, to a specific language. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 02) | |
A reaction: Personally I take truth to attach to propositions, since sentences are ambiguous. In Idea 17308 the one sentence expresses three different truths (in my opinion), even though a single sentence (given in the object language) specifies it. |
19181 | In the classical concept of truth, 'snow is white' is true if snow is white [Tarski] |
Full Idea: If we base ourselves on the classical conception of truth, we shall say that the sentence 'snow is white' is true if snow is white, and it is false if snow is not white. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 04) | |
A reaction: I had not realised, prior to his, how closely Tarski is sticking to Aristotle's famous formulation of truth. The point is that you can only specify 'what is' using a language. Putting 'true' in the metalanguage gives specific content to Aristotle. |
19196 | Scheme (T) is not a definition of truth [Tarski] |
Full Idea: It is a mistake to regard scheme (T) as a definition of truth. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 15) | |
A reaction: The point is, I take it, that the definition is the multitude of sentences which are generated by the schema, not the schema itself. |
19183 | Each interpreted T-sentence is a partial definition of truth; the whole definition is their conjunction [Tarski] |
Full Idea: In 'X is true iff p' if we replace X by the name of a sentence and p by a particular sentence this can be considered a partial definition of truth. The whole definition has to be ...a logical conjunction of all these partial definitions. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 04) | |
A reaction: This seems an unprecedented and odd way to define something. Define 'red' by '"This tomato is red" iff this tomato is red', etc? Define 'stone' by collecting together all the stones? The complex T-sentences are infinite in number. |
19182 | Use 'true' so that all T-sentences can be asserted, and the definition will then be 'adequate' [Tarski] |
Full Idea: We wish to use the term 'true' in such a way that all the equivalences of the form (T) [i.e. X is true iff p] can be asserted, and we shall call a definition of truth 'adequate' if all these equivalences follow from it. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 04) | |
A reaction: The interpretation of Tarski's theory is difficult. From this I'm thinking that 'true' is simply being defined as 'assertible'. This is the status of each line in a logical proof, if there is a semantic dimension to the proof (and not mere syntax). |
19198 | We don't give conditions for asserting 'snow is white'; just that assertion implies 'snow is white' is true [Tarski] |
Full Idea: Semantic truth implies nothing regarding the conditions under which 'snow is white' can be asserted. It implies only that, whenever we assert or reject this sentence, we must be ready to assert or reject the correlated sentence '"snow is white" is true'. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 18) | |
A reaction: This appears to identify truth with assertibility, which is pretty much what modern pragmatists say. How do you distinguish 'genuine' assertion from rhetorical, teasing or lying assertions? Genuine assertion implies truth? Hm. |
15339 | Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten] |
Full Idea: Tarski emancipated truth theory from traditional philosophy, by no longer posing Pilate's question (what is truth? or what is the essence of truth?) but instead 'how is truth used?', 'how does truth function?' and 'how can its functioning be described?'. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 02.2 | |
A reaction: Horsten, later in the book, does not give up on the essence of truth, and modern theorists are trying to get back to that question by following Tarski's formal route. Modern analytic philosophy at its best, it seems to me. |
16302 | Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach] |
Full Idea: Tarski did not settle for a definition of truth, taking its adequacy for granted. Rather he proposed an adequacy criterion for evaluating the adequacy of definitions of truth. The criterion is his famous Convention T. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 | |
A reaction: Convention T famously says the sentence is true if and only if a description of the sentence is equivalent to affirming the sentence. 'Snow is white' iff snow is white. |
15410 | Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski] |
Full Idea: In Tarski's theory of truth, although the notion of truth is applicable only to closed formulas, to define it we must define a more general notion of satisfaction applicable to open formulas. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by John P. Burgess - Philosophical Logic 1.8 | |
A reaction: This is a helpful pointer to what is going on in the Tarski definition. It culminates in the 'satisfaction of all sequences', which presumable delivers the required closed formula. |
18811 | Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt] |
Full Idea: Tarski invoked the notion of a sentential function, where components are replaced by appropriate variables. A function is then satisfied by assigning objects to variables. An assignment satisfies if the function is true of the things assigned. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
A reaction: [very compressed] This use of sentential functions, rather than sentences, looks like the key to Tarski's definition of truth. |
15365 | We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten] |
Full Idea: The truth predicate, says Tarski, should be defined in terms of the more primitive satisfaction relation: the relation of being 'true of'. The fundamental notion is a formula (containing the free variables) being true of a sequence of objects as values. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 06.3 |
19314 | For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham] |
Full Idea: Tarski, a physicalist, reduced semantics to physical and/or logicomathematical concepts. He defined all semantic concepts, save satisfaction, in terms of truth. Then truth is defined in terms of satisfaction, and satisfaction is given non-semantically. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.1 | |
A reaction: The term 'logicomathematical' is intended to cover set theory. Kirkham says you can remove these restrictions from Tarski's theory, and the result is a version of the correspondence theory. |
19316 | Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham] |
Full Idea: Tarski's great insight is find another property, since open sentences are not truth. It must be had by open and genuine sentences. Clauses having it must generate it for the whole sentence. Truth can be defined for sentences by using it. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.4 | |
A reaction: The proposed property is 'satisfaction', which can (unlike truth) be a feature open sentences (such as 'x is green', which is satisfied by x='grass'), |
19175 | Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson] |
Full Idea: Tarski turned his axiomatic characterisation of satisfaction into an explicit definition of the satisfaction-predicate using some fancy set theoretical apparatus, and this in turn leads to the explicit definition of the truth predicate. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 7 |
19184 | The best truth definition involves other semantic notions, like satisfaction (relating terms and objects) [Tarski] |
Full Idea: It turns out that the simplest and most natural way of obtaining an exact definition of truth is one which involves the use of other semantic notions, e.g. the notion of satisfaction (...which expresses relations between expressions and objects). | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 05) | |
A reaction: While the T-sentences appear to be 'minimal' and 'deflationary', it seems important to remember that 'satisfaction', which is basic to his theory, is a very robust notion. He actually mentions 'objects'. But see Idea 19185. |
19191 | Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski] |
Full Idea: To define satisfaction we indicate which objects satisfy the simplest sentential functions, then state the conditions for compound functions. This applies automatically to sentences (with no free variables) so a true sentence is satisfied by all objects. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 11) | |
A reaction: I presume nothing in the domain of objects can conflict with a sentence that has been satisfied by some of them, so 'all' the objects satisfy the sentence. Tarski doesn't use the word 'domain'. Basic satisfaction seems to be stipulated. |
19188 | We can't use a semantically closed language, or ditch our logic, so a meta-language is needed [Tarski] |
Full Idea: In a 'semantically closed' language all sentences which determine the adequate usage of 'true' can be asserted in the language. ...We can't change our logic, so we reject such languages. ...So must use two different languages to discuss truth. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 08-09) | |
A reaction: This section explains why a meta-language is required. It rests entirely on the existence of the Liar paradox is a semantically closed language. |
19189 | The metalanguage must contain the object language, logic, and defined semantics [Tarski] |
Full Idea: Every sentence which occurs in the object language must also occur in the metalanguage, or can be translated into the metalanguage. There must also be logical terms, ...and semantic terms can only be introduced in the metalanguage by definition. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 09) | |
A reaction: He suggest that if the languages are 'typed', the meta-languag, to be 'richer', must contain variables of a higher logica type. Does this mean second-order logic? |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources. |
16297 | Semantic theories avoid Tarski's Theorem by sticking to a sublanguage [Halbach] |
Full Idea: In semantic theories (e.g.Tarski's or Kripke's), a definition evades Tarski's Theorem by restricting the possible instances in the schema T[φ]↔φ to sentences of a proper sublanguage of the language formulating the equivalences. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 1) | |
A reaction: The schema says if it's true it's affirmable, and if it's affirmable it's true. The Liar Paradox is a key reason for imposing this restriction. |
19134 | Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski] |
Full Idea: Tarski defined various predicates of the form 's is true in L', each applicable to a single language, but he failed to define a predicate of the form 's is true in L' for variable 'L'. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 1 | |
A reaction: You might say that no one defines 'tree' to be just 'in English', but we might define 'multiplies' to be in Peano Arithmetic. This indicates the limited and formal nature of what Tarski was trying to achieve. |
16304 | Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski] |
Full Idea: Every really adequate theory of truth should also prove the law of non-contradiction. Therefore Tarski's notion of adequacy in Convention T fails to capture the intuitive notion of adequacy he is after. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 | |
A reaction: Tarski points out this weakness, in a passage quoted by Halbach. This obviously raises the question of what truth theories should prove, and this is explored by Halbach. If they start to prove arithmetic, we get nervous. Non-contradiction and x-middle? |
2571 | Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack] |
Full Idea: Tarski says "we may remain naïve realists or idealists, empiricists or metaphysicians… The semantic conception is completely neutral toward all these issues." | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Susan Haack - Philosophy of Logics 7.5 |
10821 | Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H] |
Full Idea: Tarski work was to persuade physicalist that eliminating semantics was on the wrong track, and that we should explicate notions in the theory of reference nonsemantically rather than simply get rid of them. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Hartry Field - Tarski's Theory of Truth §3 |
10822 | A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski] |
Full Idea: We need to add theories of primitive reference to Tarski's account if we are to establish the notion of truth as a physicalistically acceptable notion. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Hartry Field - Tarski's Theory of Truth §4 | |
A reaction: This is the main point of Field's paper, and sounds very plausible to me. There is something major missing from Tarski, and at some point there needs to be a 'primitive' notion of thought and language making contact with the world, as it can't be proved. |
10824 | If listing equivalences is a reduction of truth, witchcraft is just a list of witch-victim pairs [Field,H on Tarski] |
Full Idea: By similar standards of reduction to Tarski's, one might prove witchcraft compatible with physicalism, as long as witches cast only a finite number of spells. We merely list witch-and-victim pairs, with no mention of the terms of witchcraft theory. | |
From: comment on Alfred Tarski (The Semantic Conception of Truth [1944], 04) by Hartry Field - Tarski's Theory of Truth §4 |
16303 | Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach] |
Full Idea: Tarski's proof of the definability of truth allowed him to establish truth as a respectable notion by his standards. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 |
10969 | Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read] |
Full Idea: Besides a theory of truth of his own, Tarski developed a theory of theories of truth. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Stephen Read - Thinking About Logic Ch.1 | |
A reaction: The famous snow biconditional is the latter, and the recursive account based on satisfaction is the former. |
17746 | Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki] |
Full Idea: Tarski's analysis of the concept of 'truth' ...is given a precise treatment as a particular relation between syntax (language) and semantics (the world). | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Michal Walicki - Introduction to Mathematical Logic History E.1 | |
A reaction: My problem is that the concept of truth seems to apply to animal minds, which are capable of making right or wrong judgements, and of realising their errors. Tarski didn't make universal claims for his account. |
10904 | Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski] |
Full Idea: The Tarskian account of truth neglects the atomic sentences. | |
From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Mulligan/Simons/Smith - Truth-makers §1 | |
A reaction: Yes! The whole Tarskian edifice is built on a foundation which it is taboo even to mention. If truth is just the assignment of 'T' and 'F', that isn't even the beginnings of a theory of 'truth'. |
16337 | Disquotational truth theories are short of deductive power [Halbach] |
Full Idea: The problem of restricted deductive power has haunted disquotational theories of truth (…because they can't prove generalisations). | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 19.5) |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) |
15322 | Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten] |
Full Idea: Tarski's work is the earliest axiomatic theory of truth that meets minimal adequacy conditions. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Leon Horsten - The Tarskian Turn 01.1 | |
A reaction: This shows a way in which Tarski gave a new direction to the study of truth. Subsequent theories have been 'stronger'. |
16306 | Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach] |
Full Idea: Tarski preferred a definition of truth, but from that an axiomatisation can be extracted. His induction clauses can be turned into axioms. Hence he opened the way to axiomatic theories of truth. | |
From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3 |
19141 | Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson] |
Full Idea: Tarski preferred an explicit definition of truth to axioms. He says axioms have a rather accidental character, only a definition can guarantee the continued consistency of the system, and it keeps truth in harmony with physical science and physicalism. | |
From: report of Alfred Tarski (works [1936]) by Donald Davidson - Truth and Predication 2 n2 | |
A reaction: Davidson's summary, gleaned from various sources in Tarski. A big challenge for modern axiom systems is to avoid inconsistency, which is extremely hard to do (given that set theory is not sure of having achieved it). |
19190 | We need an undefined term 'true' in the meta-language, specified by axioms [Tarski] |
Full Idea: We have to include the term 'true', or some other semantic term, in the list of undefined terms of the meta-language, and to express fundamental properties of the notion of truth in a series of axioms. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 10) | |
A reaction: It sounds as if Tarski semantic theory gives truth for the object language, but then an axiomatic theory of truth is also needed for the metalanguage. Halbch and Horsten seem to want an axiomatic theory in the object language. |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
A reaction: [compressed] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
A reaction: Idea 15647 explains why Halbach thinks the definition route is no good. |
16322 | CT proves PA consistent, which PA can't do on its own, so CT is not conservative over PA [Halbach] |
Full Idea: Compositional Truth CT proves the consistency of Peano arithmetic, which is not provable in Peano arithmetic by Gödel's second incompleteness theorem. Hence the theory CT is not conservative over Peano arithmetic. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 8.6) |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another. |
16294 | Axiomatic truth doesn't presuppose a truth-definition, though it could admit it at a later stage [Halbach] |
Full Idea: Choosing an axiomatic approach to truth might well be compatible with the view that truth is definable; the definability of truth is just not presupposed at the outset. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 1) | |
A reaction: Is it possible that a successful axiomatisation is a successful definition? |
16326 | The main semantic theories of truth are Kripke's theory, and revisions semantics [Halbach] |
Full Idea: Revision semantics is arguably the main competitor of Kripke's theory of truth among semantic truth theories. …In the former one may hope through revision to arrive at better and better models, ..sorting out unsuitable extensions of the truth predicate. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 14) | |
A reaction: Halbach notes later that Kripke's theory (believe it or not) is considerably simpler than revision semantics. |
16311 | To axiomatise Tarski's truth definition, we need a binary predicate for his 'satisfaction' [Halbach] |
Full Idea: If the clauses of Tarski's definition of truth are turned into axioms (as Davidson proposed) then a primitive binary predicate symbol for satisfaction is needed, as Tarski defined truth in terms of satisfaction. Standard language has a unary predicate. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 5.2) |
16318 | Compositional Truth CT has the truth of a sentence depending of the semantic values of its constituents [Halbach] |
Full Idea: In the typed Compositional Truth theory CT, it is compositional because the truth of a sentence depends on the semantic values of the constituents of that sentence. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 8) | |
A reaction: [axioms on p. 65 of Halbach] |
16299 | Gödel numbering means a theory of truth can use Peano Arithmetic as its base theory [Halbach] |
Full Idea: Often syntactic objects are identified with their numerical codes. …Expressions of a countable formal language can be coded in the natural numbers. This allows a theory of truth to use Peano Arithmetic (with its results) as a base theory. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 2) | |
A reaction: The numbering system is the famous device invented by Gödel for his great proof of incompleteness. This idea is a key to understanding modern analytic philosophy. It is the bridge which means philosophical theories can be treated mathematically. |
16340 | Truth axioms need a base theory, because that is where truth issues arise [Halbach] |
Full Idea: Considering the truth axioms in the absence of a base theory is not very sensible because characteristically truth theoretic reasoning arises from the interplay of the truth axioms with the base theory. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 21.2) | |
A reaction: The base theory usually seems to be either Peano arithmetic or set theory. We might say that introverted thought (e.g. in infants) has little use for truth; it is when you think about the world that truth becomes a worry. |
16305 | We know a complete axiomatisation of truth is not feasible [Halbach] |
Full Idea: In the light of incompleteness phenomena, one should not expect a categorical axiomatisation of truth to be feasible, but this should not keep one from studying axiomatic theories of truth (or of arithmetic). | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 3) | |
A reaction: This, of course, is because of Gödel's famous results. It is important to be aware in this field that there cannot be a dream of a final theory, so we are just seeing what can be learned about truth. |
16313 | A theory is 'conservative' if it adds no new theorems to its base theory [Halbach, by PG] |
Full Idea: A truth theory is 'conservative' if the addition of the truth predicate does not add any new theorems to the base theory. | |
From: report of Volker Halbach (Axiomatic Theories of Truth [2011], 6 Df 6.6) by PG - Db (ideas) | |
A reaction: Halbach presents the definition more formally, and this is my attempt at getting it into plain English. Halbach uses Peano Arithmetic as his base theory, but set theory is also sometimes used. |
16315 | The Tarski Biconditional theory TB is Peano Arithmetic, plus truth, plus all Tarski bi-conditionals [Halbach] |
Full Idea: The truth theory TB (Tarski Biconditional) is all the axioms of Peano Arithmetic, including all instances of the induction schema with the truth predicate, plus all the sentences of the form T[φ] ↔ φ. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 7) | |
A reaction: The biconditional formula is the famous 'snow is white' iff snow is white. The truth of the named sentence is equivalent to asserting the sentence. This is a typed theory of truth, and it is conservative over PA. |
16314 | Theories of truth are 'typed' (truth can't apply to sentences containing 'true'), or 'type-free' [Halbach] |
Full Idea: I sort theories of truth into the large families of 'typed' and 'type-free'. Roughly, typed theories prohibit a truth predicate's application to sentences with occurrences of that predicate, and one cannot prove the truth of sentences containing 'true'. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], II Intro) | |
A reaction: The problem sentence the typed theories are terrified of is the Liar Sentence. Typing produces a hierarchy of languages, referring down to the languages below them. |
16327 | Friedman-Sheard is type-free Compositional Truth, with two inference rules for truth [Halbach] |
Full Idea: The Friedman-Sheard truth system FS is based on compositional theory CT. The axioms of FS are obtained by relaxing the type restriction on the CT-axioms, and adding rules inferring sentences from their truth, and vice versa. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 15) | |
A reaction: The rules are called NEC and CONEC by Halbach. The system FSN is FS without the two rules. |
16329 | Kripke-Feferman theory KF axiomatises Kripke fixed-points, with Strong Kleene logic with gluts [Halbach] |
Full Idea: The Kripke-Feferman theory KF is an axiomatisation of the fixed points of an operator, that is, of a Kripkean fixed-point semantics with the Strong Kleene evaluation schema with truth-value gluts. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 15.1) |
16332 | The KF theory is useful, but it is not a theory containing its own truth predicate [Halbach] |
Full Idea: KF is useful for explicating Peano arithmetic, but it certainly does not come to close to being a theory that contains its own truth predicate. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 16) | |
A reaction: Since it is a type-free theory, its main philosophical aspiration was to contain its own truth predicate, so that is bad news (for philosophers). |
16331 | The KF is much stronger deductively than FS, which relies on classical truth [Halbach] |
Full Idea: The Kripke-Feferman theory is relatively deductively very strong. In particular, it is much stronger than its competitor FS, which is based on a completely classical notion of truth. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 15.3) |
19197 | Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski] |
Full Idea: Truth can't be eliminated from universal statements saying all sentences of a certain type are true, or from the proof that 'all consequences of true sentences are true'. It is also needed if we can't name the sentence ('Plato's first sentence is true'). | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 16) | |
A reaction: This points to the deflationary view of truth, if its only role is in talking about other sentences in this way. Tarski gives the standard reason for rejecting the Redundancy view. |
19185 | Semantics is a very modest discipline which solves no real problems [Tarski] |
Full Idea: Semantics as it is conceived in this paper is a sober and modest discipline which has no pretensions to being a universal patent-medicine for all the ills and diseases of mankind, whether imaginary or real. | |
From: Alfred Tarski (The Semantic Conception of Truth [1944], 05) | |
A reaction: Written in 1944. This remark encourages the minimal or deflationary interpretation of his theory of truth, but see the robust use of 'satisfaction' in Idea 19184. |
16320 | Some say deflationism is axioms which are conservative over the base theory [Halbach] |
Full Idea: Some authors have tried to understand the deflationist claim that truth is not a substantial notion as the claim that a satisfactory axiomatisation of truth should be conservative over the base theory. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 8) |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'. |
16338 | Deflationism says truth is a disquotation device to express generalisations, adding no new knowledge [Halbach] |
Full Idea: There are two doctrines at the core of deflationism. The first says truth is a device of disquotation used to express generalisations, and the second says truth is a thin notion that contributes nothing to our knowledge of the world | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 21) |
16317 | The main problem for deflationists is they can express generalisations, but not prove them [Halbach] |
Full Idea: The main criticism that deflationist theories based on the disquotation sentences or similar axioms have to meet was raised by Tarski: the disquotation sentences do not allow one to prove generalisations. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 7) |
16316 | Deflationists say truth is just for expressing infinite conjunctions or generalisations [Halbach] |
Full Idea: Deflationists do not hold that truth is completely dispensable. They claim that truth serves the purpose of expressing infinite conjunctions or generalisations. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 7) | |
A reaction: It is also of obvious value as a shorthand in ordinary conversation, but rigorous accounts can paraphrase that out. 'What he said is true'. 'Pick out the true sentences from p,q,r and s' seems to mean 'affirm some of them'. What does 'affirm' mean? |
16319 | Compositional Truth CT proves generalisations, so is preferred in discussions of deflationism [Halbach] |
Full Idea: Compositional Truth CT and its variants has desirable generalisations among its logical consequences, so they seem to have ousted purely disquotational theories such as TB in the discussion on deflationism. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 8) |