22 ideas
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
8250 | So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
8719 | There can be impossible and contradictory objects, if they can have properties [Meinong, by Friend] |
8971 | There are objects of which it is true that there are no such objects [Meinong] |
8718 | Meinong says an object need not exist, but must only have properties [Meinong, by Friend] |
7756 | Meinong said all objects of thought (even self-contradictions) have some sort of being [Meinong, by Lycan] |
15781 | The objects of knowledge are far more numerous than objects which exist [Meinong] |
12756 | Substance is a force for acting and being acted upon [Leibniz] |
12755 | Final causes can help with explanations in physics [Leibniz] |
12760 | Something rather like souls (though not intelligent) could be found everywhere [Leibniz] |
12759 | There are atoms of substance, but no atoms of bulk or extension [Leibniz] |
12718 | Secondary matter is active and complete; primary matter is passive and incomplete [Leibniz] |
11854 | If there is some trace of God in things, that would explain their natural force [Leibniz] |
12758 | It is plausible to think substances contain the same immanent force seen in our free will [Leibniz] |
19408 | To say that nature or the one universal substance is God is a pernicious doctrine [Leibniz] |