30 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] |
19513 | A contextualist coherentist will say that how strongly a justification must cohere depends on context [DeRose] |
19514 | Classical invariantism combines fixed truth-conditions with variable assertability standards [DeRose] |
19515 | We can make contextualism more precise, by specifying the discrimination needed each time [DeRose] |
19510 | In some contexts there is little more to knowledge than true belief. [DeRose] |
19516 | Contextualists worry about scepticism, but they should focus on the use of 'know' in ordinary speech [DeRose] |
19511 | If contextualism is about knowledge attribution, rather than knowledge, then it is philosophy of language [DeRose] |
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] |
12175 | Galilean science aimed at true essences, as the ultimate explanations [Popper] |
12179 | Essentialist views of science prevent further questions from being raised [Popper] |