display all the ideas for this combination of texts
3 ideas
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
2111 | Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz] |
16416 | The quantifier in logic is not like the ordinary English one (which has empty names, non-denoting terms etc) [Hofweber] |