22 ideas
14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
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] |
14281 | A thing works like formal probability if all the options sum to 100% [Edgington] |
14284 | Conclusion improbability can't exceed summed premise improbability in valid arguments [Edgington] |
14270 | Simple indicatives about past, present or future do seem to form a single semantic kind [Edgington] |
14269 | Maybe forward-looking indicatives are best classed with the subjunctives [Edgington] |
14275 | Truth-function problems don't show up in mathematics [Edgington] |
14274 | Inferring conditionals from disjunctions or negated conjunctions gives support to truth-functionalism [Edgington] |
14276 | The truth-functional view makes conditionals with unlikely antecedents likely to be true [Edgington] |
14290 | Doctor:'If patient still alive, change dressing'; Nurse:'Either dead patient, or change dressing'; kills patient! [Edgington] |
14271 | Non-truth-functionalist say 'If A,B' is false if A is T and B is F, but deny that is always true for TT,FT and FF [Edgington] |
14272 | I say "If you touch that wire you'll get a shock"; you don't touch it. How can that make the conditional true? [Edgington] |
14282 | On the supposition view, believe if A,B to the extent that A&B is nearly as likely as A [Edgington] |
14278 | Truth-functionalists support some conditionals which we assert, but should not actually believe [Edgington] |
14287 | Does 'If A,B' say something different in each context, because of the possibiites there? [Edgington] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
21788 | The moral will is self-determining, but the ethical will is met in society [Houlgate] |