30 ideas
| 19079 | For idealists reality is like a collection of beliefs, so truths and truthmakers are not distinct [Young,JO] |
| 19076 | Coherence theories differ over the coherence relation, and over the set of proposition with which to cohere [Young,JO] |
| 19077 | Two propositions could be consistent with your set, but inconsistent with one another [Young,JO] |
| 19078 | Coherence with actual beliefs, or our best beliefs, or ultimate ideal beliefs? [Young,JO] |
| 19084 | Coherent truth is not with an arbitrary set of beliefs, but with a set which people actually do believe [Young,JO] |
| 19083 | How do you identify the best coherence set; and aren't there truths which don't cohere? [Young,JO] |
| 19075 | Deflationary theories reject analysis of truth in terms of truth-conditions [Young,JO] |
| 13201 | ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton] |
| 13204 | The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton] |
| 13206 | A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton] |
| 13200 | Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton] |
| 13199 | The empty set may look pointless, but many sets can be constructed from it [Enderton] |
| 13203 | The singleton is defined using the pairing axiom (as {x,x}) [Enderton] |
| 13202 | Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton] |
| 13205 | We can only define functions if Choice tells us which items are involved [Enderton] |
| 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] |
| 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] |
| 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] |
| 19074 | Are truth-condtions other propositions (coherence) or features of the world (correspondence)? [Young,JO] |
| 19082 | Coherence truth suggests truth-condtions are assertion-conditions, which need knowledge of justification [Young,JO] |