27 ideas
| 22138 | Science rests on scholastic metaphysics, not on Hume, Kant or Carnap [Boulter] |
| 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] |
| 22180 | Multiple realisability is said to make reduction impossible [Okasha] |
| 22134 | Thoughts are general, but the world isn't, so how can we think accurately? [Boulter] |
| 22150 | Logical possibility needs the concepts of the proposition to be adequate [Boulter] |
| 22177 | Randomised Control Trials have a treatment and a control group, chosen at random [Okasha] |
| 22139 | Experiments don't just observe; they look to see what interventions change the natural order [Boulter] |
| 22172 | Not all sciences are experimental; astronomy relies on careful observation [Okasha] |
| 22174 | The discoverers of Neptune didn't change their theory because of an anomaly [Okasha] |
| 22175 | Science mostly aims at confirming theories, rather than falsifying them [Okasha] |
| 22182 | Theories with unobservables are underdetermined by the evidence [Okasha] |
| 22136 | Science begins with sufficient reason, de-animation, and the importance of nature [Boulter] |
| 22185 | Two things can't be incompatible if they are incommensurable [Okasha] |
| 22176 | Induction is inferences from examined to unexamined instances of a given kind [Okasha] |
| 22178 | If the rules only concern changes of belief, and not the starting point, absurd views can look ratiional [Okasha] |
| 22135 | Our concepts can never fully capture reality, but simplification does not falsify [Boulter] |
| 22152 | Aristotelians accept the analytic-synthetic distinction [Boulter] |
| 22156 | The facts about human health are the measure of the values in our lives [Boulter] |
| 22173 | Galileo refuted the Aristotelian theory that heavier objects fall faster [Okasha] |
| 17366 | Virtually all modern views of speciation rest on relational rather than intrinsic features [Okasha] |