13 ideas
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
12219 | Whether a modal claim is true depends on how the object is described [Quine, by Fine,K] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
10922 | Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine] |
10923 | Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine] |
10921 | Necessity can attach to statement-names, to statements, and to open sentences [Quine] |
10924 | Necessity is in the way in which we say things, and not things themselves [Quine] |
22465 | We see a moral distinction between doing and allowing to happen [Foot] |
22466 | We see a moral distinction between our aims and their foreseen consequences [Foot] |
22467 | Acts and omissions only matter if they concern doing something versus allowing it [Foot] |
22470 | A good moral system benefits its participants, and so demands reciprocity [Foot] |
22468 | Virtues can have aims, but good states of affairs are not among them [Foot] |
22469 | Some virtues imply rules, and others concern attachment [Foot] |