3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
12723 | The most primitive thing in substances is force, which leads to their actions and dispositions [Leibniz] |
12191 | Counterfactuals are true if logical or natural laws imply the consequence [Goodman, by McFetridge] |