Combining Philosophers

All the ideas for Anaxarchus, Mark Colyvan and Rita Carter

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


41 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Rejecting double negation elimination undermines reductio proofs [Colyvan]
Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
Axioms are 'categorical' if all of their models are isomorphic [Colyvan]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
Ordinal numbers represent order relations [Colyvan]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Intuitionists only accept a few safe infinities [Colyvan]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / j. Infinite divisibility
Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
Transfinite induction moves from all cases, up to the limit ordinal [Colyvan]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Most mathematical proofs are using set theory, but without saying so [Colyvan]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan]
7. Existence / E. Categories / 2. Categorisation
Brain lesions can erase whole categories of perception, suggesting they are hard-wired [Carter,R]
12. Knowledge Sources / B. Perception / 5. Interpretation
Sense organs don't discriminate; they reduce various inputs to the same electrical pulses [Carter,R]
The recognition sequence is: classify, name, locate, associate, feel [Carter,R, by PG]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
There seems to be no dividing line between a memory and a thought [Carter,R]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]
14. Science / C. Induction / 6. Bayes's Theorem
Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan]
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Mathematics can reveal structural similarities in diverse systems [Colyvan]
14. Science / D. Explanation / 2. Types of Explanation / f. Necessity in explanations
Mathematics can show why some surprising events have to occur [Colyvan]
14. Science / D. Explanation / 2. Types of Explanation / m. Explanation by proof
Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan]
Reductio proofs do not seem to be very explanatory [Colyvan]
If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan]
Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan]
15. Nature of Minds / A. Nature of Mind / 7. Animal Minds
No one knows if animals are conscious [Carter,R]
15. Nature of Minds / A. Nature of Mind / 8. Brain
Pain doesn't have one brain location, but is linked to attention and emotion [Carter,R]
Proper brains appear at seven weeks, and neonates have as many neurons as adults do [Carter,R]
In primates, brain size correlates closely with size of social group [Carter,R]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / c. Parts of consciousness
Consciousness involves awareness, perception, self-awareness, attention and reflection [Carter,R]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
There is enormous evidence that consciousness arises in the frontal lobes of the brain [Carter,R]
15. Nature of Minds / B. Features of Minds / 5. Qualia / a. Nature of qualia
Normal babies seem to have overlapping sense experiences [Carter,R]
15. Nature of Minds / B. Features of Minds / 7. Blindsight
In blindsight V1 (normal vision) is inactive, but V5 (movement) lights up [Carter,R]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
Out-of-body experiences may be due to temporary loss of proprioception [Carter,R]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
Scans of brains doing similar tasks produce very similar patterns of activation [Carter,R]
Thinking takes place on the upper side of the prefrontal cortex [Carter,R]
18. Thought / A. Modes of Thought / 3. Emotions / a. Nature of emotions
Babies show highly emotional brain events, but may well be unaware of them [Carter,R]
18. Thought / A. Modes of Thought / 3. Emotions / g. Controlling emotions
The only way we can control our emotions is by manipulating the outside world that influences them [Carter,R]
18. Thought / A. Modes of Thought / 5. Rationality / c. Animal rationality
A frog will starve to death surrounded by dead flies [Carter,R]
22. Metaethics / C. The Good / 3. Pleasure / d. Sources of pleasure
The 'locus coeruleus' is one of several candidates for the brain's 'pleasure centre' [Carter,R]