39 ideas
9593 | Progress in philosophy is incremental, not an immature seeking after drama [Williamson] |
8996 | If if time is money then if time is not money then time is money then if if if time is not money... [Quine] |
8995 | Definition by words is determinate but relative; fixing contexts could make it absolute [Quine] |
9594 | Correspondence to the facts is a bad account of analytic truth [Williamson] |
10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
10064 | Quine quickly dismisses If-thenism [Quine, by Musgrave] |
20296 | Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey] |
8998 | Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine] |
8999 | Logic isn't conventional, because logic is needed to infer logic from conventions [Quine] |
9000 | If a convention cannot be communicated until after its adoption, what is its role? [Quine] |
10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
10763 | Completeness and compactness together give axiomatizability [Tharp] |
10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
8994 | If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine] |
8997 | There are four different possible conventional accounts of geometry [Quine] |
8993 | If mathematics follows from definitions, then it is conventional, and part of logic [Quine] |
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] |
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] |