Combining Philosophers

All the ideas for B Hale / C Wright, Anthony Quinton and James Robert Brown

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


62 ideas

2. Reason / D. Definition / 2. Aims of Definition
Definitions should be replaceable by primitives, and should not be creative [Brown,JR]
2. Reason / F. Fallacies / 1. Fallacy
It is a fallacy to explain the obscure with the even more obscure [Hale/Wright]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets
Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
Naïve set theory assumed that there is a set for every condition [Brown,JR]
Nowadays conditions are only defined on existing sets [Brown,JR]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The 'iterative' view says sets start with the empty set and build up [Brown,JR]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
A flock of birds is not a set, because a set cannot go anywhere [Brown,JR]
A class is natural when everybody can spot further members of it [Quinton]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
If a proposition is false, then its negation is true [Brown,JR]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Singular terms refer if they make certain atomic statements true [Hale/Wright]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / c. Berry's paradox
Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / c. Grelling's paradox
If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematics is the only place where we are sure we are right [Brown,JR]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / n. Pi
π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Mathematics represents the world through structurally similar models. [Brown,JR]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
There is no limit to how many ways something can be proved in mathematics [Brown,JR]
Computers played an essential role in proving the four-colour theorem of maps [Brown,JR]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Set theory may represent all of mathematics, without actually being mathematics [Brown,JR]
When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
To see a structure in something, we must already have the idea of the structure [Brown,JR]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
If structures are relative, this undermines truth-value and objectivity [Hale/Wright]
The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright]
Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
The irrationality of root-2 was achieved by intellect, not experience [Brown,JR]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
There is an infinity of mathematical objects, so they can't be physical [Brown,JR]
Numbers are not abstracted from particulars, because each number is a particular [Brown,JR]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
Empiricists base numbers on objects, Platonists base them on properties [Brown,JR]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright]
Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright]
Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
For nomalists there are no numbers, only numerals [Brown,JR]
Does some mathematics depend entirely on notation? [Brown,JR]
The most brilliant formalist was Hilbert [Brown,JR]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
There are no constructions for many highly desirable results in mathematics [Brown,JR]
Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
David's 'Napoleon' is about something concrete and something abstract [Brown,JR]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
7. Existence / E. Categories / 5. Category Anti-Realism
Extreme nominalists say all classification is arbitrary convention [Quinton]
8. Modes of Existence / B. Properties / 3. Types of Properties
Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright]
8. Modes of Existence / B. Properties / 5. Natural Properties
The naturalness of a class depends as much on the observers as on the objects [Quinton]
Properties imply natural classes which can be picked out by everybody [Quinton]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
Uninstantiated properties must be defined using the instantiated ones [Quinton]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
Objects just are what singular terms refer to [Hale/Wright]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
An individual is a union of a group of qualities and a position [Quinton, by Campbell,K]
18. Thought / E. Abstraction / 1. Abstract Thought
'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR]
The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright]
One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright]
Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright]
Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright]
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR]
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
Reference needs truth as well as sense [Hale/Wright]
19. Language / E. Analyticity / 2. Analytic Truths
Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR]