Combining Texts

Ideas for 'Commentary on 'De Anima'', 'First-Order Modal Logic' and 'The Trouble with Being Born'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
Negation doesn't arise from reasoning, but from deep instincts [Cioran]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
'Predicate abstraction' abstracts predicates from formulae, giving scope for constants and functions [Fitting/Mendelsohn]