35 ideas
1798 | He studied philosophy by suspending his judgement on everything [Pyrrho, by Diog. Laertius] |
1800 | Sceptics say reason is only an instrument, because reason can only be attacked with reason [Pyrrho, by Diog. Laertius] |
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] |
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] |
10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [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] |
6595 | If we need a criterion of truth, we need to know whether it is the correct criterion [Pyrrho, by Fogelin] |
6593 | The Pyrrhonians attacked the dogmas of professors, not ordinary people [Pyrrho, by Fogelin] |
6592 | Academics said that Pyrrhonians were guilty of 'negative dogmatism' [Pyrrho, by Fogelin] |
1805 | Judgements vary according to local culture and law (Mode 5) [Pyrrho, by Diog. Laertius] |
1807 | Perception varies with viewing distance and angle (Mode 7) [Pyrrho, by Diog. Laertius] |
1810 | Perception and judgement depend on comparison (Mode 10) [Pyrrho, by Diog. Laertius] |
1802 | Individuals vary in responses and feelings (Mode 2) [Pyrrho, by Diog. Laertius] |
1803 | Objects vary according to which sense perceives them (Mode 3) [Pyrrho, by Diog. Laertius] |
1801 | Animals vary in their feelings and judgements (Mode 1) [Pyrrho, by Diog. Laertius] |
1804 | Perception varies with madness or disease (Mode 4) [Pyrrho, by Diog. Laertius] |
1808 | Perception of things depends on their size or quantity (Mode 8) [Pyrrho, by Diog. Laertius] |
1806 | Perception of objects depends on surrounding conditions (Mode 6) [Pyrrho, by Diog. Laertius] |
1809 | Perception is affected by expectations (Mode 9) [Pyrrho, by Diog. Laertius] |
22363 | You have only begun to do real science when you can express it in numbers [Kelvin] |
3062 | There are no causes, because they are relative, and alike things can't cause one another [Pyrrho, by Diog. Laertius] |
3063 | Motion can't move where it is, and can't move where it isn't, so it can't exist [Pyrrho, by Diog. Laertius] |
20644 | Energy has progressed from a mere formula, to a principle pervading all nature [Kelvin] |