43 ideas
| 6267 | A culture needs to admit that knowledge is more extensive than just 'science' [Putnam] |
| 6272 | 'True' and 'refers' cannot be made scientically precise, but are fundamental to science [Putnam] |
| 13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
| 11197 | The definitions expressing identity are used to sort things [Aquinas] |
| 6276 | 'The rug is green' might be warrantedly assertible even though the rug is not green [Putnam] |
| 6266 | We need the correspondence theory of truth to understand language and science [Putnam] |
| 6277 | Correspondence between concepts and unconceptualised reality is impossible [Putnam] |
| 6264 | In Tarski's definition, you understand 'true' if you accept the notions of the object language [Putnam] |
| 6265 | Tarski has given a correct account of the formal logic of 'true', but there is more to the concept [Putnam] |
| 6269 | Only Tarski has found a way to define 'true' [Putnam] |
| 9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
| 9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
| 9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
| 9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
| 9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
| 9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
| 9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
| 11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
| 6280 | Realism is a theory, which explains the convergence of science and the success of language [Putnam] |
| 11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
| 11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
| 13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
| 11202 | It is by having essence that things exist [Aquinas] |
| 11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
| 11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
| 11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
| 11208 | A simple substance is its own essence [Aquinas] |
| 6284 | If a tautology is immune from revision, why would that make it true? [Putnam] |
| 6273 | Knowledge depends on believing others, which must be innate, as inferences are not strong enough [Putnam] |
| 6274 | Empathy may not give knowledge, but it can give plausibility or right opinion [Putnam] |
| 11198 | Definition of essence makes things understandable [Aquinas] |
| 17084 | You can't decide which explanations are good if you don't attend to the interest-relative aspects [Putnam] |
| 6282 | Theory of meaning presupposes theory of understanding and reference [Putnam] |
| 6281 | Truth conditions can't explain understanding a sentence, because that in turn needs explanation [Putnam] |
| 6278 | We should reject the view that truth is prior to meaning [Putnam] |
| 6271 | How reference is specified is not what reference is [Putnam] |
| 6268 | The claim that scientific terms are incommensurable can be blocked if scientific terms are not descriptions [Putnam] |
| 11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
| 6279 | A private language could work with reference and beliefs, and wouldn't need meaning [Putnam] |
| 6270 | The correct translation is the one that explains the speaker's behaviour [Putnam] |
| 6283 | Language maps the world in many ways (because it maps onto other languages in many ways) [Putnam] |
| 6275 | You can't say 'most speaker's beliefs are true'; in some areas this is not so, and you can't count beliefs [Putnam] |
| 11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |