20 ideas
| 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] |
| 8507 | Some think of reality as made of things; I prefer facts or states of affairs [Armstrong] |
| 8506 | Particulars and properties are distinguishable, but too close to speak of a relation [Armstrong] |
| 8505 | Refusal to explain why different tokens are of the same type is to be an ostrich [Armstrong] |
| 23865 | Morality would improve if people could pursue private interests [Weil] |
| 23866 | In oppressive societies the scope of actual control is extended by a religion of power [Weil] |
| 23871 | No central authority can initiate decentralisation [Weil] |
| 23867 | After a bloody revolution the group which already had the power comes to the fore [Weil] |
| 23870 | Decentralisation is only possible by co-operation between strong and weak - which is absurd [Weil] |
| 23863 | Only individual people of good will can achieve social progress [Weil] |
| 23869 | In the least evil societies people can think, control community life, and be autonomous [Weil] |
| 23861 | Marx showed that capitalist oppression, because of competition, is unstoppable [Weil] |
| 23868 | The pleasure of completing tasks motivates just as well as the whip of slavery [Weil] |
| 23864 | Inequality could easily be mitigated, if it were not for the struggle for power [Weil] |