30 ideas
| 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] |
| 11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| 8198 | A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett] |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| 5163 | Basic propositions refer to a single experience, are incorrigible, and conclusively verifiable [Ayer] |
| 5167 | The argument from analogy fails, so the best account of other minds is behaviouristic [Ayer] |
| 5164 | A statement is meaningful if observation statements can be deduced from it [Ayer] |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| 5165 | Directly verifiable statements must entail at least one new observation statement [Ayer] |
| 5166 | The principle of verification is not an empirical hypothesis, but a definition [Ayer] |
| 8189 | Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett] |
| 8191 | The truth-conditions theory must get agreement on a conception of truth [Dummett] |
| 5162 | Sentences only express propositions if they are meaningful; otherwise they are 'statements' [Ayer] |
| 5168 | Moral approval and disapproval concerns classes of actions, rather than particular actions [Ayer] |
| 8197 | Maybe past (which affects us) and future (which we can affect) are both real [Dummett] |
| 8196 | The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett] |