17 ideas
5784 | In its primary and formal sense, 'true' applies to propositions, not beliefs [Russell] |
5777 | The truth or falsehood of a belief depends upon a fact to which the belief 'refers' [Russell] |
5783 | Propositions of existence, generalities, disjunctions and hypotheticals make correspondence tricky [Russell] |
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] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
5780 | The three questions about belief are its contents, its success, and its character [Russell] |
17060 | Best Explanation is the core notion of epistemology [Harman, by Smart] |
5778 | If we object to all data which is 'introspective' we will cease to believe in toothaches [Russell] |
5779 | There are distinct sets of psychological and physical causal laws [Russell] |
5781 | Our important beliefs all, if put into words, take the form of propositions [Russell] |
5782 | A proposition expressed in words is a 'word-proposition', and one of images an 'image-proposition' [Russell] |
5776 | A proposition is what we believe when we believe truly or falsely [Russell] |