Combining Texts

All the ideas for 'After Finitude', 'Frege's Theory of Numbers' and 'Set Theory and Its Philosophy'

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


40 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
Since Kant we think we can only access 'correlations' between thinking and being [Meillassoux]
The Copernican Revolution decentres the Earth, but also decentres thinking from reality [Meillassoux]
1. Philosophy / B. History of Ideas / 6. Twentieth Century Thought
In Kant the thing-in-itself is unknowable, but for us it has become unthinkable [Meillassoux]
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Since Kant, philosophers have claimed to understand science better than scientists do [Meillassoux]
2. Reason / A. Nature of Reason / 5. Objectivity
Since Kant, objectivity is defined not by the object, but by the statement's potential universality [Meillassoux]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
If we insist on Sufficient Reason the world will always be a mystery to us [Meillassoux]
2. Reason / B. Laws of Thought / 3. Non-Contradiction
Non-contradiction is unjustified, so it only reveals a fact about thinking, not about reality? [Meillassoux]
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
We can allow contradictions in thought, but not inconsistency [Meillassoux]
Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux]
Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
Usually the only reason given for accepting the empty set is convenience [Potter]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: There is at least one limit level [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
Nowadays we derive our conception of collections from the dependence between them [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology elides the distinction between the cards in a pack and the suits [Potter]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
We can formalize second-order formation rules, but not inference rules [Potter]
5. Theory of Logic / H. Proof Systems / 3. Proof from Assumptions
Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]
If set theory didn't found mathematics, it is still needed to count infinite sets [Potter]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
What is mathematically conceivable is absolutely possible [Meillassoux]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter]
7. Existence / A. Nature of Existence / 1. Nature of Existence
The absolute is the impossibility of there being a necessary existent [Meillassoux]
7. Existence / A. Nature of Existence / 5. Reason for Existence
It is necessarily contingent that there is one thing rather than another - so something must exist [Meillassoux]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
We must give up the modern criterion of existence, which is a correlation between thought and being [Meillassoux]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A relation is a set consisting entirely of ordered pairs [Potter]
9. Objects / B. Unity of Objects / 2. Substance / b. Need for substance
If dependence is well-founded, with no infinite backward chains, this implies substances [Potter]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
Collections have fixed members, but fusions can be carved in innumerable ways [Potter]
10. Modality / A. Necessity / 1. Types of Modality
Priority is a modality, arising from collections and members [Potter]
10. Modality / B. Possibility / 5. Contingency
Possible non-being which must be realised is 'precariousness'; absolute contingency might never not-be [Meillassoux]
10. Modality / B. Possibility / 7. Chance
The idea of chance relies on unalterable physical laws [Meillassoux]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Unlike speculative idealism, transcendental idealism assumes the mind is embodied [Meillassoux]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / c. Primary qualities
The aspects of objects that can be mathematical allow it to have objective properties [Meillassoux]
14. Science / B. Scientific Theories / 1. Scientific Theory
How can we mathematically describe a world that lacks humans? [Meillassoux]
14. Science / C. Induction / 3. Limits of Induction
Hume's question is whether experimental science will still be valid tomorrow [Meillassoux]
16. Persons / B. Nature of the Self / 4. Presupposition of Self
The transcendental subject is not an entity, but a set of conditions making science possible [Meillassoux]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / b. Scientific necessity
If the laws of nature are contingent, shouldn't we already have noticed it? [Meillassoux]
Why are contingent laws of nature stable? [Meillassoux]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
The ontological proof of a necessary God ensures a reality external to the mind [Meillassoux]
28. God / C. Attitudes to God / 5. Atheism
Now that the absolute is unthinkable, even atheism is just another religious belief (though nihilist) [Meillassoux]