Combining Texts

All the ideas for 'Externalism', 'Constructibility and Mathematical Existence' and 'After Finitude'

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


45 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]
1. Philosophy / H. Continental Philosophy / 4. Linguistic Structuralism
Structuralism is neo-Kantian idealism, with language playing the role of categories of understanding [Rowlands]
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 / 8. Critique of Set Theory
We could talk of open sentences, instead of sets [Chihara, by Shapiro]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
If bivalence is rejected, then excluded middle must also be rejected [Rowlands]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
What is mathematically conceivable is absolutely possible [Meillassoux]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
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]
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
Supervenience is a one-way relation of dependence or determination between properties [Rowlands]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
It is argued that wholes possess modal and counterfactual properties that parts lack [Rowlands]
9. Objects / F. Identity among Objects / 4. Type Identity
Tokens are dated, concrete particulars; types are their general properties or kinds [Rowlands]
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 / a. Idealism
Strong idealism is the sort of mess produced by a Cartesian separation of mind and world [Rowlands]
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]
15. Nature of Minds / A. Nature of Mind / 1. Mind / c. Features of mind
Minds are rational, conscious, subjective, self-knowing, free, meaningful and self-aware [Rowlands]
15. Nature of Minds / A. Nature of Mind / 6. Anti-Individualism
Content externalism implies that we do not have privileged access to our own minds [Rowlands]
If someone is secretly transported to Twin Earth, others know their thoughts better than they do [Rowlands]
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]
17. Mind and Body / D. Property Dualism / 5. Supervenience of mind
Supervenience of mental and physical properties often comes with token-identity of mental and physical particulars [Rowlands]
18. Thought / C. Content / 1. Content
The content of a thought is just the meaning of a sentence [Rowlands]
20. Action / A. Definition of Action / 4. Action as Movement
Action is bodily movement caused by intentional states [Rowlands]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Moral intuition seems unevenly distributed between people [Rowlands]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
The 17th century reintroduced atoms as mathematical modes of Euclidean space [Rowlands]
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
Natural kinds are defined by their real essence, as in gold having atomic number 79 [Rowlands]
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]
27. Natural Reality / G. Biology / 4. Ecology
It is common to see the value of nature in one feature, such as life, diversity, or integrity [Rowlands]
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]