27 ideas
| 5035 | The two basics of reasoning are contradiction and sufficient reason [Leibniz] |
| 21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
| 21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
| 21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
| 21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
| 21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
| 21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
| 21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
| 21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
| 21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
| 21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
| 5791 | Reduction is either by elimination, or by explanation [Searle] |
| 5799 | Eliminative reduction needs a gap between appearance and reality, as in sunsets [Searle] |
| 5790 | A property is 'emergent' if it is caused by elements of a system, when the elements lack the property [Searle] |
| 21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
| 5792 | Explanation of how we unify our mental stimuli into a single experience is the 'binding problem' [Searle] |
| 5786 | A system is either conscious or it isn't, though the intensity varies a lot [Searle] |
| 5794 | Consciousness has a first-person ontology, which only exists from a subjective viewpoint [Searle] |
| 5795 | There isn't one consciousness (information-processing) which can be investigated, and another (phenomenal) which can't [Searle] |
| 5788 | The use of 'qualia' seems to imply that consciousness and qualia are separate [Searle] |
| 5038 | Assume that mind and body follow their own laws, but God has harmonised them [Leibniz] |
| 5789 | I now think syntax is not in the physics, but in the eye of the beholder [Searle] |
| 5798 | Consciousness has a first-person ontology, so it cannot be reduced without omitting something [Searle] |
| 5787 | There is non-event causation between mind and brain, as between a table and its solidity [Searle] |
| 5797 | The pattern of molecules in the sea is much more complex than the complexity of brain neurons [Searle] |
| 5796 | If tree rings contain information about age, then age contains information about rings [Searle] |
| 5037 | God doesn't decide that Adam will sin, but that sinful Adam's existence is to be preferred [Leibniz] |