15 ideas
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. |
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). |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
10048 | There is no clear boundary between the logical and the non-logical [Tarski] |
Full Idea: No objective grounds are known to me which permit us to draw a sharp boundary between the two groups of terms, the logical and the non-logical. | |
From: Alfred Tarski (works [1936]), quoted by Alan Musgrave - Logicism Revisited §3 | |
A reaction: Musgrave is pointing out that this is bad news if you want to 'reduce' something like arithmetic to logic. 'Logic' is a vague object. |
10694 | Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall] |
Full Idea: Tarski's 1936 definition of logical consequence is that in any model in which the premises are true, the conclusion is true too (so that no model can make the conclusion false). | |
From: report of Alfred Tarski (works [1936]) by JC Beall / G Restall - Logical Consequence 3 | |
A reaction: So the general idea is that a logical consequence is distinguished by being unstoppable. Sounds good. But then we have monotonic and non-monotonic logics, which (I'm guessing) embody different notions of consequence. |
10479 | Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W] |
Full Idea: Tarski's definition of logical consequence (1936) is that in a fully interpreted formal language an argument is valid iff under any allowed interpretation of its nonlogical symbols, if the premises are true then so is the conclusion. | |
From: report of Alfred Tarski (works [1936]) by Wilfrid Hodges - Model Theory 3 | |
A reaction: The idea that you can only make these claims 'under an interpretation' seems to have had a huge influence on later philosophical thinking. |
7332 | There is a huge range of sentences of which we do not know the logical form [Davidson] |
Full Idea: We do not know the logical form of sentences about counterfactuals, probabilities, causal relations, belief, perception, intention, purposeful action, imperatives, optatives, or interrogatives, or the role of adverbs, adjectives or mass terms. | |
From: Donald Davidson (Truth and Meaning [1967], p.35) | |
A reaction: [compressed] This is the famous 'Davidson programme', where teams of philosophers work out the logical forms for this lot, thus unravelling the logic of the world. If they are beavering away, some sort of overview should have emerged by now... |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
From: Ian Rumfitt ("Yes" and "No" [2000]) | |
A reaction: This is the standard view which Rumfitt sets out to challenge. |
10157 | Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman] |
Full Idea: Tarski found an elegant new axiom system for Euclidean geometry that improved Hilbert's earlier version - and he formulated it without the use of set-theoretical notions. | |
From: report of Alfred Tarski (works [1936]) by Feferman / Feferman - Alfred Tarski: life and logic Ch.9 |
7772 | Compositionality explains how long sentences work, and truth conditions are the main compositional feature [Davidson, by Lycan] |
Full Idea: Davidson's main argument in favour of his truth conditions theory of meaning is that compositionality is needed to account for our understanding of long, novel sentences, and a sentence's truth condition is its most obviously compositional feature. | |
From: report of Donald Davidson (Truth and Meaning [1967]) by William Lycan - Philosophy of Language Ch.9 | |
A reaction: This seems to me exactly right. As we hear a new long sentence unfold, we piece together the meaning. At the end we may spot that the meaning is silly, or an unverifiable speculation, or not what the speaker intended - but it is too late! It means. |
7327 | Davidson thinks Frege lacks an account of how words create sentence-meaning [Davidson, by Miller,A] |
Full Idea: Davidson thinks that Frege's model for a theory of semantic value (and thereby for a systematic theory of sense) is unsatisfactory, because it provides no useful or explanatory account of how sentence-meaning can be a function of word-meaning. | |
From: report of Donald Davidson (Truth and Meaning [1967]) by Alexander Miller - Philosophy of Language 8.1 | |
A reaction: Put like that, it is not clear to me how you could even start to explain how word-meaning contributes to sentence meaning. Try speaking any sentence slowly, and observe how the sentence meaning builds up. Truth is, of course, relevant. |
7769 | You can state truth-conditions for "I am sick now" by relativising it to a speaker at a time [Davidson, by Lycan] |
Full Idea: Davidson's response to the problem of how you would state truth conditions for "I am sick now" ...is to relativize its truth to a particular speaker and a time. | |
From: report of Donald Davidson (Truth and Meaning [1967]) by William Lycan - Philosophy of Language Ch.9 | |
A reaction: Lycan is not happy with this, but it seems a reasonable way to treat the truth of any statement containing indexicals. Never mind the 'truth conditions theory of meaning' - just ask whether "I am sick now" is true. |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |
6179 | Should we assume translation to define truth, or the other way around? [Blackburn on Davidson] |
Full Idea: The concern of some philosophers has been expressed by saying that whereas Tarski took translation for granted, and sought to understand truth, Davidson takes truth for granted, and seeks to understand translation. | |
From: comment on Donald Davidson (Truth and Meaning [1967]) by Simon Blackburn - Oxford Dictionary of Philosophy p.82 | |
A reaction: We can just say that the two concepts are interdependent, but my personal intuitions side with Davidson. If you are going to take something as fundamental and axiomatic, truth looks a better bet than translation. |