3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
19347 | Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |