42 ideas
6575 | Philosophy may never find foundations, and may undermine our lives in the process [Fogelin] |
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] |
17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
17765 | Propositional language can only relate statements as the same or as different [Walicki] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
17754 | Inductive proof depends on the choice of the ordering [Walicki] |
21598 | Austin revealed many meanings for 'vague': rough, ambiguous, general, incomplete... [Austin,JL, by Williamson] |
17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
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] |
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] |