3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
10009 | Substitutional quantification is just a variant of Tarski's account [Wallace, by Baldwin] |
14303 | Truth-functional conditionals have a simple falsification, when A is true and B is false [Peirce] |