51 ideas
| 22285 | Impredicative definitions are circular, but fine for picking out, rather than creating something [Potter] |
| 22301 | The Identity Theory says a proposition is true if it coincides with what makes it true [Potter] |
| 22324 | It has been unfortunate that externalism about truth is equated with correspondence [Potter] |
| 10702 | Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter] |
| 10713 | Usually the only reason given for accepting the empty set is convenience [Potter] |
| 13044 | Infinity: There is at least one limit level [Potter] |
| 10708 | Nowadays we derive our conception of collections from the dependence between them [Potter] |
| 13546 | The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter] |
| 10707 | Mereology elides the distinction between the cards in a pack and the suits [Potter] |
| 10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
| 22279 | Frege's sign |--- meant judgements, but the modern |- turnstile means inference, with intecedents [Potter] |
| 22291 | Deductivism can't explain how the world supports unconditional conclusions [Potter] |
| 10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
| 22295 | Modern logical truths are true under all interpretations of the non-logical words [Potter] |
| 10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
| 17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
| 22310 | The formalist defence against Gödel is to reject his metalinguistic concept of truth [Potter] |
| 22298 | Why is fictional arithmetic applicable to the real world? [Potter] |
| 22287 | If 'concrete' is the negative of 'abstract', that means desires and hallucinations are concrete [Potter] |
| 13043 | A relation is a set consisting entirely of ordered pairs [Potter] |
| 22284 | 'Greater than', which is the ancestral of 'successor', strictly orders the natural numbers [Potter] |
| 13042 | If dependence is well-founded, with no infinite backward chains, this implies substances [Potter] |
| 13041 | Collections have fixed members, but fusions can be carved in innumerable ways [Potter] |
| 10709 | Priority is a modality, arising from collections and members [Potter] |
| 22281 | A material conditional cannot capture counterfactual reasoning [Potter] |
| 22327 | Knowledge from a drunken schoolteacher is from a reliable and unreliable process [Potter] |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| 22273 | Traditionally there are twelve categories of judgement, in groups of three [Potter] |
| 22290 | The phrase 'the concept "horse"' can't refer to a concept, because it is saturated [Potter] |
| 22283 | Compositionality should rely on the parsing tree, which may contain more than sentence components [Potter] |
| 22282 | 'Direct compositonality' says the components wholly explain a sentence meaning [Potter] |
| 22296 | Compositionality is more welcome in logic than in linguistics (which is more contextual) [Potter] |
| 23110 | Human injustice is not a permanent feature of communities [Rawls] |
| 15676 | Rawls defends the priority of right over good [Rawls, by Finlayson] |
| 4123 | A fair arrangement is one that parties can agree to without knowing how it will benefit them personally [Rawls, by Williams,B] |
| 21051 | Check your rationality by thinking of your opinion pronounced by the supreme court [Rawls] |
| 3279 | Utilitarianism inappropriately scales up the individual willingness to make sacrifices [Rawls, by Nagel] |
| 22406 | The maximisation of happiness must be done fairly [Rawls, by Smart] |
| 21137 | Rawls rejected cosmopolitanism because it doesn't respect the autonomy of 'peoples' [Rawls, by Shorten] |
| 3280 | Why does the rational agreement of the 'Original Position' in Rawls make it right? [Nagel on Rawls] |
| 20552 | The original position models the idea that citizens start as free and equal [Rawls, by Swift] |
| 18636 | Choose justice principles in ignorance of your own social situation [Rawls] |
| 18631 | All desirable social features should be equal, unless inequality favours the disadvantaged [Rawls] |
| 21119 | Power is only legitimate if it is reasonable for free equal citizens to endorse the constitution [Rawls] |
| 20538 | Utilitarians lump persons together; Rawls somewhat separates them; Nozick wholly separates them [Swift on Rawls] |
| 9277 | Rawls's account of justice relies on conventional fairness, avoiding all moral controversy [Gray on Rawls] |
| 23420 | In a pluralist society we can't expect a community united around one conception of the good [Rawls] |
| 20527 | Liberty Principle: everyone has an equal right to liberties, if compatible with others' liberties [Rawls] |
| 21018 | The social contract has problems with future generations, national boundaries, disabilities and animals [Rawls, by Nussbaum] |
| 21041 | Justice concerns not natural distributions, or our born location, but what we do about them [Rawls] |
| 23583 | If an aggression is unjust, the constraints on how it is fought are much stricter [Rawls] |