48 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] |
17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
17765 | Propositional language can only relate statements as the same or as different [Walicki] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
17754 | Inductive proof depends on the choice of the ordering [Walicki] |
17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
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] |
7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
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] |
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] |