69 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] |
3358 | Metaphysics focuses on Platonism, essentialism, materialism and anti-realism [Benardete,JA] |
3312 | There are the 'is' of predication (a function), the 'is' of identity (equals), and the 'is' of existence (quantifier) [Benardete,JA] |
3352 | Analytical philosophy analyses separate concepts successfully, but lacks a synoptic vision of the results [Benardete,JA] |
3329 | Presumably the statements of science are true, but should they be taken literally or not? [Benardete,JA] |
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] |
10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
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] |
3326 | Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA] |
3327 | The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA] |
3335 | The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG] |
10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
3332 | Greeks saw the science of proportion as the link between geometry and arithmetic [Benardete,JA] |
3330 | Negatives, rationals, irrationals and imaginaries are all postulated to solve baffling equations [Benardete,JA] |
3337 | Natural numbers are seen in terms of either their ordinality (Peano), or cardinality (set theory) [Benardete,JA] |
10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
19677 | What is mathematically conceivable is absolutely possible [Meillassoux] |
10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
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] |
3310 | If slowness is a property of walking rather than the walker, we must allow that events exist [Benardete,JA] |
12793 | Early pre-Socratics had a mass-noun ontology, which was replaced by count-nouns [Benardete,JA] |
3353 | If there is no causal interaction with transcendent Platonic objects, how can you learn about them? [Benardete,JA] |
10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
3304 | Why should packed-together particles be a thing (Mt Everest), but not scattered ones? [Benardete,JA] |
3350 | Could a horse lose the essential property of being a horse, and yet continue to exist? [Benardete,JA] |
3309 | If a soldier continues to exist after serving as a soldier, does the wind cease to exist after it ceases to blow? [Benardete,JA] |
3351 | One can step into the same river twice, but not into the same water [Benardete,JA] |
3314 | Absolutists might accept that to exist is relative, but relative to what? How about relative to itself? [Benardete,JA] |
3323 | Maybe self-identity isn't existence, if Pegasus can be self-identical but non-existent [Benardete,JA] |
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] |
3306 | The clearest a priori knowledge is proving non-existence through contradiction [Benardete,JA] |
3349 | If we know truths about prime numbers, we seem to have synthetic a priori knowledge of Platonic objects [Benardete,JA] |
3341 | Logical positivism amounts to no more than 'there is no synthetic a priori' [Benardete,JA] |
3344 | Assertions about existence beyond experience can only be a priori synthetic [Benardete,JA] |
3345 | Appeals to intuition seem to imply synthetic a priori knowledge [Benardete,JA] |
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] |
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] |
3334 | Rationalists see points as fundamental, but empiricists prefer regions [Benardete,JA] |
3308 | In the ontological argument a full understanding of the concept of God implies a contradiction in 'There is no God' [Benardete,JA] |
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] |