20 ideas
22664 | I do not care if my trivial beliefs are false, and I have no interest in many truths [Nozick] |
22665 | Maybe James was depicting the value of truth, and not its nature [Nozick] |
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] |
14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
22662 | In the instrumental view of rationality it only concerns means, and not ends [Nozick] |
22666 | Is it rational to believe a truth which leads to permanent misery? [Nozick] |
22667 | Rationality needs some self-consciousness, to also evaluate how we acquired our reasons [Nozick] |
22663 | Rationality is normally said to concern either giving reasons, or reliability [Nozick] |