32 ideas
5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
5311 | If observation goes up a level, we expect the laws of the lower level to remain in force [Wilson,EO] |
5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
5735 | Maybe names and predicates can capture any fact [Melia] |
5312 | A child first sees objects as distinct, and later as members of groups [Wilson,EO] |
5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
5309 | Beliefs are really enabling mechanisms for survival [Wilson,EO] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
5310 | Philosophers study the consequences of ethics instead of its origins [Wilson,EO] |
22187 | Genetic behaviours that have enhanced human success include aggression, rape and xenophobia [Wilson,EO, by Okasha] |
5313 | The rules of human decision-making converge and overlap in a 'human nature' [Wilson,EO] |
5316 | We undermine altruism by rewarding it, but we reward it to encourage it [Wilson,EO] |
5318 | Pure hard-core altruism based on kin selection is the enemy of civilisation [Wilson,EO] |
5317 | The actor is most convincing who believes that his performance is real [Wilson,EO] |
20662 | The biology of societies: kin selection, parenting, mating; status, territory, contracts [Wilson,EO] |
5308 | The only human purpose is that created by our genetic history [Wilson,EO] |
5314 | Cultural evolution is Lamarckian and fast, biological evolution is Darwinian and slow [Wilson,EO] |
5315 | Over 99 percent of human evolution has been in the hunter-gatherer phase [Wilson,EO] |
5320 | It is estimated that mankind has produced 100,000 religions [Wilson,EO] |