7 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
16776 | Substance is an intrinsic thing, so parts of substances can't also be intrinsic things [Duns Scotus] |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |