58 ideas
22496 | Wisdom only implies the knowledge achievable in any normal lifetime [Foot] |
17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |
17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
17928 | Ordinal numbers represent order relations [Colyvan] |
17923 | Intuitionists only accept a few safe infinities [Colyvan] |
17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |
10540 | We can't say that light is concrete but radio waves abstract [Dummett] |
10515 | Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale] |
10544 | The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett] |
10546 | We don't need a sharp concrete/abstract distinction [Dummett] |
10548 | The context principle for names rules out a special philosophical sense for 'existence' [Dummett] |
10281 | The objects we recognise the world as containing depends on the structure of our language [Dummett] |
10532 | We can understand universals by studying predication [Dummett] |
10534 | 'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett] |
10541 | Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett] |
10545 | Abstract objects may not cause changes, but they can be the subject of change [Dummett] |
10555 | If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett] |
10543 | Abstract objects must have names that fall within the range of some functional expression [Dummett] |
10320 | If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale] |
10547 | Abstract objects can never be confronted, and need verbal phrases for reference [Dummett] |
10531 | There is a modern philosophical notion of 'object', first introduced by Frege [Dummett] |
17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
19168 | Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson] |
10549 | Since abstract objects cannot be picked out, we must rely on identity statements [Dummett] |
10516 | A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale] |
23694 | All criterions of practical rationality derive from goodness of will [Foot] |
23686 | Moral reason is not just neutral, because morality is part of the standard of rationality [Foot, by Hacker-Wright] |
23693 | Practical rationality must weigh both what is morally and what is non-morally required [Foot] |
23687 | Moral virtues arise from human nature, as part of what makes us good human beings [Foot, by Hacker-Wright] |
22492 | Virtues are as necessary to humans as stings are to bees [Foot] |
22493 | Sterility is a human defect, but the choice to be childless is not [Foot] |
22491 | Moral evaluations are not separate from facts, but concern particular facts about functioning [Foot] |
22497 | Deep happiness usually comes from the basic things in life [Foot] |
22498 | Happiness is enjoying the pursuit and attainment of right ends [Foot] |
23695 | Good actions can never be justified by the good they brings to their agent [Foot] |
22499 | We all know that just pretending to be someone's friend is not the good life [Foot] |
22495 | Someone is a good person because of their rational will, not their body or memory [Foot] |
22502 | Refraining from murder is not made good by authenticity or self-fulfilment [Foot] |