49 ideas
| 19648 | Since Kant we think we can only access 'correlations' between thinking and being [Meillassoux] |
| 19674 | The Copernican Revolution decentres the Earth, but also decentres thinking from reality [Meillassoux] |
| 19657 | In Kant the thing-in-itself is unknowable, but for us it has become unthinkable [Meillassoux] |
| 15970 | People generalise because it is easier to understand, and that is mistaken for deep philosophy [Feynman] |
| 19675 | Since Kant, philosophers have claimed to understand science better than scientists do [Meillassoux] |
| 19649 | Since Kant, objectivity is defined not by the object, but by the statement's potential universality [Meillassoux] |
| 19666 | If we insist on Sufficient Reason the world will always be a mystery to us [Meillassoux] |
| 19656 | Non-contradiction is unjustified, so it only reveals a fact about thinking, not about reality? [Meillassoux] |
| 19663 | We can allow contradictions in thought, but not inconsistency [Meillassoux] |
| 19664 | Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux] |
| 19665 | Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux] |
| 10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
| 10857 | Set theory made a closer study of infinity possible [Clegg] |
| 10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
| 10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
| 10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
| 10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
| 10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
| 10871 | Axiom of Existence: there exists at least one set [Clegg] |
| 10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| 10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
| 10860 | An ordinal number is defined by the set that comes before it [Clegg] |
| 10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
| 10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
| 10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
| 19677 | What is mathematically conceivable is absolutely possible [Meillassoux] |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| 10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
| 10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
| 19659 | The absolute is the impossibility of there being a necessary existent [Meillassoux] |
| 19662 | It is necessarily contingent that there is one thing rather than another - so something must exist [Meillassoux] |
| 19654 | We must give up the modern criterion of existence, which is a correlation between thought and being [Meillassoux] |
| 19660 | Possible non-being which must be realised is 'precariousness'; absolute contingency might never not-be [Meillassoux] |
| 19671 | The idea of chance relies on unalterable physical laws [Meillassoux] |
| 19651 | Unlike speculative idealism, transcendental idealism assumes the mind is embodied [Meillassoux] |
| 19647 | The aspects of objects that can be mathematical allow it to have objective properties [Meillassoux] |
| 19652 | How can we mathematically describe a world that lacks humans? [Meillassoux] |
| 19668 | Hume's question is whether experimental science will still be valid tomorrow [Meillassoux] |
| 19650 | The transcendental subject is not an entity, but a set of conditions making science possible [Meillassoux] |
| 9410 | Physical Laws are rhythms and patterns in nature, revealed by analysis [Feynman] |
| 19667 | If the laws of nature are contingent, shouldn't we already have noticed it? [Meillassoux] |
| 19670 | Why are contingent laws of nature stable? [Meillassoux] |
| 18530 | Nobody understands quantum mechanics [Feynman] |
| 17707 | We should regard space as made up of many tiny pieces [Feynman, by Mares] |
| 19653 | The ontological proof of a necessary God ensures a reality external to the mind [Meillassoux] |
| 19658 | Now that the absolute is unthinkable, even atheism is just another religious belief (though nihilist) [Meillassoux] |