display all the ideas for this combination of texts
2 ideas
12656 | P-and-Q gets its truth from the truth of P and truth of Q, but consistency isn't like that [Fodor] |
18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |