32 ideas
| 9136 | The paradox of analysis says that any conceptual analysis must be either trivial or false [Sorensen] |
| 5035 | The two basics of reasoning are contradiction and sufficient reason [Leibniz] |
| 9131 | Two long understandable sentences can have an unintelligible conjunction [Sorensen] |
| 9139 | If nothing exists, no truthmakers could make 'Nothing exists' true [Sorensen] |
| 9140 | Which toothbrush is the truthmaker for 'buy one, get one free'? [Sorensen] |
| 13010 | In order to select the logic justified by experience, we would need to use a lot of logic [Boghossian on Quine] |
| 9002 | Elementary logic requires truth-functions, quantifiers (and variables), identity, and also sets of variables [Quine] |
| 13681 | Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider] |
| 9119 | No attempt to deny bivalence has ever been accepted [Sorensen] |
| 13829 | If logical truths essentially depend on logical constants, we had better define the latter [Hacking on Quine] |
| 9135 | We now see that generalizations use variables rather than abstract entities [Sorensen] |
| 9125 | Denying problems, or being romantically defeated by them, won't make them go away [Sorensen] |
| 9003 | Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine] |
| 9137 | Banning self-reference would outlaw 'This very sentence is in English' [Sorensen] |
| 9004 | If set theory is not actually a branch of logic, then Frege's derivation of arithmetic would not be from logic [Quine] |
| 9116 | Vague words have hidden boundaries [Sorensen] |
| 9006 | Commitment to universals is as arbitrary or pragmatic as the adoption of a new system of bookkeeping [Quine] |
| 9132 | An offer of 'free coffee or juice' could slowly shift from exclusive 'or' to inclusive 'or' [Sorensen] |
| 9001 | Frege moved Kant's question about a priori synthetic to 'how is logical certainty possible?' [Quine] |
| 9128 | It is propositional attitudes which can be a priori, not the propositions themselves [Sorensen] |
| 9130 | Attributing apriority to a proposition is attributing a cognitive ability to someone [Sorensen] |
| 9005 | Examination of convention in the a priori begins to blur the distinction with empirical knowledge [Quine] |
| 9118 | The colour bands of the spectrum arise from our biology; they do not exist in the physics [Sorensen] |
| 9124 | We are unable to perceive a nose (on the back of a mask) as concave [Sorensen] |
| 9126 | Bayesians build near-certainty from lots of reasonably probable beliefs [Sorensen] |
| 9121 | Illusions are not a reason for skepticism, but a source of interesting scientific information [Sorensen] |
| 5038 | Assume that mind and body follow their own laws, but God has harmonised them [Leibniz] |
| 9134 | The negation of a meaningful sentence must itself be meaningful [Sorensen] |
| 9133 | Propositions are what settle problems of ambiguity in sentences [Sorensen] |
| 9129 | I can buy any litre of water, but not every litre of water [Sorensen] |
| 9122 | God cannot experience unwanted pain, so God cannot understand human beings [Sorensen] |
| 5037 | God doesn't decide that Adam will sin, but that sinful Adam's existence is to be preferred [Leibniz] |