Combining Philosophers

All the ideas for J Hoffman/G Rosenkrantz, George Cantor and George Berkeley

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


122 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor
Entities can be multiplied either by excessive categories, or excessive entities within a category [Hoffman/Rosenkrantz]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
An idea can only be like another idea [Berkeley]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Trying to represent curves, we study arbitrary functions, leading to the ordinals, which produces set theory [Cantor, by Lavine]
Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine]
A set is a collection into a whole of distinct objects of our intuition or thought [Cantor]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / c. Basic theorems of ST
Cantor's Theorem: for any set x, its power set P(x) has more members than x [Cantor, by Hart,WD]
Cantor proved that all sets have more subsets than they have members [Cantor, by Bostock]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
If a set is 'a many thought of as one', beginners should protest against singleton sets [Cantor, by Lewis]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets
Cantor showed that supposed contradictions in infinity were just a lack of clarity [Cantor, by Potter]
The continuum is the powerset of the integers, which moves up a level [Cantor, by Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
The Axiom of Union dates from 1899, and seems fairly obvious [Cantor, by Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / b. Combinatorial sets
Cantor's sets were just collections, but Dedekind's were containers [Cantor, by Oliver/Smiley]
5. Theory of Logic / K. Features of Logics / 8. Enumerability
There are infinite sets that are not enumerable [Cantor, by Smith,P]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / b. Cantor's paradox
Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / e. Mirimanoff's paradox
The powerset of all the cardinal numbers is required to be greater than itself [Cantor, by Friend]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Cantor named the third realm between the finite and the Absolute the 'transfinite' [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Cantor proved the points on a plane are in one-to-one correspondence to the points on a line [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
Cantor took the ordinal numbers to be primary [Cantor, by Tait]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
Cantor presented the totality of natural numbers as finite, not infinite [Cantor, by Mayberry]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
Cantor introduced the distinction between cardinals and ordinals [Cantor, by Tait]
Cantor showed that ordinals are more basic than cardinals [Cantor, by Dummett]
Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
A cardinal is an abstraction, from the nature of a set's elements, and from their order [Cantor]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Cantor tried to prove points on a line matched naturals or reals - but nothing in between [Cantor, by Lavine]
Cantor's diagonal argument proved you can't list all decimal numbers between 0 and 1 [Cantor, by Read]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
A real is associated with an infinite set of infinite Cauchy sequences of rationals [Cantor, by Lavine]
Irrational numbers are the limits of Cauchy sequences of rational numbers [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Irrationals and the Dedekind Cut implied infinite classes, but they seemed to have logical difficulties [Cantor, by Lavine]
It was Cantor's diagonal argument which revealed infinities greater than that of the real numbers [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Cantor proposes that there won't be a potential infinity if there is no actual infinity [Cantor, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
The naturals won't map onto the reals, so there are different sizes of infinity [Cantor, by George/Velleman]
Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
CH: An infinite set of reals corresponds 1-1 either to the naturals or to the reals [Cantor, by Koellner]
Cantor: there is no size between naturals and reals, or between a set and its power set [Cantor, by Hart,WD]
Cantor's Continuum Hypothesis says there is a gap between the natural and the real numbers [Cantor, by Horsten]
Continuum Hypothesis: there are no sets between N and P(N) [Cantor, by Wolf,RS]
Continuum Hypothesis: no cardinal greater than aleph-null but less than cardinality of the continuum [Cantor, by Chihara]
The Continuum Hypothesis says there are no sets between the natural numbers and reals [Cantor, by Shapiro]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity
Cantor extended ordinals into the transfinite, and they can thus measure infinite cardinalities [Cantor, by Maddy]
Cantor's theory concerns collections which can be counted, using the ordinals [Cantor, by Lavine]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Cardinality strictly concerns one-one correspondence, to test infinite sameness of size [Cantor, by Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
Infinitesimals are ghosts of departed quantities [Berkeley]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
The 'extension of a concept' in general may be quantitatively completely indeterminate [Cantor]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
Property extensions outstrip objects, so shortage of objects caused the Caesar problem [Cantor, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Pure mathematics is pure set theory [Cantor]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Cantor says that maths originates only by abstraction from objects [Cantor, by Frege]
7. Existence / A. Nature of Existence / 4. Abstract Existence
Abstract ideas are impossible [Berkeley]
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]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
I know that nothing inconsistent can exist [Berkeley]
7. Existence / D. Theories of Reality / 4. Anti-realism
Berkeley does believe in trees, but is confused about what trees are [Berkeley, by Cameron]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
'There are shapes which are never exemplified' is the toughest example for nominalists [Hoffman/Rosenkrantz]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Nominalists are motivated by Ockham's Razor and a distrust of unobservables [Hoffman/Rosenkrantz]
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]
No one will think of abstractions if they only have particular ideas [Berkeley]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
Universals do not have any intrinsic properties, but only relations to particulars [Berkeley]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Material substance is just general existence which can have properties [Berkeley]
There is no other substance, in a strict sense, than spirit [Berkeley]
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]
10. Modality / A. Necessity / 10. Impossibility
A thing is shown to be impossible if a contradiction is demonstrated within its definition [Berkeley]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Four theories of possible worlds: conceptualist, combinatorial, abstract, or concrete [Hoffman/Rosenkrantz]
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]
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]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
Sensible objects are just sets of sensible qualities [Berkeley]
Perception is existence for my table, but also possible perception, by me or a spirit [Berkeley]
Berkeley did not deny material things; he merely said they must be defined through sensations [Berkeley, by Ayer]
Berkeley needed a phenomenalist account of the self, as well as of material things [Ayer on Berkeley]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / c. Empirical idealism
The only substance is spirit, or that which perceives [Berkeley]
The 'esse' of objects is 'percipi', and they can only exist in minds [Berkeley]
When I shut my eyes, the things I saw may still exist, but in another mind [Berkeley]
'To be is to be perceived' is a simple confusion of experience with its objects [Russell on Berkeley]
For Berkelely, reality is ideas and a community of minds, including God's [Berkeley, by Grayling]
Time is measured by the succession of ideas in our minds [Berkeley]
There is no such thing as 'material substance' [Berkeley]
I conceive a tree in my mind, but I cannot prove that its existence can be conceived outside a mind [Berkeley]
There is nothing in nature which needs the concept of matter to explain it [Berkeley]
Perceptions are ideas, and ideas exist in the mind, so objects only exist in the mind [Berkeley]
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]
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]
Motion is in the mind, since swifter ideas produce an appearance of slower motion [Berkeley]
Figure and extension seem just as dependent on the observer as heat and cold [Berkeley]
A mite would see its own foot as large, though we would see it as tiny [Berkeley]
The apparent size of an object varies with its distance away, so that can't be a property of the object [Berkeley]
'Solidity' is either not a sensible quality at all, or it is clearly relative to our senses [Berkeley]
Distance is not directly perceived by sight [Berkeley]
12. Knowledge Sources / B. Perception / 3. Representation
Berkeley's idealism resulted from fear of scepticism in representative realism [Robinson,H on Berkeley]
Immediate objects of perception, which some treat as appearances, I treat as the real things themselves [Berkeley]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Knowledge is of ideas from senses, or ideas of the mind, or operations on sensations [Berkeley]
Real things and imaginary or dreamed things differ because the latter are much fainter [Berkeley]
12. Knowledge Sources / D. Empiricism / 4. Pro-Empiricism
Geometry is originally perceived by senses, and so is not purely intellectual [Berkeley]
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]
13. Knowledge Criteria / E. Relativism / 3. Subjectivism
A hot hand and a cold hand will have different experiences in the same tepid water [Berkeley]
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]
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]
Experience tells me that other minds exist independently from my own [Berkeley]
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]
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]
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]
I can only combine particulars in imagination; I can't create 'abstract' ideas [Berkeley]
16. Persons / D. Continuity of the Self / 7. Self and Thinking
Ideas are perceived by the mind, soul or self [Berkeley]
17. Mind and Body / E. Mind as Physical / 5. Causal Argument
How can that which is unthinking be a cause of thought? [Berkeley]
18. Thought / C. Content / 2. Ideas
Berkeley probably used 'idea' to mean both the act of apprehension and the thing apprehended [Russell on Berkeley]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Infinities expand the bounds of the conceivable; we explore concepts to explore conceivability [Cantor, by Friend]
18. Thought / E. Abstraction / 2. Abstracta by Selection
Cantor says (vaguely) that we abstract numbers from equal sized sets [Hart,WD on Cantor]
We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor]
19. Language / A. Nature of Meaning / 2. Meaning as Mental
Language is presumably for communication, and names stand for ideas [Berkeley]
19. Language / D. Propositions / 4. Mental Propositions
I can't really go wrong if I stick to wordless thought [Berkeley]
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]
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]
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]
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]
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]
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
All motion is relative, so a single body cannot move [Berkeley]
27. Natural Reality / C. Space / 3. Points in Space
Cantor proved that three dimensions have the same number of points as one dimension [Cantor, by Clegg]
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]
28. God / A. Divine Nature / 2. Divine Nature
Only God is absolutely infinite [Cantor, by Hart,WD]
28. God / B. Proving God / 1. Proof of God
There must be a God, because all sensible things must be perceived by him [Berkeley]
There must be a God, because I and my ideas are not independent [Berkeley]
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]
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]
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]
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]