98 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] |
| 20146 | 'Luck' is the unpredictable and inexplicable intersection of causal chains [Kekes] |
| 22281 | A material conditional cannot capture counterfactual reasoning [Potter] |
| 23101 | Intuitions don't prove things; they just receptivity to interpretations [Kekes] |
| 22327 | Knowledge from a drunken schoolteacher is from a reliable and unreliable process [Potter] |
| 6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
| 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] |
| 20169 | An action may be intended under one description, but not under another [Kekes] |
| 20149 | To control our actions better, make them result from our attitudes, not from circumstances [Kekes] |
| 23086 | Liberals say we are only responsible for fully autonomous actions [Kekes] |
| 23100 | Collective responsibility conflicts with responsibility's requirement of authonomy [Kekes] |
| 19738 | Values are an attempt to achieve well-being by bringing contingencies under control [Kekes] |
| 20145 | Values help us to control life, by connecting it to what is stable and manageable [Kekes] |
| 20170 | Responsibility is unprovoked foreseeable harm, against society, arising from vicious character [Kekes] |
| 23089 | Evil people may not be autonomously aware, if they misjudge the situation [Kekes] |
| 23094 | Ought implies can means moral responsibility needs autonomy [Kekes] |
| 23095 | Why should moral responsibility depend on autonomy, rather than social role or experience? [Kekes] |
| 23093 | Moral and causal responsibility are not clearly distinct [Kekes] |
| 23096 | Morality should aim to prevent all evil actions, not just autonomous ones [Kekes] |
| 23087 | Much human evil is not autonomous, so moral responsibility need not be autonomous [Kekes] |
| 23098 | Effects show the existence of moral responsibility, and mental states show the degree [Kekes] |
| 20165 | Reason and morality do not coincide; immorality can be reasonable, with an ideology [Kekes] |
| 20171 | Practical reason is not universal and impersonal, because it depends on what success is [Kekes] |
| 20175 | If morality has to be rational, then moral conflicts need us to be irrational and immoral [Kekes] |
| 23090 | Liberals assume people are naturally free, equal, rational, and morally good [Kekes] |
| 20174 | Relativists say all values are relative; pluralists concede much of that, but not 'human' values [Kekes] |
| 20159 | Cultural values are interpretations of humanity, conduct, institutions, and evaluations [Kekes] |
| 20161 | The big value problems are evil (humanity), disenchantment (cultures), and boredom (individuals) [Kekes] |
| 20156 | We are bound to regret some values we never aspired to [Kekes] |
| 20150 | There are far more values than we can pursue, so they are optional possibilities [Kekes] |
| 20158 | Innumerable values arise for us, from our humanity, our culture, and our individuality [Kekes] |
| 20151 | Our attitudes include what possibilities we value, and also what is allowable, and unthinkable [Kekes] |
| 20152 | Unconditional commitments are our most basic convictions, saying what must never be done [Kekes] |
| 20153 | Doing the unthinkable damages ourselves, so it is more basic than any value [Kekes] |
| 23117 | Love should be partial, and discriminate in favour of its object [Kekes] |
| 23119 | Sentimental love distorts its object [Kekes] |
| 23088 | Evil is not deviation from the good, any more than good is a deviation from evil [Kekes] |
| 20162 | Evil isn't explained by nature, by monsters, by uncharacteristic actions, or by society [Kekes] |
| 23097 | What matters for morality is the effects of action, not the psychological causes [Kekes] |
| 20157 | Well-being needs correct attitudes and well-ordered commitments to local values [Kekes] |
| 20154 | Control is the key to well-being [Kekes] |
| 23099 | It is said that if an agent is not autonomous then their evil actions don't reflect on their character [Kekes] |
| 22241 | Don't fear god or worry about death; the good is easily got and the terrible easily cured [Philodemus] |
| 23118 | Awareness of others' suffering doesn't create an obligation to help [Kekes] |
| 20172 | Boredom destroys our ability to evaluate [Kekes] |
| 20173 | Boredom is apathy and restlessness, yearning for something interesting [Kekes] |
| 20155 | Society is alienating if it lacks our values, and its values repel us [Kekes] |
| 23109 | The veil of ignorance is only needed because people have bad motivations [Kekes] |
| 23114 | The chief function of the state is to arbitrate between contending visions of the good life [Kekes] |
| 20164 | The ideal of an ideology is embodied in a text, a role model, a law of history, a dream of the past... [Kekes] |
| 20163 | Ideologies have beliefs about reality, ideals, a gap with actuality, and a program [Kekes] |
| 23116 | Citizenship is easier than parenthood [Kekes] |
| 23103 | Power is meant to be confined to representatives, and subsequent delegation [Kekes] |
| 23107 | Prosperity is a higher social virtue than justice [Kekes] |
| 23081 | Liberal basics are pluralism, freedom, rights, equality, and distributive justice - for autonomy [Kekes] |
| 23085 | The key liberal values are explained by the one core value, which is autonomy [Kekes] |
| 23092 | Agents have little control over the capacities needed for liberal autonomy [Kekes] |
| 23102 | Liberals are egalitarians, but in varying degrees [Kekes] |
| 23084 | Are egalitarians too coercive, or not egalitarian enough, or lax over morality? [Kekes] |
| 23079 | Liberal justice ignores desert, which is the essence of justice [Kekes] |
| 23091 | Why do liberals not see a much wider range of values as basic? [Kekes] |
| 23112 | Liberals ignore contingency, and think people are good and equal, and institutions cause evil [Kekes] |
| 23082 | Liberal distribution cares more about recipients than donors [Kekes] |
| 23106 | To rectify the undeserved equality, we should give men longer and women shorter lives [Kekes] |
| 23121 | It is just a fact that some people are morally better than others [Kekes] |
| 23105 | It is not deplorable that billionaires have more than millionaires [Kekes] |
| 23120 | The problem is basic insufficiency of resources, not their inequality [Kekes] |
| 20148 | Equal distribution is no good in a shortage, because there might be no one satisfied [Kekes] |
| 23108 | Justice combines consistency and desert; treat likes alike, judging likeness by desert [Kekes] |
| 23083 | Liberal welfare focuses on need rather than desert [Kekes] |
| 23113 | Sexual morality doesn't require monogamy, but it needs a group of sensible regulations [Kekes] |