14 ideas
18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
13344 | X follows from sentences K iff every model of K also models X [Tarski] |
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
12756 | Substance is a force for acting and being acted upon [Leibniz] |
12755 | Final causes can help with explanations in physics [Leibniz] |
3158 | Theories of intentionality presuppose rationality, so can't explain it [Dennett] |
12760 | Something rather like souls (though not intelligent) could be found everywhere [Leibniz] |
3159 | Beliefs and desires aren't real; they are prediction techniques [Dennett] |
13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
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] |