51 ideas
| 6575 | Philosophy may never find foundations, and may undermine our lives in the process [Fogelin] |
| 17082 | Paradox: why do you analyse if you know it, and how do you analyse if you don't? [Ruben] |
| 6585 | Rationality is threatened by fear of inconsistency, illusions of absolutes or relativism, and doubt [Fogelin] |
| 6557 | Humans may never be able to attain a world view which is both rich and consistent [Fogelin] |
| 6568 | A game can be played, despite having inconsistent rules [Fogelin] |
| 6560 | The law of noncontradiction is traditionally the most basic principle of rationality [Fogelin] |
| 6565 | The law of noncontradiction makes the distinction between asserting something and denying it [Fogelin] |
| 6574 | Legal reasoning is analogical, not deductive [Fogelin] |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| 17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
| 17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
| 17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
| 17928 | Ordinal numbers represent order relations [Colyvan] |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| 17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
| 17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
| 17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
| 17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
| 17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
| 17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
| 6582 | Conventions can only work if they are based on something non-conventional [Fogelin] |
| 6576 | My view is 'circumspect rationalism' - that only our intellect can comprehend the world [Fogelin] |
| 6589 | Knowledge is legitimate only if all relevant defeaters have been eliminated [Fogelin] |
| 6596 | For coherentists, circularity is acceptable if the circle is large, rich and coherent [Fogelin] |
| 6597 | A rule of justification might be: don't raise the level of scrutiny without a good reason [Fogelin] |
| 6588 | Scepticism is cartesian (sceptical scenarios), or Humean (future), or Pyrrhonian (suspend belief) [Fogelin] |
| 6590 | Scepticism deals in remote possibilities that are ineliminable and set the standard very high [Fogelin] |
| 6583 | Radical perspectivism replaces Kant's necessary scheme with many different schemes [Fogelin] |
| 17087 | The 'symmetry thesis' says explanation and prediction only differ pragmatically [Ruben] |
| 17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
| 17081 | Usually explanations just involve giving information, with no reference to the act of explanation [Ruben] |
| 17092 | An explanation needs the world to have an appropriate structure [Ruben] |
| 17090 | Most explanations are just sentences, not arguments [Ruben] |
| 17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
| 17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
| 17094 | The causal theory of explanation neglects determinations which are not causal [Ruben] |
| 17088 | Reducing one science to another is often said to be the perfect explanation [Ruben] |
| 17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
| 17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
| 17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
| 17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
| 17089 | Facts explain facts, but only if they are conceptualised or named appropriately [Ruben] |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| 6555 | We are also irrational, with a unique ability to believe in bizarre self-created fictions [Fogelin] |
| 6605 | Critics must be causally entangled with their subject matter [Fogelin] |
| 6607 | The word 'beautiful', when deprived of context, is nearly contentless [Fogelin] |
| 6604 | Saying 'It's all a matter to taste' ignores the properties of the object discussed [Fogelin] |
| 6586 | Cynics are committed to morality, but disappointed or disgusted by human failings [Fogelin] |
| 6572 | Deterrence, prevention, rehabilitation and retribution can come into conflict in punishments [Fogelin] |
| 6573 | Retributivists say a crime can be 'paid for'; deterrentists still worry about potential victims [Fogelin] |