90 ideas
| 12330 | In ontology, logic dominated language, until logic was mathematized [Badiou] |
| 2056 | Philosophers are always switching direction to something more interesting [Plato] |
| 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] |
| 2086 | Understanding mainly involves knowing the elements, not their combinations [Plato] |
| 2083 | Either a syllable is its letters (making parts as knowable as whole) or it isn't (meaning it has no parts) [Plato] |
| 12324 | Consensus is the enemy of thought [Badiou] |
| 2082 | A rational account is essentially a weaving together of things with names [Plato] |
| 2052 | Eristic discussion is aggressive, but dialectic aims to help one's companions in discussion [Plato] |
| 15854 | A primary element has only a name, and no logos, but complexes have an account, by weaving the names [Plato] |
| 8187 | Frege was strongly in favour of taking truth to attach to propositions [Frege, by Dummett] |
| 12337 | There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou] |
| 12321 | The axiom of choice must accept an indeterminate, indefinable, unconstructible set [Badiou] |
| 12342 | Topos theory explains the plurality of possible logics [Badiou] |
| 12341 | Logic is a mathematical account of a universe of relations [Badiou] |
| 18772 | We can treat designation by a few words as a proper name [Frege] |
| 14075 | Proper name in modal contexts refer obliquely, to their usual sense [Frege, by Gibbard] |
| 10424 | A Fregean proper name has a sense determining an object, instead of a concept [Frege, by Sainsbury] |
| 18773 | People may have different senses for 'Aristotle', like 'pupil of Plato' or 'teacher of Alexander' [Frege] |
| 4978 | The meaning of a proper name is the designated object [Frege] |
| 10510 | Frege ascribes reference to incomplete expressions, as well as to singular terms [Frege, by Hale] |
| 18940 | It is a weakness of natural languages to contain non-denoting names [Frege] |
| 18937 | If sentences have a 'sense', empty name sentences can be understood that way [Frege, by Sawyer] |
| 18939 | In a logically perfect language every well-formed proper name designates an object [Frege] |
| 9462 | Frege is intensionalist about reference, as it is determined by sense; identity of objects comes first [Frege, by Jacquette] |
| 18936 | Frege moved from extensional to intensional semantics when he added the idea of 'sense' [Frege, by Sawyer] |
| 12334 | There is no single unified definition of number [Badiou] |
| 12335 | Numbers are for measuring and for calculating (and the two must be consistent) [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] |
| 10216 | We master arithmetic by knowing all the numbers in our soul [Plato] |
| 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] |
| 12326 | The primitive name of Being is the empty set; in a sense, only the empty set 'is' [Badiou] |
| 12332 | The modern view of Being comes when we reject numbers as merely successions of One [Badiou] |
| 2060 | There seem to be two sorts of change: alteration and motion [Plato] |
| 12320 | Ontology is (and always has been) Cantorian mathematics [Badiou] |
| 10533 | We can't get a semantics from nouns and predicates referring to the same thing [Frege, by Dummett] |
| 2084 | If a word has no parts and has a single identity, it turns out to be the same kind of thing as a letter [Plato] |
| 15844 | A sum is that from which nothing is lacking, which is a whole [Plato] |
| 15843 | The whole can't be the parts, because it would be all of the parts, which is the whole [Plato] |
| 4893 | Frege was asking how identities could be informative [Frege, by Perry] |
| 2080 | Things are only knowable if a rational account (logos) is possible [Plato] |
| 16126 | Expertise is knowledge of the whole by means of the parts [Plato] |
| 2050 | It is impossible to believe something which is held to be false [Plato] |
| 2076 | How can a belief exist if its object doesn't exist? [Plato] |
| 2045 | Perception is infallible, suggesting that it is knowledge [Plato] |
| 2067 | Our senses could have been separate, but they converge on one mind [Plato] |
| 2068 | With what physical faculty do we perceive pairs of opposed abstract qualities? [Plato] |
| 2069 | Thought must grasp being itself before truth becomes possible [Plato] |
| 2078 | You might mistake eleven for twelve in your senses, but not in your mind [Plato] |
| 2089 | An inadequate rational account would still not justify knowledge [Plato] |
| 2085 | Parts and wholes are either equally knowable or equally unknowable [Plato] |
| 2091 | Without distinguishing marks, how do I know what my beliefs are about? [Plato] |
| 2087 | A rational account might be seeing an image of one's belief, like a reflection in a mirror [Plato] |
| 2090 | A rational account involves giving an image, or analysis, or giving a differentiating mark [Plato] |
| 2081 | Maybe primary elements can be named, but not receive a rational account [Plato] |
| 2088 | A rational account of a wagon would mean knowledge of its hundred parts [Plato] |
| 2047 | What evidence can be brought to show whether we are dreaming or not? [Plato] |
| 2054 | Clearly some people are superior to others when it comes to medicine [Plato] |
| 2053 | If you claim that all beliefs are true, that includes beliefs opposed to your own [Plato] |
| 2059 | How can a relativist form opinions about what will happen in the future? [Plato] |
| 18752 | 'The concept "horse"' denotes a concept, yet seems also to denote an object [Frege, by McGee] |
| 22318 | Frege failed to show when two sets of truth-conditions are equivalent [Frege, by Potter] |
| 4980 | The meaning (reference) of a sentence is its truth value - the circumstance of it being true or false [Frege] |
| 9180 | Holism says all language use is also a change in the rules of language [Frege, by Dummett] |
| 4981 | The reference of a word should be understood as part of the reference of the sentence [Frege] |
| 15597 | Frege's Puzzle: from different semantics we infer different reference for two names with the same reference [Frege, by Fine,K] |
| 17002 | Frege's 'sense' is ambiguous, between the meaning of a designator, and how it fixes reference [Kripke on Frege] |
| 18778 | Every descriptive name has a sense, but may not have a reference [Frege] |
| 7805 | Frege started as anti-realist, but the sense/reference distinction led him to realism [Frege, by Benardete,JA] |
| 4976 | The meaning (reference) of 'evening star' is the same as that of 'morning star', but not the sense [Frege] |
| 4977 | In maths, there are phrases with a clear sense, but no actual reference [Frege] |
| 4979 | We are driven from sense to reference by our desire for truth [Frege] |
| 15155 | Expressions always give ways of thinking of referents, rather than the referents themselves [Frege, by Soames] |
| 11126 | 'Sense' gives meaning to non-referring names, and to two expressions for one referent [Frege, by Margolis/Laurence] |
| 8164 | Frege was the first to construct a plausible theory of meaning [Frege, by Dummett] |
| 9817 | Earlier Frege focuses on content itself; later he became interested in understanding content [Frege, by Dummett] |
| 8171 | Frege divided the meaning of a sentence into sense, force and tone [Frege, by Dummett] |
| 4954 | Frege uses 'sense' to mean both a designator's meaning, and the way its reference is determined [Kripke on Frege] |
| 7304 | Frege explained meaning as sense, semantic value, reference, force and tone [Frege, by Miller,A] |
| 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] |
| 2058 | God must be the epitome of goodness, and we can only approach a divine state by being as good as possible [Plato] |
| 12317 | The God of religion results from an encounter, not from a proof [Badiou] |
| 2057 | There must always be some force of evil ranged against good [Plato] |