61 ideas
| 4697 | There has been a distinct 'Social Turn' in recent philosophy, like the earlier 'Linguistic Turn' [O'Grady] |
| Full Idea: The Social Turn is as defining a characteristic of contemporary philosophy as the Linguistic Turn has been of the earlier twentieth century period. | |
| From: Paul O'Grady (Relativism [2002], Ch.1) | |
| A reaction: A helpful observation. It ties in with externalism about concepts (Twin Earth), impossibility of Private Language, and externalism about knowledge. |
| 4731 | Good reasoning will avoid contradiction, enhance coherence, not ignore evidence, and maximise evidence [O'Grady] |
| Full Idea: The four basic principles of rationality are 1) avoid contradiction, 2) enhance coherence, 3) avoid ignoring evidence, and 4) maximise evidence. | |
| From: Paul O'Grady (Relativism [2002], Ch.5) | |
| A reaction: I like this, and can't think of any additions. 'Coherence' is the vaguest of the conditions. Maximising evidence is still the driving force of science, even if it does sound quaintly positivist. |
| 4735 | Just as maps must simplify their subject matter, so thought has to be reductionist about reality [O'Grady] |
| Full Idea: A map that is identical in all respects with that which is mapped is just useless. So reductionism is not just a good thing - it is essential to thought. | |
| From: Paul O'Grady (Relativism [2002], Ch.6) | |
| A reaction: A useful warning, when thinking about truth. It is folly to want your thoughts to exactly correspond to reality. I want to understand the world, but not if it requires being the world. |
| 4703 | The epistemic theory of truth presents it as 'that which is licensed by our best theory of reality' [O'Grady] |
| Full Idea: The epistemic theory of truth presents it as 'that which is licensed by our best theory of reality'. | |
| From: Paul O'Grady (Relativism [2002], Ch.2) | |
| A reaction: Dangerous nonsense. This leaves truth shifting as our theories change, it leads to different truths in different cultures, and no palpable falsehood in ignorant cultures. Don't give it house-room. |
| 4701 | To say a relative truth is inexpressible in other frameworks is 'weak', while saying it is false is 'strong' [O'Grady] |
| Full Idea: Weak alethic relativism holds that while a statement may be true in one framework, it is inexpressible in another. Strong alethic relativism is where a sentence is true relative to one framework, but false relative to another. | |
| From: Paul O'Grady (Relativism [2002], Ch.2) | |
| A reaction: The weak version will be Kuhn's 'incommensurability' of scientific theories, while the strong version will be full Protagorean relativism, saying all beliefs are true. |
| 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. |
| 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 |
| 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. |
| 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. |
| 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 |
| 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 |
| 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. |
| 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'. |
| 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 |
| 4705 | Logical relativism appears if we allow more than one legitimate logical system [O'Grady] |
| Full Idea: Logical relativism emerges if one defends the existence of two or more rival systems that one may legitimately choose between, or move back and forth between. | |
| From: Paul O'Grady (Relativism [2002], Ch.2) | |
| A reaction: All my instincts rebel against this possibility. All of Aristotle's and Kant's philosophy would be rendered meaningless. Obviously you can create artificial logics (like games), but I believe there is a truth logic. (Pathetic, isn't it?) |
| 4700 | A third value for truth might be "indeterminate", or a point on a scale between 'true' and 'false' [O'Grady] |
| Full Idea: Suggestions for a third value for truth are "indeterminate", or a scale running from "true", through "mostly true", "mainly true", "half true", "mainly false", "mostly false", to "false", or maybe even "0.56 true". | |
| From: Paul O'Grady (Relativism [2002], Ch.2) | |
| A reaction: Anything on a sliding scale sounds wrong, as it seems to be paracitic on an underlying fixed idea of 'true'. "Indeterminate", though, seems just right for the truth of predictions ('sea-fight tomorrow'). |
| 18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |
| Full Idea: Tarski showed that the only binary relations invariant under arbitrary permutations are the universal relation, the empty relation, identity and non-identity, thus giving us a reason to include '=' among the logical terms. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Vann McGee - Logical Consequence 6 | |
| A reaction: Tarski was looking for a criterion to distinguish logical from non-logical terms, since his account of logical validity depended on it. This idea lies behind whether a logic is or is not specified to be 'with identity' (i.e. using '='). |
| 4704 | Wittgenstein reduced Russell's five primitive logical symbols to a mere one [O'Grady] |
| Full Idea: While Russell and Whitehead used five primitive logical symbols in their system, Wittgenstein suggested in his 'Tractatus' that this be reduced to one. | |
| From: Paul O'Grady (Relativism [2002], Ch.2) | |
| A reaction: This certainly captures why Russell was so impressed by him. In retrospect what looked like progress presumably now looks like the beginning of the collapse of the enterprise. |
| 10823 | A name denotes an object if the object satisfies a particular sentential function [Tarski] |
| Full Idea: To say that the name x denotes a given object a is the same as to stipulate that the object a ... satisfies a sentential function of a particular type. | |
| From: Alfred Tarski (The Concept of Truth for Formalized Languages [1933], p.194) |
| 18756 | Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee] |
| Full Idea: Tarski discovered how to give a compositional semantics for predicate calculus, defining truth in terms of satisfaction, and showing how satisfaction for a complicated formula depends on satisfaction of the simple subformulas. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Vann McGee - Logical Consequence 4 | |
| A reaction: The problem was that the subformulas may contain free variables, and thus not be sentences with truth values. 'Satisfaction' can handle this, where 'truth' cannot (I think). |
| 19313 | Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham] |
| Full Idea: Tarski invented a formal semantics for quantified predicate logic, the logic of reasoning about mathematics. The heart of this great accomplishment is his theory of truth. It has been called semantic 'theory' of truth, but Tarski preferred 'conception'. | |
| 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 |
| 16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
| Full Idea: Tarski's distinction between object and metalanguage forms the basis of model theory. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 11 |
| 8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher] |
| Full Idea: In Tarski's account of truth, self-reference (as found in the Liar Paradox) is prevented because the truth predicate for any given object language is never a part of that object language, and so a sentence can never predicate truth of itself. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Jennifer Fisher - On the Philosophy of Logic 03.I | |
| A reaction: Thus we solve the Liar Paradox by ruling that 'you are not allowed to say that'. Hm. The slightly odd result is that in any conversation about whether p is true, we end up using (logically speaking) two different languages simultaneously. Hm. |
| 10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
| Full Idea: Tarski's theory of truth has been most influential in eventually creating a shift from the entirely syntactic way of doing things in metamathematics (promoted by Hilbert in the 1920s, in his theory of proofs), towards a set-theoretical, semantic approach. | |
| From: comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Feferman / Feferman - Alfred Tarski: life and logic Int III |
| 4711 | Anti-realists say our theories (such as wave-particle duality) give reality incompatible properties [O'Grady] |
| Full Idea: The anti-realist says we have theories about the world that are incompatible with each other, and irreducible to each other. They often cite wave-particle duality, which postulate incompatible properties to reality. | |
| From: Paul O'Grady (Relativism [2002], Ch.3) | |
| A reaction: Most physicists, of course, hate this duality, precisely because they can't conceive how the two properties could be real. I say realism comes first, and the theories must try to accommodate that assumption. |
| 4698 | What counts as a fact partly depends on the availability of human concepts to describe them [O'Grady] |
| Full Idea: What counts as a fact partly depends on human input, such as the availability of concepts to describe such facts. | |
| From: Paul O'Grady (Relativism [2002], Ch.1) | |
| A reaction: The point must be taken. I am happy to generalise about 'The Facts', meaning 'whatever is the case', but the individuation of specific facts is bound to hit the current problem. |
| 4715 | We may say that objects have intrinsic identity conditions, but still allow multiple accounts of them [O'Grady] |
| Full Idea: Those defending the claim that objects exist with identity conditions not imposed by us, do not have to say that there is just one account of those objects possible. | |
| From: Paul O'Grady (Relativism [2002], Ch.3) | |
| A reaction: This seems right, but the test question is whether the mind of God contains a single unified theory/account. Are multiple accounts the result of human inadequacy? Yes, I surmise. |
| 4719 | Maybe developments in logic and geometry have shown that the a priori may be relative [O'Grady] |
| Full Idea: A weaker form of relativism holds that developments in logic, in maths and in geometry have shown how a relativised notion of the a priori is possible. | |
| From: Paul O'Grady (Relativism [2002], Ch.4) | |
| A reaction: This is non-Euclidean geometry, and multiple formalisations of logic. Personally I don't believe it. You can expand these subjects, and pursue whimsical speculations, but I have faith in their stable natural core. Neo-Platonism. |
| 4720 | Sense-data are only safe from scepticism if they are primitive and unconceptualised [O'Grady] |
| Full Idea: The reason sense-data were immune from doubt was because they were so primitive; they were unstructured and below the level of conceptualisation. Once they were given structure and conceptualised, they were no longer safe from sceptical challenge. | |
| From: Paul O'Grady (Relativism [2002], Ch.4) | |
| A reaction: The question of whether sense-data are conceptualised doesn't have to be all-or-nothing. As concepts creep in, so does scepticism, but so what? Sensible philosophers live with scepticism, like a mad aunt in the attic. |
| 4722 | Modern epistemology centres on debates about foundations, and about external justification [O'Grady] |
| Full Idea: The two dichotomies which set the agenda in contemporary epistemology are the foundationalist-coherentist debate, and the internalist-externalist debate. | |
| From: Paul O'Grady (Relativism [2002], Ch.4) | |
| A reaction: Helpful. Roughly, foundationalists are often externalists (if they are empiricists), and coherentists are often internalists (esp. if they are rationalists). An eccentric combination would make a good PhD. |
| 4724 | Internalists say the reasons for belief must be available to the subject, and externalists deny this [O'Grady] |
| Full Idea: Internalism about justification says that the reasons one has for a belief must be in some sense available to the knowing subject, ..while externalism holds that it is possible for a person to have a justified belief without having access to the reason. | |
| From: Paul O'Grady (Relativism [2002], Ch.4) | |
| A reaction: It strikes me that internalists are talking about the believer being justified, and externalists talk about the belief being justified. I'm with the internalists. If this means cats don't know much, so much the worse for cats. |
| 4723 | Coherence involves support from explanation and evidence, and also probability and confirmation [O'Grady] |
| Full Idea: Coherentist justification is more than absence of contradictions, and will involve issues like explanatory support and evidential support, and perhaps issues about probability and confirmation too. | |
| From: Paul O'Grady (Relativism [2002], Ch.4) | |
| A reaction: Something like this is obviously essential. Is the notion of 'relevance' also needed (e.g. to avoid the raven paradox of induction)? Coherence of justification will combine with correspondence for truth. |
| 4709 | Ontological relativists are anti-realists, who deny that our theories carve nature at the joints [O'Grady] |
| Full Idea: Ontological relativists are anti-realists in the strong sense; they hold as meaningless the view that our theories carve nature at the joints. | |
| From: Paul O'Grady (Relativism [2002], Ch.3) | |
| A reaction: This pinpoints my disagreement with such relativism, as it seems obvious to me that nature has 'joints', and that we would agree with any sensible alien about lots of things. |
| 4725 | Contextualism says that knowledge is relative to its context; 'empty' depends on your interests [O'Grady] |
| Full Idea: Contextualist about knowledge say that "to know" means different things in different context. For example, a warehouse may be empty for a furniture owner, but not for a bacteriologist or a physicist. | |
| From: Paul O'Grady (Relativism [2002], Ch.4) | |
| A reaction: There is obviously some truth in this, but we might say that 'empty' is a secondary quality, or that 'empty for furniture' is not relative. We needn't accept relativism here. |
| 4732 | One may understand a realm of ideas, but be unable to judge their rationality or truth [O'Grady] |
| Full Idea: It is possible to conceive of one understanding the meaning of a realm of ideas, but holding that one cannot judge as to the truth or rationality of the claims made in it. | |
| From: Paul O'Grady (Relativism [2002], Ch.5) | |
| A reaction: I think Davidson gives good grounds for challenging this, by doubt whether one 'conceptual scheme' can know another without grasping its rationality and truth-conditions. |
| 17722 | The concept 'red' is tied to what actually individuates red things [Peacocke] |
| Full Idea: The possession conditions for the concept 'red' of the colour red are tied to those very conditions which individuate the colour red. | |
| From: Christopher Peacocke (Explaining the A Priori [2000], p.267), quoted by Carrie Jenkins - Grounding Concepts 2.5 | |
| A reaction: Jenkins reports that he therefore argues that we can learn something about the word 'red' from thinking about the concept 'red', which is his new theory of the a priori. I find 'possession conditions' and 'individuation' to be very woolly concepts. |
| 4710 | Verificationism was attacked by the deniers of the analytic-synthetic distinction, needed for 'facts' [O'Grady] |
| Full Idea: Verificationism came under attack from empiricists who were friendly to the banishment of traditional metaphysics, but unfriendly to the analytic-synthetic distinction, on which the idea of a 'factual statement' depended. | |
| From: Paul O'Grady (Relativism [2002], Ch.3) | |
| A reaction: I don't accept this move because I don't consider the 'facts' to be language-dependent. They are pre-linguistic, they outrun that capacity of our language, and they are available to animals. |
| 4717 | If we abandon the analytic-synthetic distinction, scepticism about meaning may be inevitable [O'Grady] |
| Full Idea: There may be no way to avoid scepticism about meaning if you abandon the analytic-synthetic distinction in the way Quine does. | |
| From: Paul O'Grady (Relativism [2002], Ch.3) | |
| A reaction: My suspicion was always that Quine's proposal began the slippery road to hell. It appears to be pragmatists who are most drawn to Quine's idea. The proposal that all my analytic propositions could be treated as synthetic totally baffles me. |
| 4706 | Early Quine says all beliefs could be otherwise, but later he said we would assume mistranslation [O'Grady] |
| Full Idea: In his earlier work, Quine defended the view that no belief (including logic) is in principle unrevisable, but in his later work (1970) he took the conservative view that we would always impute mistranslation rather than deviancy. | |
| From: Paul O'Grady (Relativism [2002], Ch.2) | |
| A reaction: I take it he was influenced by Davidson's 'principle of charity'. He says that if someone asserts 'p and not-p', we would assume a misunderstanding of 'and' or 'not'. |
| 4734 | Cryptographers can recognise that something is a language, without translating it [O'Grady] |
| Full Idea: It makes sense to think that one could recognise that something is a language without necessarily being able to translate it; cryptographers do this all the time. | |
| From: Paul O'Grady (Relativism [2002], Ch.5) | |
| A reaction: Maybe, but cryptographers usually have a lot of context to work with. If we met extraterrestrials if might not be so clear. One can only spot patterns, and crystals have those. |
| 20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
| Full Idea: Taste is the faculty for judging an object or a kind of representation through a satisfaction or a dissatisfaction, ...where the object of such a satisfaction is called beautiful. | |
| From: report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Elizabeth Schellekens - Immanuel Kant (aesthetics) 1 | |
| A reaction: We usually avoid the word 'faculty' nowadays, because it implies a specific mechanism, but 'capacity' will do. Kant is said to focus specifically on beauty, whereas modern aestheticians have a broader view of the type of subject matter. |
| 4727 | The chief problem for fideists is other fideists who hold contrary ideas [O'Grady] |
| Full Idea: The chief problem for fideists is other fideists who hold contrary ideas. | |
| From: Paul O'Grady (Relativism [2002], Ch.4) | |
| A reaction: The other problem is trying to find grounds for sticking to the object of one's faith, rather than changing from time to time. |