76 ideas
| 19275 | You cannot understand what exists without understanding possibility and necessity [Hale] |
| 19291 | A canonical defintion specifies the type of thing, and what distinguish this specimen [Hale] |
| 19297 | The two Barcan principles are easily proved in fairly basic modal logic [Hale] |
| 19301 | With a negative free logic, we can dispense with the Barcan formulae [Hale] |
| 19296 | If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale] |
| 19289 | Maybe conventionalism applies to meaning, but not to the truth of propositions expressed [Hale] |
| 19298 | Unlike axiom proofs, natural deduction proofs needn't focus on logical truths and theorems [Hale] |
| 17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
| 17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
| 19295 | Add Hume's principle to logic, to get numbers; arithmetic truths rest on the nature of the numbers [Hale] |
| 17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
| 19281 | Interesting supervenience must characterise the base quite differently from what supervenes on it [Hale] |
| 19278 | There is no gap between a fact that p, and it is true that p; so we only have the truth-condtions for p [Hale] |
| 17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
| 17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
| 17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
| 17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
| 17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
| 17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
| 17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
| 19302 | If a chair could be made of slightly different material, that could lead to big changes [Hale] |
| 17523 | Sortals basically apply to individuals [Ayers] |
| 17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
| 17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
| 17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
| 17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
| 19290 | Absolute necessities are necessarily necessary [Hale] |
| 19286 | 'Absolute necessity' is when there is no restriction on the things which necessitate p [Hale] |
| 19288 | Logical and metaphysical necessities differ in their vocabulary, and their underlying entities [Hale] |
| 19285 | Logical necessity is something which is true, no matter what else is the case [Hale] |
| 19287 | Maybe each type of logic has its own necessity, gradually becoming broader [Hale] |
| 19282 | It seems that we cannot show that modal facts depend on non-modal facts [Hale] |
| 19276 | The big challenge for essentialist views of modality is things having necessary existence [Hale] |
| 19293 | Essentialism doesn't explain necessity reductively; it explains all necessities in terms of a few basic natures [Hale] |
| 19294 | If necessity derives from essences, how do we explain the necessary existence of essences? [Hale] |
| 19279 | What are these worlds, that being true in all of them makes something necessary? [Hale] |
| 19299 | Possible worlds make every proposition true or false, which endorses classical logic [Hale] |
| 23101 | Intuitions don't prove things; they just receptivity to interpretations [Kekes] |
| 19300 | The molecules may explain the water, but they are not what 'water' means [Hale] |
| 23086 | Liberals say we are only responsible for fully autonomous actions [Kekes] |
| 23100 | Collective responsibility conflicts with responsibility's requirement of authonomy [Kekes] |
| 23087 | Much human evil is not autonomous, so moral responsibility need not be autonomous [Kekes] |
| 23089 | Evil people may not be autonomously aware, if they misjudge the situation [Kekes] |
| 23093 | Moral and causal responsibility are not clearly distinct [Kekes] |
| 23098 | Effects show the existence of moral responsibility, and mental states show the degree [Kekes] |
| 23095 | Why should moral responsibility depend on autonomy, rather than social role or experience? [Kekes] |
| 23096 | Morality should aim to prevent all evil actions, not just autonomous ones [Kekes] |
| 23094 | Ought implies can means moral responsibility needs autonomy [Kekes] |
| 23090 | Liberals assume people are naturally free, equal, rational, and morally good [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] |
| 23097 | What matters for morality is the effects of action, not the psychological causes [Kekes] |
| 23099 | It is said that if an agent is not autonomous then their evil actions don't reflect on their character [Kekes] |
| 23118 | Awareness of others' suffering doesn't create an obligation to help [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] |
| 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] |
| 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] |