31 ideas
| 22358 | Scientific objectivity lies in inter-subjective testing [Popper] |
| 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] |
| 11946 | Propensities are part of a situation, not part of the objects [Popper] |
| 12177 | Human artefacts may have essences, in their purposes [Popper] |
| 5451 | Popper felt that ancient essentialism was a bar to progress [Popper, by Mautner] |
| 8361 | What is true used to be possible, but it may no longer be so [Wright,GHv] |
| 22188 | Give Nobel Prizes for really good refutations? [Gorham on Popper] |
| 18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
| 7780 | Falsification is the criterion of demarcation between science and non-science [Popper, by Magee] |
| 16830 | We don't only reject hypotheses because we have falsified them [Lipton on Popper] |
| 6794 | If falsification requires logical inconsistency, then probabilistic statements can't be falsified [Bird on Popper] |
| 6795 | When Popper gets in difficulties, he quietly uses induction to help out [Bird on Popper] |
| 3856 | Good theories have empirical content, explain a lot, and are not falsified [Popper, by Newton-Smith] |
| 7779 | There is no such thing as induction [Popper, by Magee] |
| 3860 | Science cannot be shown to be rational if induction is rejected [Newton-Smith on Popper] |
| 12176 | Science does not aim at ultimate explanations [Popper] |
| 8363 | p is a cause and q an effect (not vice versa) if manipulations of p change q [Wright,GHv] |
| 8364 | We can imagine controlling floods by controlling rain, but not vice versa [Wright,GHv] |
| 8366 | The very notion of a cause depends on agency and action [Wright,GHv] |
| 8362 | We give regularities a causal character by subjecting them to experiment [Wright,GHv] |
| 8360 | We must further analyse conditions for causation, into quantifiers or modal concepts [Wright,GHv] |
| 8365 | Some laws are causal (Ohm's Law), but others are conceptual principles (conservation of energy) [Wright,GHv] |
| 12175 | Galilean science aimed at true essences, as the ultimate explanations [Popper] |
| 12179 | Essentialist views of science prevent further questions from being raised [Popper] |