40 ideas
| 2956 | There is nothing so obvious that a philosopher cannot be found to deny it [Lockwood] |
| 2963 | There may only be necessary and sufficient conditions (and counterfactuals) because we intervene in the world [Lockwood] |
| 2958 | No one has ever succeeded in producing an acceptable non-trivial analysis of anything [Lockwood] |
| 11223 | Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens' [Gupta] |
| 11215 | Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski) [Gupta] |
| 11225 | A definition needs to apply to the same object across possible worlds [Gupta] |
| 11227 | The 'revision theory' says that definitions are rules for improving output [Gupta] |
| 11224 | Traditional definitions are general identities, which are sentential and reductive [Gupta] |
| 11226 | Traditional definitions need: same category, mention of the term, and conservativeness and eliminability [Gupta] |
| 11221 | A definition can be 'extensionally', 'intensionally' or 'sense' adequate [Gupta] |
| 11217 | Chemists aim at real definition of things; lexicographers aim at nominal definition of usage [Gupta] |
| 11216 | If definitions aim at different ideals, then defining essence is not a unitary activity [Gupta] |
| 11218 | Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta] |
| 11220 | Ostensive definitions look simple, but are complex and barely explicable [Gupta] |
| 2959 | If something is described in two different ways, is that two facts, or one fact presented in two ways? [Lockwood] |
| 23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
| 11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |
| 23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
| 23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
| 23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
| 23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
| 23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
| 23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
| 23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
| 2969 | How does a direct realist distinguish a building from Buckingham Palace? [Lockwood] |
| 2970 | Dogs seem to have beliefs, and beliefs require concepts [Lockwood] |
| 2961 | Empiricism is a theory of meaning as well as of knowledge [Lockwood] |
| 2960 | Commonsense realism must account for the similarity of genuine perceptions and known illusions [Lockwood] |
| 2952 | A 1988 estimate gave the brain 3 x 10-to-the-14 synaptic junctions [Lockwood] |
| 2964 | How come unconscious states also cause behaviour? [Lockwood] |
| 2951 | Could there be unconscious beliefs and desires? [Lockwood] |
| 2953 | Fish may operate by blindsight [Lockwood] |
| 2967 | We might even learn some fundamental physics from introspection [Lockwood] |
| 2966 | Can phenomenal qualities exist unsensed? [Lockwood] |
| 2955 | If mental events occur in time, then relativity says they are in space [Lockwood] |
| 2950 | Only logical positivists ever believed behaviourism [Lockwood] |
| 2954 | Identity theory likes the identity of lightning and electrical discharges [Lockwood] |
| 2971 | Perhaps logical positivism showed that there is no dividing line between science and metaphysics [Lockwood] |
| 2962 | Maybe causation is a form of rational explanation, not an observation or a state of mind [Lockwood] |
| 2949 | We have the confused idea that time is a process of change [Lockwood] |