21 ideas
| 9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
| 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] |
| 9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
| 9342 | Understanding needs a priori commitment [Horwich] |
| 9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
| 9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
| 9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
| 9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
| 17488 | Empiricist theories are sets of laws, which give explanations and reductions [Glennan] |
| 17493 | Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan] |
| 17487 | Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan] |
| 17489 | Mechanisms are either systems of parts or sequences of activities [Glennan] |
| 17490 | 17th century mechanists explained everything by the kinetic physical fundamentals [Glennan] |
| 17491 | Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan] |
| 17494 | Since causal events are related by mechanisms, causation can be analysed in that way [Glennan] |