30 ideas
9593 | Progress in philosophy is incremental, not an immature seeking after drama [Williamson] |
9594 | Correspondence to the facts is a bad account of analytic truth [Williamson] |
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
9601 | The realist/anti-realist debate is notoriously obscure and fruitless [Williamson] |
9599 | There cannot be vague objects, so there may be no such thing as a mountain [Williamson] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
9602 | Common sense and classical logic are often simultaneously abandoned in debates on vagueness [Williamson] |
9598 | Modal thinking isn't a special intuition; it is part of ordinary counterfactual thinking [Williamson] |
16536 | Williamson can't base metaphysical necessity on the psychology of causal counterfactuals [Lowe on Williamson] |
9596 | We scorn imagination as a test of possibility, forgetting its role in counterfactuals [Williamson] |
9597 | There are 'armchair' truths which are not a priori, because experience was involved [Williamson] |
9592 | Intuition is neither powerful nor vacuous, but reveals linguistic or conceptual competence [Williamson] |
20181 | When analytic philosophers run out of arguments, they present intuitions as their evidence [Williamson] |
9595 | You might know that the word 'gob' meant 'mouth', but not be competent to use it [Williamson] |
9600 | If languages are intertranslatable, and cognition is innate, then cultures are all similar [Williamson] |
21275 | Unlike a stone, the parts of a watch are obviously assembled in order to show the time [Paley] |
21276 | From the obvious purpose and structure of a watch we must infer that it was designed [Paley] |
21277 | Even an imperfect machine can exhibit obvious design [Paley] |
21278 | All the signs of design found in a watch are also found in nature [Paley] |
21357 | No organ shows purpose more obviously than the eyelid [Paley] |