Combining Philosophers

All the ideas for Hermarchus, Penelope Maddy and Michael Lockwood

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


82 ideas

1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
There is nothing so obvious that a philosopher cannot be found to deny it [Lockwood]
1. Philosophy / F. Analytic Philosophy / 3. Analysis of Preconditions
There may only be necessary and sufficient conditions (and counterfactuals) because we intervene in the world [Lockwood]
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
No one has ever succeeded in producing an acceptable non-trivial analysis of anything [Lockwood]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
If something is described in two different ways, is that two facts, or one fact presented in two ways? [Lockwood]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
'Forcing' can produce new models of ZFC from old models [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy]
New axioms are being sought, to determine the size of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
The Axiom of Extensionality seems to be analytic [Maddy]
Extensional sets are clearer, simpler, unique and expressive [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy]
The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy]
Infinite sets are essential for giving an account of the real numbers [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
Efforts to prove the Axiom of Choice have failed [Maddy]
Modern views say the Choice set exists, even if it can't be constructed [Maddy]
A large array of theorems depend on the Axiom of Choice [Maddy]
The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Axiom of Reducibility: propositional functions are extensionally predicative [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
The master science is physical objects divided into sets [Maddy]
Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Henkin semantics is more plausible for plural logic than for second-order logic [Maddy]
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
'Propositional functions' are propositions with a variable as subject or predicate [Maddy]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
If two mathematical themes coincide, that suggest a single deep truth [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Completed infinities resulted from giving foundations to calculus [Maddy]
Cantor and Dedekind brought completed infinities into mathematics [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Infinity has degrees, and large cardinals are the heart of set theory [Maddy]
For any cardinal there is always a larger one (so there is no set of all sets) [Maddy]
An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits
Theorems about limits could only be proved once the real numbers were understood [Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
The extension of concepts is not important to me [Maddy]
In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
Frege solves the Caesar problem by explicitly defining each number [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy]
Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy]
Numbers are properties of sets, just as lengths are properties of physical objects [Maddy]
A natural number is a property of sets [Maddy, by Oliver]
Making set theory foundational to mathematics leads to very fruitful axioms [Maddy]
Unified set theory gives a final court of appeal for mathematics [Maddy]
Set theory brings mathematics into one arena, where interrelations become clearer [Maddy]
Identifying geometric points with real numbers revealed the power of set theory [Maddy]
The line of rationals has gaps, but set theory provided an ordered continuum [Maddy]
Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy]
Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy]
Sets exist where their elements are, but numbers are more like universals [Maddy]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
If mathematical objects exist, how can we know them, and which objects are they? [Maddy]
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy]
Maybe applications of continuum mathematics are all idealisations [Maddy]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy]
7. Existence / D. Theories of Reality / 2. Realism
How does a direct realist distinguish a building from Buckingham Palace? [Lockwood]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy]
11. Knowledge Aims / A. Knowledge / 4. Belief / f. Animal beliefs
Dogs seem to have beliefs, and beliefs require concepts [Lockwood]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Empiricism is a theory of meaning as well as of knowledge [Lockwood]
12. Knowledge Sources / E. Direct Knowledge / 1. Common Sense
Commonsense realism must account for the similarity of genuine perceptions and known illusions [Lockwood]
15. Nature of Minds / A. Nature of Mind / 8. Brain
A 1988 estimate gave the brain 3 x 10-to-the-14 synaptic junctions [Lockwood]
15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind
How come unconscious states also cause behaviour? [Lockwood]
Could there be unconscious beliefs and desires? [Lockwood]
15. Nature of Minds / B. Features of Minds / 7. Blindsight
Fish may operate by blindsight [Lockwood]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy]
16. Persons / C. Self-Awareness / 1. Introspection
We might even learn some fundamental physics from introspection [Lockwood]
17. Mind and Body / A. Mind-Body Dualism / 3. Panpsychism
Can phenomenal qualities exist unsensed? [Lockwood]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
If mental events occur in time, then relativity says they are in space [Lockwood]
17. Mind and Body / B. Behaviourism / 4. Behaviourism Critique
Only logical positivists ever believed behaviourism [Lockwood]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
Identity theory likes the identity of lightning and electrical discharges [Lockwood]
18. Thought / B. Mechanics of Thought / 5. Mental Files
An identity statement aims at getting the hearer to merge two mental files [Lockwood]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Perhaps logical positivism showed that there is no dividing line between science and metaphysics [Lockwood]
25. Social Practice / F. Life Issues / 3. Abortion
I may exist before I become a person, just as I exist before I become an adult [Lockwood]
If the soul is held to leave the body at brain-death, it should arrive at the time of brain-creation [Lockwood]
It isn't obviously wicked to destroy a potential human being (e.g. an ununited egg and sperm) [Lockwood]
25. Social Practice / F. Life Issues / 6. Animal Rights
Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley]
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
Maybe causation is a form of rational explanation, not an observation or a state of mind [Lockwood]
27. Natural Reality / D. Time / 1. Nature of Time / b. Relative time
We have the confused idea that time is a process of change [Lockwood]