43 ideas
| 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] |
| 4938 | Prior to language, concepts are universals created by self-mapping of brain activity [Edelman/Tononi] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 4934 | Cultures have a common core of colour naming, based on three axes of colour pairs [Edelman/Tononi] |
| 4924 | A conscious human being rapidly reunifies its mind after any damage to the brain [Edelman/Tononi] |
| 4932 | A conscious state endures for about 100 milliseconds, known as the 'specious present' [Edelman/Tononi] |
| 4931 | Consciousness is a process (of neural interactions), not a location, thing, property, connectivity, or activity [Edelman/Tononi] |
| 4923 | The three essentials of conscious experience are privateness, unity and informativeness [Edelman/Tononi] |
| 4941 | Consciousness can create new axioms, but computers can't do that [Edelman/Tononi] |
| 4930 | Consciousness arises from high speed interactions between clusters of neurons [Edelman/Tononi] |
| 4929 | Dreams and imagery show the brain can generate awareness and meaning without input [Edelman/Tononi] |
| 4940 | Physicists see information as a measure of order, but for biologists it is symbolic exchange between animals [Edelman/Tononi] |
| 4935 | The sensation of red is a point in neural space created by dimensions of neuronal activity [Edelman/Tononi] |
| 4936 | The self is founded on bodily awareness centred in the brain stem [Edelman/Tononi] |
| 4939 | A sense of self begins either internally, or externally through language and society [Edelman/Tononi] |
| 4925 | Brains can initiate free actions before the person is aware of their own decision [Edelman/Tononi] |
| 4933 | Consciousness is a process, not a thing, as it maintains unity as its composition changes [Edelman/Tononi] |
| 4928 | Brain complexity balances segregation and integration, like a good team of specialists [Edelman/Tononi] |
| 4927 | Information-processing views of the brain assume the existence of 'information', and dubious brain codes [Edelman/Tononi] |
| 4922 | Consciousness involves interaction with persons and the world, as well as brain functions [Edelman/Tononi] |
| 5793 | Concepts and generalisations result from brain 'global mapping' by 'reentry' [Edelman/Tononi, by Searle] |
| 4926 | Concepts arise when the brain maps its own activities [Edelman/Tononi] |
| 22330 | Grice said patterns of use are often semantically irrelevant, because it is a pragmatic matter [Grice, by Glock] |
| 18045 | Grice's maxim of quality says do not assert what you believe to be false [Grice, by Magidor] |
| 18044 | Grice's maxim of manner requires one to be as brief as possible [Grice, by Magidor] |
| 18046 | Grice's maxim of quantity says be sufficiently informative [Grice, by Magidor] |
| 4937 | Systems that generate a sense of value are basic to the primitive brain [Edelman/Tononi] |