46 ideas
8060 | In the 17th-18th centuries morality offered a cure for egoism, through altruism [MacIntyre] |
8053 | Twentieth century social life is re-enacting eighteenth century philosophy [MacIntyre] |
8047 | Philosophy has been marginalised by its failure in the Enlightenment to replace religion [MacIntyre] |
8062 | Proof is a barren idea in philosophy, and the best philosophy never involves proof [MacIntyre] |
10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
8052 | To find empiricism and science in the same culture is surprising, as they are really incompatible [MacIntyre] |
8057 | Unpredictability doesn't entail inexplicability, and predictability doesn't entail explicability [MacIntyre] |
8054 | Social sciences discover no law-like generalisations, and tend to ignore counterexamples [MacIntyre] |
21050 | I can only make decisions if I see myself as part of a story [MacIntyre] |
8056 | AI can't predict innovation, or consequences, or external relations, or external events [MacIntyre] |
8059 | The good life for man is the life spent seeking the good life for man [MacIntyre] |
8034 | We still have the appearance and language of morality, but we no longer understand it [MacIntyre] |
8036 | Unlike expressions of personal preference, evaluative expressions do not depend on context [MacIntyre] |
8049 | Moral judgements now are anachronisms from a theistic age [MacIntyre] |
8045 | The failure of Enlightenment attempts to justify morality will explain our own culture [MacIntyre] |
18678 | Maybe final value rests on the extrinsic property of being valued by a rational agent [Korsgaard, by Orsi] |
8051 | Mention of 'intuition' in morality means something has gone wrong with the argument [MacIntyre] |
8048 | When 'man' is thought of individually, apart from all roles, it ceases to be a functional concept [MacIntyre] |
8035 | In trying to explain the type of approval involved, emotivists are either silent, or viciously circular [MacIntyre] |
8037 | The expression of feeling in a sentence is in its use, not in its meaning [MacIntyre] |
8040 | Emotivism cannot explain the logical terms in moral discourse ('therefore', 'if..then') [MacIntyre] |
8042 | Nowadays most people are emotivists, and it is embodied in our culture [MacIntyre] |
8058 | Maybe we can only understand rules if we first understand the virtues [MacIntyre] |
7097 | Virtue is secondary to a role-figure, defined within a culture [MacIntyre, by Statman] |
8043 | Characters are the masks worn by moral philosophies [MacIntyre] |
8061 | If morality just is emotion, there are no external criteria for judging emotions [MacIntyre] |
8038 | Since Moore thinks the right action produces the most good, he is a utilitarian [MacIntyre] |
8050 | There are no natural or human rights, and belief in them is nonsense [MacIntyre] |
8055 | If God is omniscient, he confronts no as yet unmade decisions, so decisions are impossible [MacIntyre] |