26 ideas
| 8996 | If if time is money then if time is not money then time is money then if if if time is not money... [Quine] |
| 22358 | Scientific objectivity lies in inter-subjective testing [Popper] |
| 8995 | Definition by words is determinate but relative; fixing contexts could make it absolute [Quine] |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| 10064 | Quine quickly dismisses If-thenism [Quine, by Musgrave] |
| 20296 | Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey] |
| 8998 | Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine] |
| 8999 | Logic isn't conventional, because logic is needed to infer logic from conventions [Quine] |
| 9000 | If a convention cannot be communicated until after its adoption, what is its role? [Quine] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 8994 | If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine] |
| 8997 | There are four different possible conventional accounts of geometry [Quine] |
| 8993 | If mathematics follows from definitions, then it is conventional, and part of logic [Quine] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 22188 | Give Nobel Prizes for really good refutations? [Gorham on 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] |