45 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] |
| 7920 | Descriptive metaphysics aims at actual structure, revisionary metaphysics at a better structure [Strawson,P] |
| 7922 | Descriptive metaphysics concerns unchanging core concepts and categories [Strawson,P] |
| 7921 | Close examination of actual word usage is the only sure way in philosophy [Strawson,P] |
| 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] |
| 8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
| 8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
| 8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
| 19664 | Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux] |
| 19663 | We can allow contradictions in thought, but not inconsistency [Meillassoux] |
| 19665 | Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux] |
| 8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
| 8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| 8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
| 19677 | What is mathematically conceivable is absolutely possible [Meillassoux] |
| 8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
| 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] |
| 8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
| 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] |
| 8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
| 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] |
| 9282 | I can only apply consciousness predicates to myself if I can apply them to others [Strawson,P] |
| 19650 | The transcendental subject is not an entity, but a set of conditions making science possible [Meillassoux] |
| 9263 | A person is an entity to which we can ascribe predicates of consciousness and corporeality [Strawson,P] |
| 8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
| 9281 | The idea of a predicate matches a range of things to which it can be applied [Strawson,P] |
| 8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
| 8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
| 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] |