3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
6981 | Determinism clashes with free will, as the past determines action, and is beyond our control [Inwagen, by Jackson] |