65 ideas
| 7490 | Because of Darwin, wisdom as a definite attainable state has faded [Watson] |
| 7461 | The three key ideas are the soul, Europe, and the experiment [Watson] |
| 7464 | The big idea: imitation, the soul, experiments, God, heliocentric universe, evolution? [Watson] |
| 10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
| 7465 | Babylonian thinking used analogy, rather than deduction or induction [Watson] |
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| 23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| 10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| 10635 | Second-order quantification and plural quantification are different [Linnebo] |
| 10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
| 10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| 10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
| 10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
| 23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
| 23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
| 23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
| 7466 | Mesopotamian numbers applied to specific things, and then became abstract [Watson] |
| 23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
| 23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
| 14085 | 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo] |
| 14084 | Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo] |
| 14086 | 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo] |
| 14087 | 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo] |
| 14089 | Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo] |
| 14083 | Structuralism is right about algebra, but wrong about sets [Linnebo] |
| 14090 | In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo] |
| 23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
| 23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
| 14091 | There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo] |
| 10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
| 10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
| 14088 | An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| 20657 | There are 23 core brain functions, with known circuit, transmitters, genes and behaviour [Watson] |
| 20656 | Traditional ideas of the mind were weakened in the 1950s by mind-influencing drugs [Watson] |
| 10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
| 20655 | Humans have been hunter-gatherers for 99.5% of their existence [Watson] |
| 7477 | Modern democracy is actually elective oligarchy [Watson] |
| 7478 | Greek philosophers invented the concept of 'nature' as their special subject [Watson] |
| 20650 | The Uncertainty Principle implies that cause and effect can't be measured [Watson] |
| 20649 | The interference of light through two slits confirmed that it is waves [Watson] |
| 20661 | Electrons rotate in hyrogen atoms 10^13 times per second [Watson] |
| 20647 | Quantum theory explains why nature is made up of units, such as elements [Watson] |
| 20654 | Only four particles are needed for matter: up and down quark, electron, electron-neutrino [Watson] |
| 20651 | The shape of molecules is important, as well as the atoms and their bonds [Watson] |
| 20652 | In 1828 the animal substance urea was manufactured from inorganic ingredients [Watson] |
| 20658 | Information is physical, and living can be seen as replicating and preserving information [Watson] |
| 7462 | DNA mutation suggests humans and chimpanzees diverged 6.6 million years ago [Watson] |
| 7470 | During the rise of civilizations, the main gods changed from female to male [Watson] |
| 7474 | Hinduism has no founder, or prophet, or creed, or ecclesiastical structure [Watson] |
| 7479 | Modern Judaism became stabilised in 200 CE [Watson] |
| 7481 | The Israelites may have asserted the uniqueness of Yahweh to justify land claims [Watson] |
| 7480 | Monotheism was a uniquely Israelite creation within the Middle East [Watson] |
| 7471 | The Gathas (hymns) of Zoroastrianism date from about 1000 BCE [Watson] |
| 7473 | Zoroaster conceived the afterlife, judgement, heaven and hell, and the devil [Watson] |
| 7484 | Jesus never intended to start a new religion [Watson] |
| 7483 | Paul's early writings mention few striking episodes from Jesus' life [Watson] |
| 7475 | Confucius revered the spiritual world, but not the supernatural, or a personal god, or the afterlife [Watson] |
| 7476 | Taoism aims at freedom from the world, the body, the mind, and nature [Watson] |
| 7463 | The three basic ingredients of religion are: the soul, seers or priests, and ritual [Watson] |
| 7468 | In ancient Athens the souls of the dead are received by the 'upper air' [Watson] |