37 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] |
| 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] |
| 14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
| 14240 | The empty set is something, not nothing! [Oliver/Smiley] |
| 14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
| 14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
| 14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |
| 14234 | If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley] |
| 14237 | We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley] |
| 14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |
| 19677 | What is mathematically conceivable is absolutely possible [Meillassoux] |
| 14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
| 14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
| 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] |
| 19378 | Early modern possibility is what occurs sometime; for Leibniz, it is what is not contradictory [Arthur,R] |
| 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] |
| 19380 | Occasionalism contradicts the Eucharist, which needs genuine changes of substance [Arthur,R] |
| 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] |
| 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] |