Combining Texts

Ideas for 'The Logic of Boundaryless Concepts', 'Two-Dimensional Semantics' and 'Categories'

unexpand 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 / A. Overview of Logic / 3. Value of Logic
Logic guides thinking, but it isn't a substitute for it [Rumfitt]
     Full Idea: Logic is part of a normative theory of thinking, not a substitute for thinking.
     From: Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13)
     A reaction: There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy.
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Predications of predicates are predications of their subjects [Aristotle]
     Full Idea: Whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject also.
     From: Aristotle (Categories [c.331 BCE], 01b10)