13 ideas
22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
9175 | We may fix the reference of 'Cicero' by a description, but thereafter the name is rigid [Kripke] |
9171 | The function of names is simply to refer [Kripke] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
9174 | It is necessary that this table is not made of ice, but we don't know it a priori [Kripke] |
9172 | A 'rigid designator' designates the same object in all possible worlds [Kripke] |
9173 | We cannot say that Nixon might have been a different man from the one he actually was [Kripke] |
9176 | Modal statements about this table never refer to counterparts; that confuses epistemology and metaphysics [Kripke] |
19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |
9177 | Identity theorists must deny that pains can be imagined without brain states [Kripke] |
9178 | Pain, unlike heat, is picked out by an essential property [Kripke] |