62 ideas
17774 | Definitions make our intuitions mathematically useful [Mayberry] |
17773 | Proof shows that it is true, but also why it must be true [Mayberry] |
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] |
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] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
4363 | The word 'person' is useless in ethics, because what counts as a good or bad self-conscious being? [Hursthouse] |
4355 | There may be inverse akrasia, where the agent's action is better than their judgement recommends [Hursthouse] |
4325 | Must all actions be caused in part by a desire, or can a belief on its own be sufficient? [Hursthouse] |
4351 | It is a fantasy that only through the study of philosophy can one become virtuous [Hursthouse] |
4340 | You are not a dishonest person if a tragic dilemma forces you to do something dishonest [Hursthouse] |
4329 | After a moral dilemma is resolved there is still a 'remainder', requiring (say) regret [Hursthouse] |
4330 | Deontologists resolve moral dilemmas by saying the rule conflict is merely apparent [Hursthouse] |
4341 | Involuntary actions performed in tragic dilemmas are bad because they mar a good life [Hursthouse] |
4358 | Virtue may be neither sufficient nor necessary for eudaimonia [Hursthouse] |
4337 | Teenagers are often quite wise about ideals, but rather stupid about consequences [Hursthouse] |
4324 | Animals and plants can 'flourish', but only rational beings can have eudaimonia [Hursthouse] |
4359 | When it comes to bringing up children, most of us think that the virtues are the best bet [Hursthouse] |
4336 | Any strict ranking of virtues or rules gets abandoned when faced with particular cases [Hursthouse] |
4334 | Virtue ethics is open to the objection that it fails to show priority among the virtues [Hursthouse] |
4361 | Good animals can survive, breed, feel characteristic pleasure and pain, and contribute to the group [Hursthouse] |
4349 | Virtuous people may not be fully clear about their reasons for action [Hursthouse] |
4352 | Performing an act simply because it is virtuous is sufficient to be 'morally motivated' or 'dutiful' [Hursthouse] |
4353 | If moral motivation is an all-or-nothing sense of duty, how can children act morally? [Hursthouse] |
4346 | The emotions of sympathy, compassion and love are no guarantee of right action or acting well [Hursthouse] |
4339 | According to virtue ethics, two agents may respond differently, and yet both be right [Hursthouse] |
4354 | Maybe in a deeply poisoned character none of their milder character traits could ever be a virtue [Hursthouse] |
4364 | Being unusually virtuous in some areas may entail being less virtuous in others [Hursthouse] |
4356 | We are puzzled by a person who can show an exceptional virtue and also behave very badly [Hursthouse] |
4327 | Deontologists do consider consequences, because they reveal when a rule might apply [Hursthouse] |
4335 | 'Codifiable' morality give rules for decisions which don't require wisdom [Hursthouse] |
4328 | Preference utilitarianism aims to be completely value-free, or empirical [Hursthouse] |
4343 | We are torn between utilitarian and deontological views of lying, depending on the examples [Hursthouse] |
4338 | Deontologists usually accuse utilitarians of oversimplifying hard cases [Hursthouse] |
4365 | We are distinct from other animals in behaving rationally - pursuing something as good, for reasons [Hursthouse] |
4350 | If people are virtuous in obedience to God, would they become wicked if they lost their faith? [Hursthouse] |