36 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] |
5735 | Maybe names and predicates can capture any fact [Melia] |
5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
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] |
5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
21233 | The beautiful is whatever it is intrinsically good to admire [Moore,GE] |
8039 | Moore tries to show that 'good' is indefinable, but doesn't understand what a definition is [MacIntyre on Moore,GE] |
22151 | The Open Question argument leads to anti-realism and the fact-value distinction [Boulter on Moore,GE] |
11056 | The naturalistic fallacy claims that natural qualties can define 'good' [Moore,GE] |
8033 | Moore cannot show why something being good gives us a reason for action [MacIntyre on Moore,GE] |
8032 | Can learning to recognise a good friend help us to recognise a good watch? [MacIntyre on Moore,GE] |
11050 | Moore's combination of antinaturalism with strong supervenience on the natural is incoherent [Hanna on Moore,GE] |
23726 | Despite Moore's caution, non-naturalists incline towards intuitionism [Moore,GE, by Smith,M] |
18676 | We should ask what we would judge to be good if it existed in absolute isolation [Moore,GE] |
11057 | It is always an open question whether anything that is natural is good [Moore,GE] |
5925 | The three main values are good, right and beauty [Moore,GE, by Ross] |
5902 | For Moore, 'right' is what produces good [Moore,GE, by Ross] |
5903 | 'Right' means 'cause of good result' (hence 'useful'), so the end does justify the means [Moore,GE] |
5907 | Relationships imply duties to people, not merely the obligation to benefit them [Ross on Moore,GE] |
23061 | Free atheism should start by questioning its faith in humanity [Gray] |
23057 | Gnosticism has a supreme creator God, giving way to a possibly hostile Demiurge [Gray] |
23056 | Judaism only became monotheistic around 550 BCE [Gray] |
23055 | Christians introduced the idea that a religion needs a creed [Gray] |
23058 | Buddhism has no divinity or souls, and the aim is to lose the illusion of a self [Gray] |