5 ideas
19389 | Truth is a characteristic of possible thoughts [Leibniz] |
19388 | True and false seem to pertain to thoughts, yet unthought propositions seem to be true or false [Leibniz] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
14797 | Vagueness is a neglected but important part of mathematical thought [Peirce] |
14798 | All communication is vague, and is outside the principle of non-contradiction [Peirce] |