51 ideas
5333 | Philosophy needs wisdom about who we are, as well as how we ought to be [Flanagan] |
5334 | We resist science partly because it can't provide ethical wisdom [Flanagan] |
10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
10763 | Completeness and compactness together give axiomatizability [Tharp] |
10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
5340 | Explanation does not entail prediction [Flanagan] |
5346 | In the 17th century a collisionlike view of causation made mental causation implausible [Flanagan] |
21833 | Research suggest that we overrate conscious experience [Flanagan] |
5341 | Only you can have your subjective experiences because only you are hooked up to your nervous system [Flanagan] |
5351 | We only have a sense of our self as continuous, not as exactly the same [Flanagan] |
5353 | The self is an abstraction which magnifies important aspects of autobiography [Flanagan] |
5354 | We are not born with a self; we develop a self through living [Flanagan] |
5349 | For Buddhists a fixed self is a morally dangerous illusion [Flanagan] |
5338 | Normal free will claims control of what I do, but a stronger view claims control of thought and feeling [Flanagan] |
5344 | Free will is held to give us a whole list of desirable capacities for living [Flanagan] |
5332 | People believe they have free will that circumvents natural law, but only an incorporeal mind could do this [Flanagan] |
5345 | We only think of ourselves as having free will because we first thought of God that way [Flanagan] |
5343 | People largely came to believe in dualism because it made human agents free [Flanagan] |
5347 | Behaviourism notoriously has nothing to say about mental causation [Flanagan] |
5339 | Cars and bodies obey principles of causation, without us knowing any 'strict laws' about them [Flanagan] |
21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
5342 | Physicalism doesn't deny that the essence of an experience is more than its neural realiser [Flanagan] |
5335 | Emotions are usually very apt, rather than being non-rational and fickle [Flanagan] |
5348 | Intellectualism admires the 'principled actor', non-intellectualism admires the 'good character' [Flanagan] |
5355 | Cognitivists think morals are discovered by reason [Flanagan] |
21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
5336 | Ethics is the science of the conditions that lead to human flourishing [Flanagan] |
21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
21275 | Unlike a stone, the parts of a watch are obviously assembled in order to show the time [Paley] |
21276 | From the obvious purpose and structure of a watch we must infer that it was designed [Paley] |
21277 | Even an imperfect machine can exhibit obvious design [Paley] |
21278 | All the signs of design found in a watch are also found in nature [Paley] |
21357 | No organ shows purpose more obviously than the eyelid [Paley] |
5350 | The Hindu doctrine of reincarnation only appeared in the eighth century CE [Flanagan] |
21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |
5352 | The idea of the soul gets some support from the scientific belief in essential 'natural kinds' [Flanagan] |