Combining Texts

All the ideas for 'Infinity: Quest to Think the Unthinkable', 'Concluding Unscientific Postscript' and 'Word and Object'

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


64 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
I conceived it my task to create difficulties everywhere [Kierkegaard]
1. Philosophy / D. Nature of Philosophy / 8. Humour
Wherever there is painless contradiction there is also comedy [Kierkegaard]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Quine's naturalistic and empirical view is based entirely on first-order logic and set theory [Quine, by Mautner]
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
Enquiry needs a conceptual scheme, so we should retain the best available [Quine]
3. Truth / A. Truth Problems / 2. Defining Truth
Kierkegaard's truth draws on authenticity, fidelity and honesty [Kierkegaard, by Carlisle]
3. Truth / A. Truth Problems / 3. Value of Truth
Pure truth is for infinite beings only; I prefer endless striving for truth [Kierkegaard]
3. Truth / A. Truth Problems / 8. Subjective Truth
The highest truth we can get is uncertainty held fast by an inward passion [Kierkegaard]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
A set is 'well-ordered' if every subset has a first element [Clegg]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / d. Infinite Sets
Set theory made a closer study of infinity possible [Clegg]
Any set can always generate a larger set - its powerset, of subsets [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
Extensionality: Two sets are equal if and only if they have the same elements [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Pairing: For any two sets there exists a set to which they both belong [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: There exists a set of the empty set and the successor of each element [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
Powers: All the subsets of a given set form their own new powerset [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence
Axiom of Existence: there exists at least one set [Clegg]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / l. Axiom of Specification
Specification: a condition applied to a set will always produce a new set [Clegg]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Plurals can in principle be paraphrased away altogether [Quine]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
Any progression will do nicely for numbers; they can all then be used to measure multiplicity [Quine]
Beyond infinity cardinals and ordinals can come apart [Clegg]
An ordinal number is defined by the set that comes before it [Clegg]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Transcendental numbers can't be fitted to finite equations [Clegg]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / k. Imaginary numbers
By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / l. Zero
Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
The Continuum Hypothesis is independent of the axioms of set theory [Clegg]
The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Nearly all of mathematics has to quantify over abstract objects [Quine]
7. Existence / E. Categories / 4. Category Realism
The quest for ultimate categories is the quest for a simple clear pattern of notation [Quine]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / a. Dispositions
Either dispositions rest on structures, or we keep saying 'all things being equal' [Quine]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / d. Dispositions as occurrent
Explain unmanifested dispositions as structural similarities to objects which have manifested them [Quine, by Martin,CB]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
Quine aims to deal with properties by the use of eternal open sentences, or classes [Quine, by Devitt]
9. Objects / A. Existence of Objects / 1. Physical Objects
Physical objects in space-time are just events or processes, no matter how disconnected [Quine]
The notion of a physical object is by far the most useful one for science [Quine]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Mathematicians must be rational but not two-legged, cyclists the opposite. So a mathematical cyclist? [Quine]
Cyclist are not actually essentially two-legged [Brody on Quine]
9. Objects / F. Identity among Objects / 2. Defining Identity
We can paraphrase 'x=y' as a sequence of the form 'if Fx then Fy' [Quine]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Normal conditionals have a truth-value gap when the antecedent is false. [Quine]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Conditionals are pointless if the truth value of the antecedent is known [Quine]
10. Modality / B. Possibility / 9. Counterfactuals
We feign belief in counterfactual antecedents, and assess how convincing the consequent is [Quine]
Counterfactuals are plausible when dispositions are involved, as they imply structures [Quine]
What stays the same in assessing a counterfactual antecedent depends on context [Quine]
Counterfactuals have no place in a strict account of science [Quine]
14. Science / B. Scientific Theories / 1. Scientific Theory
Two theories can be internally consistent and match all the facts, yet be inconsistent with one another [Quine, by Baggini /Fosl]
16. Persons / B. Nature of the Self / 2. Ethical Self
The real subject is ethical, not cognitive [Kierkegaard]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
Quine expresses the instrumental version of eliminativism [Quine, by Rey]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
Indeterminacy of translation also implies indeterminacy in interpreting people's mental states [Dennett on Quine]
The firmer the links between sentences and stimuli, the less translations can diverge [Quine]
We can never precisely pin down how to translate the native word 'Gavagai' [Quine]
Stimulus synonymy of 'Gavagai' and 'Rabbit' does not even guarantee they are coextensive [Quine]
Dispositions to speech behaviour, and actual speech, are never enough to fix any one translation [Quine]
19. Language / F. Communication / 6. Interpreting Language / c. Principle of charity
We should be suspicious of a translation which implies that a people have very strange beliefs [Quine]
Weird translations are always possible, but they improve if we impose our own logic on them [Quine]
23. Ethics / F. Existentialism / 1. Existentialism
While big metaphysics is complete without ethics, personal philosophy emphasises ethics [Kierkegaard]
Speculative philosophy loses the individual in a vast vision of humanity [Kierkegaard]
23. Ethics / F. Existentialism / 6. Authentic Self
People want to lose themselves in movements and history, instead of being individuals [Kierkegaard]
Becoming what one is is a huge difficulty, because we strongly aspire to be something else [Kierkegaard]
28. God / A. Divine Nature / 2. Divine Nature
God does not think or exist; God creates, and is eternal [Kierkegaard]
28. God / B. Proving God / 3. Proofs of Evidence / d. Religious Experience
God cannot be demonstrated objectively, because God is a subject, only existing inwardly [Kierkegaard]
28. God / C. Attitudes to God / 2. Pantheism
Pantheism destroys the distinction between good and evil [Kierkegaard]
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
Faith is the highest passion in the sphere of human subjectivity [Kierkegaard]
Without risk there is no faith [Kierkegaard]