17 ideas
14782 | Philosophy is an experimental science, resting on common experience [Peirce] |
14787 | Self-contradiction doesn't reveal impossibility; it is inductive impossibility which reveals self-contradiction [Peirce] |
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] |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
14783 | Logic, unlike mathematics, is not hypothetical; it asserts categorical ends from hypothetical means [Peirce] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
14788 | Mathematics is close to logic, but is even more abstract [Peirce] |
14786 | Some logical possibility concerns single propositions, but there is also compatibility between propositions [Peirce] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
14789 | Experience is indeed our only source of knowledge, provided we include inner experience [Peirce] |
14785 | The world is one of experience, but experiences are always located among our ideas [Peirce] |
14784 | Ethics is the science of aims [Peirce] |