3 ideas
13750 | Analysis aims at the structure of facts, which are needed to give a rationale to analysis [Urmson, by Schaffer,J] |
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |