66 ideas
17774 | Definitions make our intuitions mathematically useful [Mayberry] |
17773 | Proof shows that it is true, but also why it must be true [Mayberry] |
3593 | The only way to specify the corresponding fact is asserting the sentence [Williams,M] |
3585 | Coherence needs positive links, not just absence of conflict [Williams,M] |
3584 | Justification needs coherence, while truth might be ideal coherence [Williams,M] |
17795 | Set theory can't be axiomatic, because it is needed to express the very notion of axiomatisation [Mayberry] |
17796 | There is a semi-categorical axiomatisation of set-theory [Mayberry] |
17800 | The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry] |
17801 | The set hierarchy doesn't rely on the dubious notion of 'generating' them [Mayberry] |
17803 | Limitation of size is part of the very conception of a set [Mayberry] |
17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
3599 | Deduction shows entailments, not what to believe [Williams,M] |
17788 | First-order logic only has its main theorems because it is so weak [Mayberry] |
17791 | Only second-order logic can capture mathematical structure up to isomorphism [Mayberry] |
17787 | Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry] |
17790 | No Löwenheim-Skolem logic can axiomatise real analysis [Mayberry] |
17779 | 'Classificatory' axioms aim at revealing similarity in morphology of structures [Mayberry] |
17778 | Axiomatiation relies on isomorphic structures being essentially the same [Mayberry] |
17780 | 'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry] |
17789 | No logic which can axiomatise arithmetic can be compact or complete [Mayberry] |
17784 | Real numbers can be eliminated, by axiom systems for complete ordered fields [Mayberry] |
17782 | Greek quantities were concrete, and ratio and proportion were their science [Mayberry] |
17781 | Real numbers were invented, as objects, to simplify and generalise 'quantity' [Mayberry] |
17799 | Cantor's infinite is an absolute, of all the sets or all the ordinal numbers [Mayberry] |
17797 | Cantor extended the finite (rather than 'taming the infinite') [Mayberry] |
17775 | If proof and definition are central, then mathematics needs and possesses foundations [Mayberry] |
17776 | The ultimate principles and concepts of mathematics are presumed, or grasped directly [Mayberry] |
17777 | Foundations need concepts, definition rules, premises, and proof rules [Mayberry] |
17804 | Axiom theories can't give foundations for mathematics - that's using axioms to explain axioms [Mayberry] |
17792 | 1st-order PA is only interesting because of results which use 2nd-order PA [Mayberry] |
17793 | It is only 2nd-order isomorphism which suggested first-order PA completeness [Mayberry] |
17794 | Set theory is not just first-order ZF, because that is inadequate for mathematics [Mayberry] |
17802 | We don't translate mathematics into set theory, because it comes embodied in that way [Mayberry] |
17805 | Set theory is not just another axiomatised part of mathematics [Mayberry] |
17785 | Real numbers as abstracted objects are now treated as complete ordered fields [Mayberry] |
3591 | We could never pin down how many beliefs we have [Williams,M] |
3582 | Propositions make error possible, so basic experiential knowledge is impossible [Williams,M] |
3592 | Phenomenalism is a form of idealism [Williams,M] |
3579 | Sense data avoid the danger of misrepresenting the world [Williams,M] |
3581 | Sense data can't give us knowledge if they are non-propositional [Williams,M] |
3564 | Is it people who are justified, or propositions? [Williams,M] |
8851 | Coherentists say that regress problems are assuming 'linear' justification [Williams,M] |
3595 | What works always takes precedence over theories [Williams,M] |
8849 | Traditional foundationalism is radically internalist [Williams,M] |
3580 | Experience must be meaningful to act as foundations [Williams,M] |
8853 | Basic judgements are immune from error because they have no content [Williams,M] |
3578 | Are empirical foundations judgements or experiences? [Williams,M] |
8855 | Sensory experience may be fixed, but it can still be misdescribed [Williams,M] |
3576 | Foundationalists are torn between adequacy and security [Williams,M] |
3577 | Strong justification eliminates error, but also reduces our true beliefs [Williams,M] |
3589 | Why should diverse parts of our knowledge be connected? [Williams,M] |
3590 | Coherence theory must give a foundational status to coherence itself [Williams,M] |
3571 | Externalism does not require knowing that you know [Williams,M] |
3574 | Externalism ignores the social aspect of knowledge [Williams,M] |
3569 | In the causal theory of knowledge the facts must cause the belief [Williams,M] |
3567 | How could there be causal relations to mathematical facts? [Williams,M] |
3586 | Only a belief can justify a belief [Williams,M] |
3573 | Externalist reliability refers to a range of conventional conditions [Williams,M] |
3565 | Sometimes I ought to distrust sources which are actually reliable [Williams,M] |
3566 | We control our beliefs by virtue of how we enquire [Williams,M] |
8852 | In the context of scepticism, externalism does not seem to be an option [Williams,M] |
3594 | Scepticism just reveals our limited ability to explain things [Williams,M] |
3575 | Scepticism can involve discrepancy, relativity, infinity, assumption and circularity [Williams,M] |
3587 | Seeing electrons in a cloud chamber requires theory [Williams,M] |
3588 | Foundationalists base meaning in words, coherentists base it in sentences [Williams,M] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |