59 ideas
| 12330 | In ontology, logic dominated language, until logic was mathematized [Badiou] |
| 9808 | Philosophy aims to reveal the grandeur of mathematics [Badiou] |
| 12318 | The female body, when taken in its entirety, is the Phallus itself [Badiou] |
| 12325 | Philosophy has been relieved of physics, cosmology, politics, and now must give up ontology [Badiou] |
| 12324 | Consensus is the enemy of thought [Badiou] |
| 3750 | "It is true that x" means no more than x [Ramsey] |
| 12337 | There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou] |
| 13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
| 12321 | The axiom of choice must accept an indeterminate, indefinable, unconstructible set [Badiou] |
| 13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
| 12342 | Topos theory explains the plurality of possible logics [Badiou] |
| 12341 | Logic is a mathematical account of a universe of relations [Badiou] |
| 13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
| 13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
| 9812 | In mathematics, if a problem can be formulated, it will eventually be solved [Badiou] |
| 12335 | Numbers are for measuring and for calculating (and the two must be consistent) [Badiou] |
| 12334 | There is no single unified definition of number [Badiou] |
| 12333 | Each type of number has its own characteristic procedure of introduction [Badiou] |
| 12322 | Must we accept numbers as existing when they no longer consist of units? [Badiou] |
| 9813 | Mathematics shows that thinking is not confined to the finite [Badiou] |
| 12327 | The undecidability of the Continuum Hypothesis may have ruined or fragmented set theory [Badiou] |
| 12329 | If mathematics is a logic of the possible, then questions of existence are not intrinsic to it [Badiou] |
| 12328 | Platonists like axioms and decisions, Aristotelians like definitions, possibilities and logic [Badiou] |
| 6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
| 13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
| 12331 | Logic is definitional, but real mathematics is axiomatic [Badiou] |
| 13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
| 12340 | There is no Being as a whole, because there is no set of all sets [Badiou] |
| 9809 | Mathematics inscribes being as such [Badiou] |
| 12323 | Existence is Being itself, but only as our thought decides it [Badiou] |
| 12332 | The modern view of Being comes when we reject numbers as merely successions of One [Badiou] |
| 12326 | The primitive name of Being is the empty set; in a sense, only the empty set 'is' [Badiou] |
| 9811 | It is of the essence of being to appear [Badiou] |
| 12320 | Ontology is (and always has been) Cantorian mathematics [Badiou] |
| 8495 | The distinction between particulars and universals is a mistake made because of language [Ramsey] |
| 8493 | We could make universals collections of particulars, or particulars collections of their qualities [Ramsey] |
| 8494 | Obviously 'Socrates is wise' and 'Socrates has wisdom' express the same fact [Ramsey] |
| 13766 | 'If' is the same as 'given that', so the degrees of belief should conform to probability theory [Ramsey, by Ramsey] |
| 10993 | Ramsey's Test: believe the consequent if you believe the antecedent [Ramsey, by Read] |
| 14279 | Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge [Ramsey] |
| 19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
| 19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
| 3212 | Beliefs are maps by which we steer [Ramsey] |
| 22328 | I just confront the evidence, and let it act on me [Ramsey] |
| 19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
| 19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
| 19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
| 22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
| 19724 | Belief is knowledge if it is true, certain, and obtained by a reliable process [Ramsey] |
| 6894 | Mental terms can be replaced in a sentence by a variable and an existential quantifier [Ramsey] |
| 19143 | Ramsey gave axioms for an uncertain agent to decide their preferences [Ramsey, by Davidson] |
| 18818 | Sentence meaning is given by the actions to which it would lead [Ramsey] |
| 19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
| 12338 | We must either assert or deny any single predicate of any single subject [Badiou] |
| 9814 | All great poetry is engaged in rivalry with mathematics [Badiou] |
| 12316 | For Enlightenment philosophers, God was no longer involved in politics [Badiou] |
| 9420 | Causal laws result from the simplest axioms of a complete deductive system [Ramsey] |
| 9418 | All knowledge needs systematizing, and the axioms would be the laws of nature [Ramsey] |
| 12317 | The God of religion results from an encounter, not from a proof [Badiou] |