33 ideas
| 13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
| 13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
| 13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
| 13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
| 13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
| 13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| 8502 | Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt] |
| 8503 | The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt] |
| 8501 | Quineans take predication about objects as basic, not reference to properties they may have [Devitt] |
| 17368 | Essentialism concerns the nature of a group, not its category [Devitt] |
| 17370 | Things that gradually change, like species, can still have essences [Devitt] |
| 9354 | Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt] |
| 19565 | How could the mind have a link to the necessary character of reality? [Devitt] |
| 9353 | We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt] |
| 9356 | The idea of the a priori is so obscure that it won't explain anything [Devitt] |
| 19564 | Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt] |
| 7621 | Special relativity, unlike general relativity, was operationalist in spirit [Putnam on Einstein] |
| 17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
| 22955 | Einstein took causation to be the bedrock of physics [Einstein, by Coveney/Highfield] |
| 20638 | General relativity assumes laws of nature are the same in all frames of reference [Einstein, by Close] |
| 20636 | Newton is a special case of Einstein's general theory, with an infinite speed of light [Einstein, by Close] |
| 21230 | The theory is 'special' because it sticks to observers moving straight, at constant speeds [Einstein, by Farmelo] |
| 21231 | Assume the speed of light is constant for all observers, and the laws of physics are the same [Einstein, by Farmelo] |
| 20634 | General Relativity says there is no absolute force or acceleration [Einstein, by Close] |
| 20648 | Mass is a measure of energy content [Einstein] |
| 21232 | Space-time arises from the connection between measurements of space and of time [Einstein, by Farmelo] |
| 17369 | We name species as small to share properties, but large enough to yield generalisations [Devitt] |
| 17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
| 17367 | Species are phenetic, biological, niche, or phylogenetic-cladistic [Devitt, by PG] |
| 17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |
| 7626 | I do not believe in a personal God [Einstein] |