26 ideas
14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
17963 | The facts of geometry, arithmetic or statics order themselves into theories [Hilbert] |
17966 | Axioms must reveal their dependence (or not), and must be consistent [Hilbert] |
17967 | To decide some questions, we must study the essence of mathematical proof itself [Hilbert] |
17965 | The whole of Euclidean geometry derives from a basic equation and transformations [Hilbert] |
17964 | Number theory just needs calculation laws and rules for integers [Hilbert] |
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] |
7301 | The phenomenalist says that to be is to be perceivable [Cardinal/Hayward/Jones] |
7302 | Linguistic phenomenalism says we can eliminate talk of physical objects [Cardinal/Hayward/Jones] |
7303 | If we lack enough sense-data, are we to say that parts of reality are 'indeterminate'? [Cardinal/Hayward/Jones] |
7299 | Primary qualities can be described mathematically, unlike secondary qualities [Cardinal/Hayward/Jones] |
7300 | An object cannot remain an object without its primary qualities [Cardinal/Hayward/Jones] |
7297 | My justifications might be very coherent, but totally unconnected to the world [Cardinal/Hayward/Jones] |
17968 | By digging deeper into the axioms we approach the essence of sciences, and unity of knowedge [Hilbert] |