Combining Philosophers

All the ideas for Michael D. Resnik, George Berkeley and ystein Linnebo

unexpand these ideas     |    start again     |     specify just one area for these philosophers


109 ideas

2. Reason / D. Definition / 12. Paraphrase
'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo]
     Full Idea: The Geach-Kaplan sentence 'Some critics admire only one another' provably has no singular first-order paraphrase using only its predicates.
     From: Øystein Linnebo (Plural Quantification [2008], 1)
     A reaction: There seems to be a choice of either going second-order (picking out a property), or going plural (collectively quantifying), or maybe both.
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
An idea can only be like another idea [Berkeley]
     Full Idea: An idea can be like nothing but an idea.
     From: George Berkeley (The Principles of Human Knowledge [1710], §08), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 43 'Mean'
     A reaction: I take this to be relevant to the correspondence theory, but also to be one of Berkeley's best observations. We understand ideas, but we can't map them onto the world (because they are not maps!). ...But then how is one idea like another? Hm.
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Axioms are often affirmed simply because they produce results which have been accepted [Resnik]
     Full Idea: Many axioms have been proposed, not on the grounds that they can be directly known, but rather because they produce a desired body of previously recognised results.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], One.5.1)
     A reaction: This is the perennial problem with axioms - whether we start from them, or whether we deduce them after the event. There is nothing wrong with that, just as we might infer the existence of quarks because of their results.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
     Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
     A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
     Full Idea: Naïve set theory is based on the principles that any formula defines a set, and that coextensive sets are identical.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.2)
     A reaction: The second principle is a standard axiom of ZFC. The first principle causes the trouble.
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
     Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed).
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
A pure logic is wholly general, purely formal, and directly known [Linnebo]
     Full Idea: The defining features of a pure logic are its absolute generality (the objects of discourse are irrelevant), and its formality (logical truths depend on form, not matter), and its cognitive primacy (no extra-logical understanding is needed to grasp it).
     From: Øystein Linnebo (Plural Quantification [2008], 3)
     A reaction: [compressed] This strikes me as very important. The above description seems to contain no ontological commitment at all, either to the existence of something, or to two things, or to numbers, or to a property. Pure logic seems to be 'if-thenism'.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]
     Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §4)
Second-order quantification and plural quantification are different [Linnebo]
     Full Idea: Second-order quantification and plural quantification are generally regarded as different forms of quantification.
     From: Øystein Linnebo (Plural Quantification [2008], 2)
Traditionally we eliminate plurals by quantifying over sets [Linnebo]
     Full Idea: The traditional view in analytic philosophy has been that all plural locutions should be paraphrased away by quantifying over sets, though Boolos and other objected that this is unnatural and unnecessary.
     From: Øystein Linnebo (Plural Quantification [2008], 5)
Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo]
     Full Idea: Plural quantification can be used to eliminate the commitment of science and common sense to complex objects. We can use plural quantification over mereological atoms arranged tablewise or chairwise.
     From: Øystein Linnebo (Plural Quantification [2008], 4.5)
     A reaction: [He cites Hossack and van Ingwagen]
Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
     Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §0)
Plural plurals are unnatural and need a first-level ontology [Linnebo]
     Full Idea: Higher-order plural quantification (plural plurals) is often rejected because plural quantification is supposedly ontological innocent, with no plural things to be plural, and because it is not found in ordinary English.
     From: Øystein Linnebo (Plural Quantification [2008], 2.4)
     A reaction: [Summary; he cites Boolos as a notable rejector] Linnebo observes that Icelandic contains a word 'tvennir' which means 'two pairs of'.
Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo]
     Full Idea: Plural quantification seems to offer ontological economy. We can pay the price of a mere first-order theory and then use plural quantification to get for free the corresponding monadic second-order theory, which would be an ontological bargain.
     From: Øystein Linnebo (Plural Quantification [2008], 4.4)
     A reaction: [He mentions Hellman's modal structuralism in mathematics]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
In classical semantics singular terms refer, and quantifiers range over domains [Linnebo]
     Full Idea: In classical semantics the function of singular terms is to refer, and that of quantifiers, to range over appropriate domains of entities.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 7.1)
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The axioms of group theory are not assertions, but a definition of a structure [Linnebo]
     Full Idea: Considered in isolation, the axioms of group theory are not assertions but comprise an implicit definition of some abstract structure,
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.5)
     A reaction: The traditional Euclidean approach is that axioms are plausible assertions with which to start. The present idea sums up the modern approach. In the modern version you can work backwards from a structure to a set of axioms.
To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo]
     Full Idea: Mathematics investigates the deductive consequences of axiomatic theories, but it also needs its own foundational axioms in order to provide models for its various axiomatic theories.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.1)
     A reaction: This is a problem which faces the deductivist (if-then) approach. The deductive process needs its own grounds.
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik]
     Full Idea: Mathematical realism is the doctrine that mathematical objects exist, that much contemporary mathematics is true, and that the existence and truth in question is independent of our constructions, beliefs and proofs.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.12.9)
     A reaction: As thus defined, I would call myself a mathematical realist, but everyone must hesitate a little at the word 'exist' and ask, how does it exist? What is it 'made of'? To say that it exists in the way that patterns exist strikes me as very helpful.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
Infinitesimals are ghosts of departed quantities [Berkeley]
     Full Idea: The infinitesimals are the ghosts of departed quantities.
     From: George Berkeley (The Analyst [1734]), quoted by David Bostock - Philosophy of Mathematics 4.3
     A reaction: [A famous phrase, but as yet no context for it]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo]
     Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.6)
     A reaction: Note that this concerns consistency, not completeness.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik]
     Full Idea: In maths the primary subject-matter is not mathematical objects but structures in which they are arranged; our constants and quantifiers denote atoms, structureless points, or positions in structures; they have no identity outside a structure or pattern.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.1)
     A reaction: This seems to me a very promising idea for the understanding of mathematics. All mathematicians acknowledge that the recognition of patterns is basic to the subject. Even animals recognise patterns. It is natural to invent a language of patterns.
Sets are positions in patterns [Resnik]
     Full Idea: On my view, sets are positions in certain patterns.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.5)
     A reaction: I have always found the ontology of a 'set' puzzling, because they seem to depend on prior reasons why something is a member of a given set, which cannot always be random. It is hard to explain sets without mentioning properties.
Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo]
     Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 11.1)
     A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo]
     Full Idea: The 'deductivist' version of eliminativist structuralism avoids ontological commitments to mathematical objects, and to modal vocabulary. Mathematics is formulations of various (mostly categorical) theories to describe kinds of concrete structures.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], 1)
     A reaction: 'Concrete' is ambiguous here, as mathematicians use it for the actual working maths, as opposed to the metamathematics. Presumably the structures are postulated rather than described. He cites Russell 1903 and Putnam. It is nominalist.
Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo]
     Full Idea: The 'non-eliminative' version of mathematical structuralism takes it to be a fundamental insight that mathematical objects are really just positions in abstract mathematical structures.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I)
     A reaction: The point here is that it is non-eliminativist because it is committed to the existence of mathematical structures. I oppose this view, since once you are committed to the structures, you may as well admit a vast implausible menagerie of abstracta.
'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo]
     Full Idea: The 'modal' version of eliminativist structuralism lifts the deductivist ban on modal notions. It studies what necessarily holds in all concrete models which are possible for various theories.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I)
     A reaction: [He cites Putnam 1967, and Hellman 1989] If mathematical truths are held to be necessary (which seems to be right), then it seems reasonable to include modal notions, about what is possible, in its study.
'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo]
     Full Idea: 'Set-theoretic' structuralism rejects deductive nominalism in favour of a background theory of sets, and mathematics as the various structures realized among the sets. This is often what mathematicians have in mind when they talk about structuralism.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I)
     A reaction: This is the big shift from 'mathematics can largely be described in set theory' to 'mathematics just is set theory'. If it just is set theory, then which version of set theory? Which axioms? The safe iterative conception, or something bolder?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik]
     Full Idea: An objection is that structuralism fails to explain why certain mathematical patterns are unified wholes while others are not; for instance, some think that an ontological account of mathematics must explain why a triangle is not a 'random' set of points.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.4)
     A reaction: This is an indication that we are not just saying that we recognise patterns in nature, but that we also 'see' various underlying characteristics of the patterns. The obvious suggestion is that we see meta-patterns.
Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo]
     Full Idea: Structuralism can be distinguished from traditional Platonism in that it denies that mathematical objects from the same structure are ontologically independent of one another
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III)
     A reaction: My instincts strongly cry out against all versions of this. If you are going to be a platonist (rather as if you are going to be religious) you might as well go for it big time and have independent objects, which will then dictate a structure.
There are too many mathematical objects for them all to be mental or physical [Resnik]
     Full Idea: If we take mathematics at its word, there are too many mathematical objects for it to be plausible that they are all mental or physical objects.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], One.1)
     A reaction: No one, of course, has ever claimed that they are, but this is a good starting point for assessing the ontology of mathematics. We are going to need 'rules', which can deduce the multitudinous mathematical objects from a small ontology.
Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik]
     Full Idea: I argue that mathematical knowledge has its roots in pattern recognition and representation, and that manipulating representations of patterns provides the connection between the mathematical proof and mathematical truth.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], One.1)
     A reaction: The suggestion that patterns are at the basis of the ontology of mathematics is the most illuminating thought I have encountered in the area. It immediately opens up the possibility of maths being an entirely empirical subject.
Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik]
     Full Idea: Of the equivalence relationships which occur between patterns, congruence is the strongest, equivalence the next, and mutual occurrence the weakest. None of these is identity, which would require the same position.
     From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.10.3)
     A reaction: This gives some indication of how an account of mathematics as a science of patterns might be built up. Presumably the recognition of these 'degrees of strength' cannot be straightforward observation, but will need an a priori component?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Structuralism is right about algebra, but wrong about sets [Linnebo]
     Full Idea: Against extreme views that all mathematical objects depend on the structures to which they belong, or that none do, I defend a compromise view, that structuralists are right about algebraic objects (roughly), but anti-structuralists are right about sets.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], Intro)
In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo]
     Full Idea: If objects depend on the other objects, this would mean an 'upward' dependence, in that they depend on the structure to which they belong, where the physical realm has a 'downward' dependence, with structures depending on their constituents.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III)
     A reaction: This nicely captures an intuition I have that there is something wrong with a commitment primarily to 'structures'. Our only conception of such things is as built up out of components. Not that I am committing to mathematical 'components'!
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo]
     Full Idea: Modern logic requires that logical truths be true in all models, including ones devoid of any mathematical objects. It follows immediately that the existence of mathematical objects can never be a matter of logic alone.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 2)
     A reaction: Hm. Could there not be a complete set of models for a theory which all included mathematical objects? (I can't answer that).
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo]
     Full Idea: Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones.
     From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.3)
     A reaction: This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter!
7. Existence / A. Nature of Existence / 4. Abstract Existence
Abstract ideas are impossible [Berkeley]
     Full Idea: We have, I think, shown the impossibility of Abstract Ideas.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §21)
     A reaction: He achieves this by an attack on universals, offering the nominalist view that there are only particulars. There seems to be a middle ground, where universals don't actually exist, but there are settled conventional abstraction, beyond particulars.
7. Existence / A. Nature of Existence / 5. Reason for Existence
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.
7. Existence / A. Nature of Existence / 6. Criterion for Existence
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?
7. Existence / C. Structure of Existence / 4. Ontological Dependence
There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo]
     Full Idea: We can give an exhaustive account of the identity of the empty set and its singleton without mentioning infinite sets, and it might be possible to defend the view that one natural number depends on its predecessor but not vice versa.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], V)
     A reaction: Linnebo uses this as one argument against mathematical structuralism, where the small seems to depend on the large. The view of sets rests on the iterative conception, where each level is derived from a lower level. He dismisses structuralism of sets.
7. Existence / D. Theories of Reality / 4. Anti-realism
Berkeley does believe in trees, but is confused about what trees are [Berkeley, by Cameron]
     Full Idea: I think that we should consider Berkeley as believing in trees; we should simply claim that he has false beliefs about what trees are.
     From: report of George Berkeley (The Principles of Human Knowledge [1710]) by Ross P. Cameron - Truthmakers, Realism and Ontology 'Realism'
     A reaction: I can be realist about spots before my eyes, or a ringing in my ears, but be (quite sensibly) unsure about what they are, so Cameron's suggestion sounds plausible.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo]
     Full Idea: Some philosophers speak about a theory's 'ideological commitments' and not just about its 'ontological commitments'.
     From: Øystein Linnebo (Plural Quantification [2008], 5.4)
     A reaction: This is a third strategy for possibly evading one's ontological duty, along with fiddling with the words 'exist' or 'object'. An ideological commitment to something to which one is not actually ontologically committed conjures up stupidity and dogma.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Ordinary speakers posit objects without concern for ontology [Linnebo]
     Full Idea: Maybe ordinary speakers aren't very concerned about their ontological commitments, and sometimes find it convenient to posit objects.
     From: Øystein Linnebo (Plural Quantification [2008], 2.4)
     A reaction: I think this is the whole truth about the ontological commitment of ordinary language. We bring abstraction under control by pretending it is a world of physical objects. The 'left wing' in politics, 'dark deeds', a 'huge difference'.
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo]
     Full Idea: There are two main ways of spelling out an 'intrinsic' property: if and only if it is shared by every duplicate of an object, ...and if and only if the object would have this property even if the rest of the universe were removed or disregarded.
     From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], II)
     A reaction: [He cites B.Weatherson's Stanford Encyclopaedia article] How about an intrinsic property being one which explains its identity, or behaviour, or persistence conditions?
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
Universals do not have single meaning, but attach to many different particulars [Berkeley]
     Full Idea: There is no such thing as one precise and definite signification annexed to any general name, they all signifying indifferently a great number of particular ideas.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §18)
     A reaction: The term 'red' may be assigned to a range of colours, but we also recognise the precision of 'that red'. For 'electron', or 'three', or 'straight', the particulars are indistinguishable.
No one will think of abstractions if they only have particular ideas [Berkeley]
     Full Idea: He that knows he has no other than particular ideas, will not puzzle himself in vain to find out and conceive the abstract idea annexed to any name.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §24)
     A reaction: A nice point against universals. Maybe gods only think in particulars. One particular on its own could never suggest a universal. How are you going to spot patterns if you don't think in universals? Maths needs patterns.
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
Universals do not have any intrinsic properties, but only relations to particulars [Berkeley]
     Full Idea: Universality, so far as I can comprehend it, does not consist in the absolute, positive nature or conception of anything, but in the relation it bears to the particulars signified or represented by it.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §15)
     A reaction: I always think it is a basic principle in philosophy that some sort of essence must precede relations (and functions). What is it about universals that enables them to have a relation to particulars?
9. Objects / A. Existence of Objects / 1. Physical Objects
The modern concept of an object is rooted in quantificational logic [Linnebo]
     Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §2)
     A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'.
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Material substance is just general existence which can have properties [Berkeley]
     Full Idea: The most accurate philosophers have no other meaning annexed to 'material substance' but the idea of being in general, together with the relative notion of its supporting accidents.
     From: George Berkeley (The Principles of Human Knowledge [1710], §17)
     A reaction: This is part of the attack on Aristotle's concept of 'substance', and is a nice way of dissolving the concept. 'Substance' will never reappear in physics, but modern philosopher have returned to it, as possibly inescapable in metaphysics.
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.
9. Objects / B. Unity of Objects / 2. Substance / e. Substance critique
A die has no distinct subject, but is merely a name for its modes or accidents [Berkeley]
     Full Idea: To me a die seems to be nothing distinct from those things which are termed its modes or accidents. And to say a die is hard, extended and square is not to attribute those qualities to a distinct subject, but only an explication of the word 'die'.
     From: George Berkeley (The Principles of Human Knowledge [1710], n 49)
     A reaction: This is apparently a reaction to Locke, and a final rejection of the medieval idea of a 'substance'. Unfortunately it leaves Berkeley with a 'bundle' view of objects (a typical empiricist account), which is even worse.
10. Modality / A. Necessity / 10. Impossibility
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.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / a. Naïve realism
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.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
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.
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
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.
Perception is existence for my table, but also possible perception, by me or a spirit [Berkeley]
     Full Idea: The table I write on I say exists, that is, I see and feel it; and if I were out of my study I should say it existed - meaning thereby that if I was in my study I might perceive it, or that some other spirit actually does perceive it.
     From: George Berkeley (The Principles of Human Knowledge [1710], §3)
     A reaction: Berkeley is always (understandably) labelled as an 'idealist', but this seems to be what we call 'phenomenalism', because it allows possible experiences as well as actual ones. See Ideas 5170 and 6522.
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.
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.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / c. Empirical idealism
The only substance is spirit, or that which perceives [Berkeley]
     Full Idea: It is evident that there is not any other Substance than spirit, or that which perceives.
     From: George Berkeley (The Principles of Human Knowledge [1710], §7)
     A reaction: Weird. To say that this is 'evident' seems to be begging the question. Why should he assume that there is nothing more to reality than his perception of it? He seems strangely unimaginative.
The 'esse' of objects is 'percipi', and they can only exist in minds [Berkeley]
     Full Idea: The absolute existence of unthinking things with no relation to their being perceived is unintelligible to me; their 'esse' is 'percipi', nor is it possible they should have any existence out of the minds or thinking things which perceive them.
     From: George Berkeley (The Principles of Human Knowledge [1710], §3)
     A reaction: "Esse est percipi" (to be is to be perceived) is the well-known slogan associated with Berkeley. I cannot see how Berkeley can assert that the separate existence of things is impossible. He is the classic confuser of epistemology and ontology.
When I shut my eyes, the things I saw may still exist, but in another mind [Berkeley]
     Full Idea: When I shut my eyes, the things I saw may still exist, but it must be in another mind.
     From: George Berkeley (The Principles of Human Knowledge [1710], §90)
     A reaction: This strikes me as ridiculous. What kind of theory says that a table goes out of existence when someone forgets to look at it for a moment, but is then recreated in identical form? Epistemology is not ontology.
'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
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.
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.
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?
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).
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.
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!
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / c. Primary qualities
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.
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / e. Primary/secondary critique
No one can, by abstraction, conceive extension and motion of bodies without sensible qualities [Berkeley]
     Full Idea: I desire any one to reflect and try whether he can, by any abstraction of thought, conceive the extension and motion of a body without any sensible qualities.
     From: George Berkeley (The Principles of Human Knowledge [1710], §10)
     A reaction: The rather geometrical view of objects found in Descartes and Russell is an attempt to do this. I don't think the fact that we can't really achieve it matters much. We divide primary from secondary qualities in our understanding, not in experience.
Motion is in the mind, since swifter ideas produce an appearance of slower motion [Berkeley]
     Full Idea: Is it not reasonable to say that motion is not without the mind, since if the succession of ideas in the mind become swifter the motion, it is acknowledged, shall appear slower without any alteration in any external object.
     From: George Berkeley (The Principles of Human Knowledge [1710], §14)
     A reaction: An intriguing argument, based on what is now the principle of slow-motion photography. Fast minds slow down movement, like great tennis players. By what right does Berkeley say that the external subject is unaltered?
Figure and extension seem just as dependent on the observer as heat and cold [Berkeley]
     Full Idea: If heat and cold are only affections of the mind (since the same body seems cold to one hand and warm to the other), why may we not argue that figure and extension also appear different to the same eye at different stations?
     From: George Berkeley (The Principles of Human Knowledge [1710], §14)
     A reaction: If the assessment of the qualities of an object is entirely a matter of our experiences of it, there is no denying Berkeley on this. However, judgement goes beyond experience, into speculations, inferences, and explanations.
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.
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).
'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.
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'?
12. Knowledge Sources / B. Perception / 3. Representation
Berkeley's idealism resulted from fear of scepticism in representative realism [Robinson,H on Berkeley]
     Full Idea: It was fear of scepticism based upon representative realism that motivated Berkeley's idealism.
     From: comment on George Berkeley (The Principles of Human Knowledge [1710]) by Howard Robinson - Perception II.1
     A reaction: Personally I side with Russell, who accepts representative realism, and also accepts that some degree of scepticism is unavoidable, but without getting excited about it. The key to everything is to be a 'fallibilist' about knowledge.
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.
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Knowledge is of ideas from senses, or ideas of the mind, or operations on sensations [Berkeley]
     Full Idea: The objects of knowledge are either ideas imprinted on the senses, or passions and operations of the mind, or ideas (formed by memory and imagination) compounding, dividing or barely representing the original perceptions.
     From: George Berkeley (The Principles of Human Knowledge [1710], §1)
     A reaction: This is the germ of Hume's 'associations' (Idea 2189). There is not much room here for synthetic a priori knowledge, as the a priori part seems to merely know the mind. Most of Russell's epistemology is contained in the last part of the sentence.
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.
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
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?
13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism
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.
13. Knowledge Criteria / E. Relativism / 3. Subjectivism
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?
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / a. Other minds
Berkeley's idealism gives no grounds for believing in other minds [Reid on Berkeley]
     Full Idea: I can find no principle in Berkeley's system, which affords me even probable ground to conclude that there are other intelligent beings, like myself.
     From: comment on George Berkeley (The Principles of Human Knowledge [1710]) by Thomas Reid - Essays on Intellectual Powers 2: Senses 10
     A reaction: I agree, which means that Berkeley's position seems to entail solipsism, unless God is the Cartesian deus ex machina who rescues him from this wall of ignorance.
15. Nature of Minds / A. Nature of Mind / 4. Other Minds / c. Knowing other minds
I know other minds by ideas which are referred by me to other agents, as their effects [Berkeley]
     Full Idea: The knowledge I have of other spirits is not immediate, as is the knowledge of my ideas; but depending on the intervention of ideas, by me referred to agents or spirits distinct from myself, as effects or concomitant signs.
     From: George Berkeley (The Principles of Human Knowledge [1710], §145)
     A reaction: This strikes me as gross intellectual dishonesty, since the argument Berkeley uses to assert other minds could equally be used to assert the existence of tables ('by me referred to agents distinct from myself, as effects'). Be a solipsist or a realist.
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?
15. Nature of Minds / A. Nature of Mind / 7. Animal Minds
If animals have ideas, and are not machines, they must have some reason [Berkeley]
     Full Idea: If the brutes have any ideas at all, and are not bare machines (as some would have them), we cannot deny them to have some reason.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §11)
     A reaction: It seems possible to imagine a low level of mind, where a few ideas (or concepts) float around, but hardly anything worth the name of reason. However, a Darwinian view suggests that concepts must bestow an advantage, so the two go together.
15. Nature of Minds / B. Features of Minds / 4. Intentionality / b. Intentionality theories
Berkeley replaced intentionality with an anti-abstractionist imagist theory of thought [Berkeley, by Robinson,H]
     Full Idea: By Berkeley - with his anti-abstractionism and imagist theory of thought - the classical sense-datum conception was firmly established, and intentionality had disappeared as an intrinsic property, not only of perceptual states, but of all mental contents.
     From: report of George Berkeley (The Principles of Human Knowledge [1710]) by Howard Robinson - Perception 1.6
     A reaction: Intentionality was originally a medieval concept, and was revived by Brentano in the late nineteenth century. Nowadays intentionality is taken for granted, but I still suspect that we could drop it, and talk of nothing but brain states caused by reality.
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
The mind creates abstract ideas by considering qualities separated from their objects [Berkeley]
     Full Idea: We are told that the mind being able to consider each quality of things singly, or abstracted from those other qualities with which it is united, does by that means frame to itself abstract ideas.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §7)
     A reaction: A helpful explanation of 'abstract' ideas. Berkeley gives colour and movement as examples. Fodor suggests that abstraction is the key strategy in empiricist epistemology. The difficulty is to decide whether the qualities are natural or conventional.
I can only combine particulars in imagination; I can't create 'abstract' ideas [Berkeley]
     Full Idea: Whether others can abstract their ideas, they best can tell. For myself, I find I have a faculty of imagining, or representing to myself, only the idea of those particular things I have perceived, and of compounding and dividing them.
     From: George Berkeley (The Principles of Human Knowledge [1710], 10)
     A reaction: He is admitting mixing experiences, but always particulars, never abstract. His examples are 'man' and 'motion'. Compare Aristotle Idea 9067. Berkeley is, I think, trapped in a false imagistic view of thought. My image of Plato blurs young and old.
16. Persons / D. Continuity of the Self / 7. Self and Thinking
Ideas are perceived by the mind, soul or self [Berkeley]
     Full Idea: The thing which knows or perceives ideas is what I call mind, spirit, soul or myself.
     From: George Berkeley (The Principles of Human Knowledge [1710], §2)
     A reaction: The interest here is in making no distinction between 'mind' and 'self', which seems to ally Berkeley with Locke's view of personal identity, as continuity of consciousness. The addition of 'soul' tries to connect Locke to Christian thought.
17. Mind and Body / E. Mind as Physical / 5. Causal Argument
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.
18. Thought / C. Content / 2. Ideas
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.
19. Language / A. Nature of Meaning / 2. Meaning as Mental
Language is presumably for communication, and names stand for ideas [Berkeley]
     Full Idea: It is a received opinion that language has no other end but the communicating our ideas, and that every significant name stands for an idea.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §19)
     A reaction: This attitude to language has been widely discredited, partly by the observation that 'idea' is very ambiguous, and partly by the fans of meaning-as-use. Truth conditions seem to be ideas, and so are speaker's intentions.
19. Language / C. Assigning Meanings / 3. Predicates
Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo]
     Full Idea: The predicate 'is on the table' is 'distributive', since some things are on the table if each one is, whereas the predicate 'form a circle' is 'non-distributive', since it is not analytic that when some things form a circle, each one forms a circle.
     From: Øystein Linnebo (Plural Quantification [2008], 1.1)
     A reaction: The first predicate can have singular or plural subjects, but the second requires a plural subject? Hm. 'The rope forms a circle'. The second is example is not true, as well as not analytic.
19. Language / D. Propositions / 4. Mental Propositions
I can't really go wrong if I stick to wordless thought [Berkeley]
     Full Idea: So long as I confine my thoughts to my own ideas divested of words, I do not see how I can easily be mistaken.
     From: George Berkeley (The Principles of Human Knowledge [1710], Intro §22)
     A reaction: I think it was one of the great errors of twentieth century philosophy to say that Berkeley cannot do this, because thought needs language. Personally I think language lags along behind most our thinking, tidying up the mess. I believe in propositions.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / a. Preconditions for ethics
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.
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / a. Early Modern matter
No one can explain how matter affects mind, so matter is redundant in philosophy [Berkeley]
     Full Idea: How matter should operate on a spirit, or produce any idea in it, is what no philosopher will pretend to explain; it is therefore evident there can be no use of matter in natural philosophy.
     From: George Berkeley (The Principles of Human Knowledge [1710], §50)
     A reaction: An intriguing argument for idealism, which starts in Cartesian dualism, but then discards the physical world because of the notorious interaction problem. Of course, if he had thought that matter and spirit were one (Spinoza) the problem vanishes.
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
We discover natural behaviour by observing settled laws of nature, not necessary connections [Berkeley]
     Full Idea: That food nourishes, sleep refreshes, and fire warms us; all this we know, not by discovering any necessary connexion between our ideas, but only by the observation of the settled laws of nature.
     From: George Berkeley (The Principles of Human Knowledge [1710], §31)
     A reaction: Hume is famous for this idea, but it is found in Hobbes too (Idea 2364), and is the standard empiricist view of causation. The word 'settled' I take to imply that the laws are contingent, because they could become unsettled at any time.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
The laws of nature are mental regularities which we learn by experience [Berkeley]
     Full Idea: The set rules or established methods wherein the Mind we depend on excites in us the ideas of sense, are called the 'laws of nature'; and these we learn by experience, which teaches us that such and such ideas are attended with certain other ideas.
     From: George Berkeley (The Principles of Human Knowledge [1710], 33)
     A reaction: He observes that the ideas of sense are more regular than other mental events, and attributes the rules to an Author. He is giving the standard empirical Humean view, with his own quirky idealist slant.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
If properties and qualities arise from an inward essence, we will remain ignorant of nature [Berkeley]
     Full Idea: An inducement to pronouncing ourselves ignorant of the nature of things is the opinion that everything includes within itself the cause of its properties; or that there is in each object an inward essence which is the source whence its qualities flow.
     From: George Berkeley (The Principles of Human Knowledge [1710], §102)
     A reaction: This remains a good objection to essentialism - that while it remains quite a plausible picture of how nature operates, it makes the task of understanding nature hopeless. We can grasp imposed regular laws, but not secret inner essences.
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
All motion is relative, so a single body cannot move [Berkeley]
     Full Idea: There cannot be any motion other than relative; …if there was one only body in being it could not possibly move.
     From: George Berkeley (The Principles of Human Knowledge [1710], §112)
     A reaction: This seems to agree with with Leibniz in denying the Newton-Clarke idea of absolute space. See Idea 2100. Suppose there were two bodies racing towards one another, when one of them suddenly vanished?
27. Natural Reality / D. Time / 1. Nature of Time / c. Idealist time
I cannot imagine time apart from the flow of ideas in my mind [Berkeley]
     Full Idea: Whenever I attempt to frame a simple idea of time, abstracted from the succession of ideas in my mind, which flows uniformly and is participated in by all beings, I am lost and embrangled in inextricable difficulties.
     From: George Berkeley (The Principles of Human Knowledge [1710], §98)
     A reaction: 'Embrangled'! A nice statement of the idealist view of time, as entirely mental. I know what he means. However, surely he can manage to imagine a movement which continues when he shuts he eyes? Try blinking during a horse race.
28. God / B. Proving God / 1. Proof of God
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?
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.
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
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.
29. Religion / D. Religious Issues / 3. Problem of Evil / a. Problem of Evil
Particular evils are really good when linked to the whole system of beings [Berkeley]
     Full Idea: Those particular things which, considered in themselves, appear to be evil, have the nature of good, when considered as linked with the whole system of beings.
     From: George Berkeley (The Principles of Human Knowledge [1710], §153)
     A reaction: This wildly contradicts the rest of Berkeley's philosophy, which is strictly empiricist, and rests wholly on actual experience. What experience does he have of the 'whole system of beings', and its making evil into actual good?
29. Religion / D. Religious Issues / 3. Problem of Evil / b. Human Evil
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.
29. Religion / D. Religious Issues / 3. Problem of Evil / d. Natural Evil
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.