42 ideas
| 12330 | In ontology, logic dominated language, until logic was mathematized [Badiou] |
| 12318 | The female body, when taken in its entirety, is the Phallus itself [Badiou] |
| 21489 | Super-ordinate disciplines give laws or principles; subordinate disciplines give concrete cases [Peirce, by Atkin] |
| 12325 | Philosophy has been relieved of physics, cosmology, politics, and now must give up ontology [Badiou] |
| 12324 | Consensus is the enemy of thought [Badiou] |
| 19095 | Pragmatic 'truth' is a term to cover the many varied aims of enquiry [Peirce, by Misak] |
| 19097 | Peirce did not think a belief was true if it was useful [Peirce, by Misak] |
| 21494 | If truth is the end of enquiry, what if it never ends, or ends prematurely? [Atkin on Peirce] |
| 12337 | There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou] |
| 12321 | The axiom of choice must accept an indeterminate, indefinable, unconstructible set [Badiou] |
| 9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
| 12342 | Topos theory explains the plurality of possible logics [Badiou] |
| 12341 | Logic is a mathematical account of a universe of relations [Badiou] |
| 21493 | Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce] |
| 19102 | Bivalence is a regulative assumption of enquiry - not a law of logic [Peirce, by Misak] |
| 9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
| 9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
| 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] |
| 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] |
| 12331 | Logic is definitional, but real mathematics is axiomatic [Badiou] |
| 12340 | There is no Being as a whole, because there is no set of all sets [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] |
| 12320 | Ontology is (and always has been) Cantorian mathematics [Badiou] |
| 10352 | The real is the idea in which the community ultimately settles down [Peirce] |
| 13498 | Peirce and others began the mapping out of relations [Peirce, by Hart,WD] |
| 21491 | Peirce's later realism about possibilities and generalities went beyond logical positivism [Peirce, by Atkin] |
| 9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
| 16376 | The possible can only be general, and the force of actuality is needed to produce a particular [Peirce] |
| 19107 | Inquiry is not standing on bedrock facts, but standing in hope on a shifting bog [Peirce] |
| 9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
| 9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
| 12338 | We must either assert or deny any single predicate of any single subject [Badiou] |
| 12316 | For Enlightenment philosophers, God was no longer involved in politics [Badiou] |
| 9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |
| 12317 | The God of religion results from an encounter, not from a proof [Badiou] |