15 ideas
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] |
19673 | Galileo mathematised movement, and revealed its invariable component - acceleration [Galileo, by Meillassoux] |