72 ideas
| 15585 | Later Heidegger sees philosophy as more like poetry than like science [Heidegger, by Polt] |
| Full Idea: In his later work Heidegger came to view philosophy as closer to poetry than to science. | |
| From: report of Martin Heidegger (The Origin of the Work of Art [1935], p.178) by Richard Polt - Heidegger: an introduction 5 'Signs' |
| 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 |
| 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 '='). |
| 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 |
| 3942 | I do not believe in the existence of anything, if I see no reason to believe it [Berkeley] |
| Full Idea: It is to me a sufficient reason not to believe the existence of anything, if I see no reason for believing it. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.205) | |
| A reaction: This may just be a reasonable application of Ockham's Razor, but I fear that Berkeley painted himself into corner by demanding too many 'reasons' for everything. |
| 3952 | I know that nothing inconsistent can exist [Berkeley] |
| Full Idea: I know that nothing inconsistent can exist. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.224) | |
| A reaction: Fine, but the problem is to assess with confidence what is inconsistent. Human imagination seems to be the test for existence. But what else can we do? |
| 3959 | There is no other substance, in a strict sense, than spirit [Berkeley] |
| Full Idea: There is no other substance, in a strict sense, than spirit. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.257) | |
| A reaction: A nice clear statement of idealism. Why is he so confident of making this assertion. Note the addition, though, of 'in a strict' sense. He is presenting an epistemological claim as if it was an ontological one. |
| 3946 | A thing is shown to be impossible if a contradiction is demonstrated within its definition [Berkeley] |
| Full Idea: A thing is shown to be impossible when a repugnancy is demonstrated between the ideas comprehended in its definition. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.214) | |
| A reaction: The problem is always that imagination is needed to see the 'repugnancy', and that is relative and limited. |
| 3958 | Since our ideas vary when the real things are said to be unchanged, they cannot be true copies [Berkeley] |
| Full Idea: As our ideas are perpetually varied, without any change in the supposed real things, it necessarily follows that they cannot all be true copies of them. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.239) | |
| A reaction: This seems a good objection to any direct or naïve realist view. Colours get darker as the sun goes down, and objects become blurred as they recede into the distance. |
| 3943 | If existence is perceived directly, by which sense; if indirectly, how is it inferred from direct perception? [Berkeley] |
| Full Idea: Either you perceive the being of matter immediately, or mediately; if immediately, pray inform me by which of the senses you perceive it; if mediately, let me know by what reasonings it is inferred from those things which you perceive immediately. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.208) | |
| A reaction: A problem for strong empiricists, and he is right that existence can't be directly perceived, but it seems a good explanation (for which some reason can be shown), and supports a more rationalist view. |
| 3931 | Sensible objects are just sets of sensible qualities [Berkeley] |
| Full Idea: Sensible things are nothing else but so many sensible qualities. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.154) | |
| A reaction: As it stands this is phenomenalism, but Berkeley eventually votes for idealism. He should acknowledge possible sensations which aren't actually experienced. |
| 5192 | Berkeley did not deny material things; he merely said they must be defined through sensations [Berkeley, by Ayer] |
| Full Idea: Berkeley did not (as we are commonly told) deny the reality of material things. ..What Berkeley discovered was that material things must be defined in terms of sense-contents. | |
| From: report of George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by A.J. Ayer - Language,Truth and Logic Ch.2 | |
| A reaction: This seems to be a rather debatable attempt to claim that Berkeley was a phenomenalist (like Ayer), rather than an idealist. Try ideas 3942, 3944, 3945, 3957, 3959 in this database. |
| 5174 | Berkeley needed a phenomenalist account of the self, as well as of material things [Ayer on Berkeley] |
| Full Idea: The considerations which make it necessary, as Berkeley saw, to give a phenomenalist account of material things, make it necessary also, as Berkeley did not see, to give a phenomenalist account of the self. | |
| From: comment on George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by A.J. Ayer - Language,Truth and Logic Ch.7 | |
| A reaction: Phenomenalism involves 'possible' experiences as well as actual ones. That could add up to quite a rich and stable account of the self, as opposed to Hume's notorious introspection, which only saw an actual shifting 'bundle' of experience. |
| 1103 | 'To be is to be perceived' is a simple confusion of experience with its objects [Russell on Berkeley] |
| Full Idea: Berkeley thinks 'to be is to be perceived', and only God provides continuity. He has simply confused the experience of perception with the thing being perceived. Ideas have content. | |
| From: comment on George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by Bertrand Russell - Problems of Philosophy |
| 6403 | For Berkelely, reality is ideas and a community of minds, including God's [Berkeley, by Grayling] |
| Full Idea: Berkeley's thesis is that reality ultimately consists of a community of minds and their ideas; one of the minds (God) is infinite, and causes most of the ideas. | |
| From: report of George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: I think Russell nicely pinpoints what is wrong with Berekely, which is that he confuses ideas with their contents. If I think about my garden, the garden is real (probably), which is the content, and they idea is just a way of thinking. |
| 3936 | Time is measured by the succession of ideas in our minds [Berkeley] |
| Full Idea: Time is measured by the succession of ideas in our minds. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.172) | |
| A reaction: But we distinguish between subjective time (which flies when you are having fun), and objective time, judged from observation of clocks and nature. |
| 3930 | There is no such thing as 'material substance' [Berkeley] |
| Full Idea: That there is no such thing as what philosophers call 'material substance', I am seriously persuaded. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.150) | |
| A reaction: I'm sorry, but I can't do with this. It confuses epistemology with ontology. Ontology is a matter of judgement; epistemology is the evidence on which we base it. We know sensations; personally I judge that there are material substances. What about you? |
| 3939 | I conceive a tree in my mind, but I cannot prove that its existence can be conceived outside a mind [Berkeley] |
| Full Idea: I may conceive in my own thoughts the idea of a tree, but that is all. And this is far from proving that I can conceive it existing out of the minds of all spirits. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.184) | |
| A reaction: If Berkeley has based a world view on this point, then his mistake is to require a 'proof'. Aristotle explained why you can't prove everything (not to mention Gödel). |
| 3945 | There is nothing in nature which needs the concept of matter to explain it [Berkeley] |
| Full Idea: I challenge you to show me that thing in nature which needs matter to explain or account for it. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.212) | |
| A reaction: I disagree. Physics is a good theory for explaining why we have perceptions. Failing that there is not even a glimmer of an explanation of our experiences. |
| 3947 | Perceptions are ideas, and ideas exist in the mind, so objects only exist in the mind [Berkeley] |
| Full Idea: Wood, fire, water, flesh, iron, are things that I know, and only known because I perceive them by my senses; these are immediately perceived, and so are ideas; ideas cannot exist without the mind; their existence consists therefore in being perceived. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.220) | |
| A reaction: This makes no distinction between an idea and its content. Berkeley fails to grasp the weird concept of intentionality. Trees aren't in my head, just because I think about them! |
| 3933 | Primary qualities (such as shape, solidity, mass) are held to really exist, unlike secondary qualities [Berkeley] |
| Full Idea: Sensible qualities are by philosophers divided into primary and secondary; the former are extension, figure, solidity, gravity, motion and rest, which exist really in bodies. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.169) | |
| A reaction: A crucial distinction, which anti-realists such as Berkeley end up denying. I think it is a good distinction, and philosophers should fight to preserve it. |
| 3934 | A mite would see its own foot as large, though we would see it as tiny [Berkeley] |
| Full Idea: A mite must be supposed to see his own foot as a body of some considerable dimension, though they appear to you scarcely discernible. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.170) | |
| A reaction: Berkeley is confused. Hot is secondary, but temperature is primary. Bigness is secondary, size primay. Midgets and tall people don't disagree over the size of a table. |
| 3935 | The apparent size of an object varies with its distance away, so that can't be a property of the object [Berkeley] |
| Full Idea: As we approach to or recede from an object, the visible extension varies, being at one distance ten or a hundred times greater than at another; doth it not follow that it is not really inherent in the object? | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.171) | |
| A reaction: Berkeley is confused, because he is too literally empirical. Qualities are not self-evidently primary or secondary, but are judged so after comparisons (e.g. with testimony, or with the other senses). |
| 3937 | 'Solidity' is either not a sensible quality at all, or it is clearly relative to our senses [Berkeley] |
| Full Idea: By 'solidity' either you do not mean any sensible quality, and so it is beside our enquiry; or if you do, it must be hardness or resistance, which are plainly relative to our senses. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.173) | |
| A reaction: Berkeley fails to recognise that a quality can have primary and secondary aspects (hot/high temperature). He is right that primary qualities are not directly perceived. They are judgements. |
| 3940 | Distance is not directly perceived by sight [Berkeley] |
| Full Idea: Distance is not properly and immediately perceived by sight. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.186) | |
| A reaction: Interestingly, if secondary qualities are not strictly perceptions of the object, and primary qualities are not directly perceived, then we don't seem to perceive anything at all. Perhaps we should drop the concept of 'perception'? |
| 3957 | Immediate objects of perception, which some treat as appearances, I treat as the real things themselves [Berkeley] |
| Full Idea: Those immediate objects of perception, which, according to you, are only appearances of things, I take to be the real things themselves. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.237) | |
| A reaction: If that is a judgement, which it seems to be, it is a strange one. Realists offer a much better explanation of perceptions. |
| 3953 | Real things and imaginary or dreamed things differ because the latter are much fainter [Berkeley] |
| Full Idea: The difference between real things, and chimeras formed by the imagination, or the visions of a dream, is that the latter are faint and indistinct. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.225) | |
| A reaction: In Hume this becomes 'impressions' and 'ideas'. It does raise the question of WHY some ideas are not as faint as others. |
| 3938 | Geometry is originally perceived by senses, and so is not purely intellectual [Berkeley] |
| Full Idea: Figures and extension, being originally perceived by sense, do not belong to pure intellect. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.176) | |
| A reaction: Is the square root of 169 less 'pure' in my mind if I learn it from laying out bricks instead of by thinking about numbers? Confusion of how you learn with what you learn? |
| 3944 | It is possible that we could perceive everything as we do now, but nothing actually existed. [Berkeley] |
| Full Idea: We might perceive all things just as we do now, though there was no matter in the world. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.209) | |
| A reaction: An old Greek argument. Now we have an explanation of experience, but we wouldn't if nothing existed. Which doesn't prove that anything exists. Is some explanation always preferable to none? Cf. religion. |
| 3932 | A hot hand and a cold hand will have different experiences in the same tepid water [Berkeley] |
| Full Idea: Suppose now one of your hands hot, and the other cold, and that they are both at once put into the same vessel of water, in an intermediate state; will not the water seem cold to one hand, and warm to the other? | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], I p.158) | |
| A reaction: A nice clear example of how some relativism must be acknowledged. It feels hot, but what is its temperature in degrees C? |
| 3948 | Experience tells me that other minds exist independently from my own [Berkeley] |
| Full Idea: It is plain that other minds have an existence exterior to my mind, since I find them by experience to be independent of it. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.220) | |
| A reaction: This is a surprising claim from Berkeley. If trees only exist through their experience in my mind, why don't other minds exist in the same way? |
| 3941 | How can that which is unthinking be a cause of thought? [Berkeley] |
| Full Idea: How can that which is unthinking be a cause of thought? | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.203) | |
| A reaction: Presumably, though, he thinks that thought can cause 'that which is unthinking' to move'. He likes one half of the interaction problem (which supports dualism), but avoids the other half. |
| 5374 | Berkeley probably used 'idea' to mean both the act of apprehension and the thing apprehended [Russell on Berkeley] |
| Full Idea: Berkeley seems to have confused the colour of the thing apprehended with the act of apprehension; probably either of these would have been called an 'idea' be Berkeley. | |
| From: comment on George Berkeley (Three Dialogues of Hylas and Philonous [1713]) by Bertrand Russell - Problems of Philosophy | |
| A reaction: If we are saying that Berkeley's error was entirely verbal, there is a chicken-and-egg problem. He was an idealist, so he wouldn't have thought that there were two separate concepts behind the word 'idea'. Russell merely asserts that there are. |
| 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. |
| 3954 | Immorality is not in the action, but in the deviation of the will from moral law [Berkeley] |
| Full Idea: Sin or moral turpitude doth not consist in the outward physical action or motion, but in the internal deviation of the will from the laws of reason and religion. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.227) | |
| A reaction: A Kantian view (that the only good thing is a good will). It is a very empiricist (and anti-Greek) view to deny that actions have any intrinsic value. |
| 3950 | There must be a God, because all sensible things must be perceived by him [Berkeley] |
| Full Idea: I immediately and necessarily conclude the being of a God, because all sensible things must be perceived by him. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.198) | |
| A reaction: Daft. This contradicts Berkeley's whole empiricist position, that existence depends on known experience. Who knows whether God is thinking about trees? |
| 3951 | There must be a God, because I and my ideas are not independent [Berkeley] |
| Full Idea: From the dependency I find in myself and my ideas, I do by an act of reason necessarily infer the existence of a God. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.222) | |
| A reaction: No. Hume answered this, by showing how big abstract ideas are built up from experience. This is a future bishop's wish-fulfilment. |
| 3949 | It has been proved that creation is the workmanship of God, from its beauty and usefulness [Berkeley] |
| Full Idea: Divines and philosophers have proved beyond all controversy, from the beauty and usefulness of the several parts of creation, that it was the workmanship of God. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], II p.198) | |
| A reaction: Not convincing. Beauty is probably a sublimation of sexual desire (or an echo of the human mind in the external world, in music), and utility is relative to homo sapiens, I presume. |
| 3956 | People are responsible because they have limited power, though this ultimately derives from God [Berkeley] |
| Full Idea: Thinking rational beings, in the production of motions, have the use of limited powers, ultimately derived from God, but immediately under the direction of their own wills, which is sufficient to entitle them to all the guilt of their own actions. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.228) | |
| A reaction: An episcopal evasion. A classic attempt to have cake and eat it. Either God is in charge or he isn't. |
| 3955 | If sin is not just physical, we don't consider God the origin of sin because he causes physical events [Berkeley] |
| Full Idea: If sin doth not consist of purely physical actions, the making God a cause of all such actions, is not making him the author of sin. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.227) | |
| A reaction: An equivocation. If responsibility resides in consciousness, God is presumably conscious, and we can judge the events he causes. |