108 ideas
22309 | An idea can only be like another idea [Berkeley] |
15945 | Second-order set theory just adds a version of Replacement that quantifies over functions [Lavine] |
15914 | An 'upper bound' is the greatest member of a subset; there may be several of these, so there is a 'least' one [Lavine] |
15921 | Collections of things can't be too big, but collections by a rule seem unlimited in size [Lavine] |
15937 | Those who reject infinite collections also want to reject the Axiom of Choice [Lavine] |
15936 | The Power Set is just the collection of functions from one collection to another [Lavine] |
15899 | Replacement was immediately accepted, despite having very few implications [Lavine] |
15930 | Foundation says descending chains are of finite length, blocking circularity, or ungrounded sets [Lavine] |
15920 | Pure collections of things obey Choice, but collections defined by a rule may not [Lavine] |
15898 | The controversy was not about the Axiom of Choice, but about functions as arbitrary, or given by rules [Lavine] |
15919 | The 'logical' notion of class has some kind of definition or rule to characterise the class [Lavine] |
15900 | The iterative conception of set wasn't suggested until 1947 [Lavine] |
15931 | The iterative conception needs the Axiom of Infinity, to show how far we can iterate [Lavine] |
15932 | The iterative conception doesn't unify the axioms, and has had little impact on mathematical proofs [Lavine] |
15933 | Limitation of Size: if it's the same size as a set, it's a set; it uses Replacement [Lavine] |
15913 | A collection is 'well-ordered' if there is a least element, and all of its successors can be identified [Lavine] |
15926 | Second-order logic presupposes a set of relations already fixed by the first-order domain [Lavine] |
15934 | Mathematical proof by contradiction needs the law of excluded middle [Lavine] |
15907 | Mathematics is nowadays (thanks to set theory) regarded as the study of structure, not of quantity [Lavine] |
15942 | Every rational number, unlike every natural number, is divisible by some other number [Lavine] |
15922 | For the real numbers to form a set, we need the Continuum Hypothesis to be true [Lavine] |
18250 | Cauchy gave a necessary condition for the convergence of a sequence [Lavine] |
15904 | The two sides of the Cut are, roughly, the bounding commensurable ratios [Lavine] |
15912 | Counting results in well-ordering, and well-ordering makes counting possible [Lavine] |
15949 | The theory of infinity must rest on our inability to distinguish between very large sizes [Lavine] |
15947 | The infinite is extrapolation from the experience of indefinitely large size [Lavine] |
15940 | The intuitionist endorses only the potential infinite [Lavine] |
15909 | 'Aleph-0' is cardinality of the naturals, 'aleph-1' the next cardinal, 'aleph-ω' the ω-th cardinal [Lavine] |
15915 | Ordinals are basic to Cantor's transfinite, to count the sets [Lavine] |
15917 | Paradox: the class of all ordinals is well-ordered, so must have an ordinal as type - giving a bigger ordinal [Lavine] |
15918 | Paradox: there is no largest cardinal, but the class of everything seems to be the largest [Lavine] |
18091 | Infinitesimals are ghosts of departed quantities [Berkeley] |
15929 | Set theory will found all of mathematics - except for the notion of proof [Lavine] |
15935 | Modern mathematics works up to isomorphism, and doesn't care what things 'really are' [Lavine] |
15928 | Intuitionism rejects set-theory to found mathematics [Lavine] |
6717 | Abstract ideas are impossible [Berkeley] |
3942 | I do not believe in the existence of anything, if I see no reason to believe it [Berkeley] |
3952 | I know that nothing inconsistent can exist [Berkeley] |
18876 | Berkeley does believe in trees, but is confused about what trees are [Berkeley, by Cameron] |
6715 | Universals do not have single meaning, but attach to many different particulars [Berkeley] |
6719 | No one will think of abstractions if they only have particular ideas [Berkeley] |
6714 | Universals do not have any intrinsic properties, but only relations to particulars [Berkeley] |
6729 | Material substance is just general existence which can have properties [Berkeley] |
3959 | There is no other substance, in a strict sense, than spirit [Berkeley] |
16636 | A die has no distinct subject, but is merely a name for its modes or accidents [Berkeley] |
3946 | A thing is shown to be impossible if a contradiction is demonstrated within its definition [Berkeley] |
19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
3958 | Since our ideas vary when the real things are said to be unchanged, they cannot be true copies [Berkeley] |
3943 | If existence is perceived directly, by which sense; if indirectly, how is it inferred from direct perception? [Berkeley] |
3931 | Sensible objects are just sets of sensible qualities [Berkeley] |
6722 | Perception is existence for my table, but also possible perception, by me or a spirit [Berkeley] |
5192 | Berkeley did not deny material things; he merely said they must be defined through sensations [Berkeley, by Ayer] |
5174 | Berkeley needed a phenomenalist account of the self, as well as of material things [Ayer on Berkeley] |
6724 | The only substance is spirit, or that which perceives [Berkeley] |
6723 | The 'esse' of objects is 'percipi', and they can only exist in minds [Berkeley] |
6732 | When I shut my eyes, the things I saw may still exist, but in another mind [Berkeley] |
1103 | 'To be is to be perceived' is a simple confusion of experience with its objects [Russell on Berkeley] |
6403 | For Berkelely, reality is ideas and a community of minds, including God's [Berkeley, by Grayling] |
3936 | Time is measured by the succession of ideas in our minds [Berkeley] |
3930 | There is no such thing as 'material substance' [Berkeley] |
3939 | I conceive a tree in my mind, but I cannot prove that its existence can be conceived outside a mind [Berkeley] |
3945 | There is nothing in nature which needs the concept of matter to explain it [Berkeley] |
3947 | Perceptions are ideas, and ideas exist in the mind, so objects only exist in the mind [Berkeley] |
3933 | Primary qualities (such as shape, solidity, mass) are held to really exist, unlike secondary qualities [Berkeley] |
6726 | No one can, by abstraction, conceive extension and motion of bodies without sensible qualities [Berkeley] |
6728 | Motion is in the mind, since swifter ideas produce an appearance of slower motion [Berkeley] |
6727 | Figure and extension seem just as dependent on the observer as heat and cold [Berkeley] |
3934 | A mite would see its own foot as large, though we would see it as tiny [Berkeley] |
3935 | The apparent size of an object varies with its distance away, so that can't be a property of the object [Berkeley] |
3937 | 'Solidity' is either not a sensible quality at all, or it is clearly relative to our senses [Berkeley] |
3940 | Distance is not directly perceived by sight [Berkeley] |
6495 | Berkeley's idealism resulted from fear of scepticism in representative realism [Robinson,H on Berkeley] |
3957 | Immediate objects of perception, which some treat as appearances, I treat as the real things themselves [Berkeley] |
6720 | Knowledge is of ideas from senses, or ideas of the mind, or operations on sensations [Berkeley] |
3953 | Real things and imaginary or dreamed things differ because the latter are much fainter [Berkeley] |
3938 | Geometry is originally perceived by senses, and so is not purely intellectual [Berkeley] |
19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
3944 | It is possible that we could perceive everything as we do now, but nothing actually existed. [Berkeley] |
3932 | A hot hand and a cold hand will have different experiences in the same tepid water [Berkeley] |
23636 | Berkeley's idealism gives no grounds for believing in other minds [Reid on Berkeley] |
6736 | I know other minds by ideas which are referred by me to other agents, as their effects [Berkeley] |
3948 | Experience tells me that other minds exist independently from my own [Berkeley] |
6713 | If animals have ideas, and are not machines, they must have some reason [Berkeley] |
6491 | Berkeley replaced intentionality with an anti-abstractionist imagist theory of thought [Berkeley, by Robinson,H] |
6711 | The mind creates abstract ideas by considering qualities separated from their objects [Berkeley] |
10581 | I can only combine particulars in imagination; I can't create 'abstract' ideas [Berkeley] |
6721 | Ideas are perceived by the mind, soul or self [Berkeley] |
3941 | How can that which is unthinking be a cause of thought? [Berkeley] |
5374 | Berkeley probably used 'idea' to mean both the act of apprehension and the thing apprehended [Russell on Berkeley] |
6716 | Language is presumably for communication, and names stand for ideas [Berkeley] |
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
6718 | I can't really go wrong if I stick to wordless thought [Berkeley] |
3954 | Immorality is not in the action, but in the deviation of the will from moral law [Berkeley] |
6731 | No one can explain how matter affects mind, so matter is redundant in philosophy [Berkeley] |
6730 | We discover natural behaviour by observing settled laws of nature, not necessary connections [Berkeley] |
15861 | The laws of nature are mental regularities which we learn by experience [Berkeley] |
6734 | If properties and qualities arise from an inward essence, we will remain ignorant of nature [Berkeley] |
6735 | All motion is relative, so a single body cannot move [Berkeley] |
6733 | I cannot imagine time apart from the flow of ideas in my mind [Berkeley] |
3950 | There must be a God, because all sensible things must be perceived by him [Berkeley] |
3951 | There must be a God, because I and my ideas are not independent [Berkeley] |
3949 | It has been proved that creation is the workmanship of God, from its beauty and usefulness [Berkeley] |
6737 | Particular evils are really good when linked to the whole system of beings [Berkeley] |
3956 | People are responsible because they have limited power, though this ultimately derives from God [Berkeley] |
3955 | If sin is not just physical, we don't consider God the origin of sin because he causes physical events [Berkeley] |