66 ideas
5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
18782 | The connectives are studied either through model theory or through proof theory [Mares] |
18783 | Many-valued logics lack a natural deduction system [Mares] |
18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
17715 | The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares] |
17716 | Mathematics is relations between properties we abstract from experience [Mares] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
17714 | Aristotelians dislike the idea of a priori judgements from pure reason [Mares] |
17705 | Empiricists say rationalists mistake imaginative powers for modal insights [Mares] |
17700 | The most popular view is that coherent beliefs explain one another [Mares] |
17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
20589 | Maybe a person's true self is their second-order desires [Tuckness/Wolf] |
17710 | Aristotelian justification uses concepts abstracted from experience [Mares] |
17706 | The essence of a concept is either its definition or its conceptual relations? [Mares] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
17701 | Possible worlds semantics has a nice compositional account of modal statements [Mares] |
17702 | Unstructured propositions are sets of possible worlds; structured ones have components [Mares] |
20583 | If maximising pleasure needs measurement, so does fulfilling desires [Tuckness/Wolf] |
20584 | Desire satisfaction as the ideal is confused, because we desire what we judge to be good [Tuckness/Wolf] |
20598 | In a democracy, which 'people' are included in the decision process? [Tuckness/Wolf] |
20614 | People often have greater attachment to ethnic or tribal groups than to the state [Tuckness/Wolf] |
20596 | For global justice, adopt rules without knowing which country you will inhabit [Tuckness/Wolf] |
20593 | The veil of ignorance ensures both fairness and unanimity [Tuckness/Wolf] |
20608 | Unjust institutions may be seen as just; are they legitimate if just but seen as unjust? [Tuckness/Wolf] |
20597 | If winning elections depends on wealth, we have plutocracy instead of democracy [Tuckness/Wolf] |
20606 | Epistemic theories defend democracy as more likely to produce the right answer [Tuckness/Wolf] |
20600 | Which areas of public concern should be decided democratically, and which not? [Tuckness/Wolf] |
20609 | If several losing groups would win if they combine, a runoff seems called for [Tuckness/Wolf] |
20605 | Rights as interests (unlike rights as autonomy) supports mandatory voting [Tuckness/Wolf] |
20599 | How should democratic votes be aggregated? Can some person's votes count for more? [Tuckness/Wolf] |
20601 | Discussion before voting should be an essential part of democracy [Tuckness/Wolf] |
20613 | We have obligations to our family, even though we didn't choose its members [Tuckness/Wolf] |
20586 | Free speech does not include the right to shout 'Fire!' in a crowded theatre [Tuckness/Wolf] |
20587 | Most people want equality because they want a flourishing life [Tuckness/Wolf] |
20591 | If there is no suffering, wealth inequalities don't matter much [Tuckness/Wolf] |
20602 | Some rights are 'claims' that other people should act in a certain way [Tuckness/Wolf] |
20604 | Choice theory says protecting individual autonomy is basic (but needs to cover infants and animals) [Tuckness/Wolf] |
20603 | One theory (fairly utilitarian) says rights protect interests (but it needs to cover trivial interests) [Tuckness/Wolf] |
20607 | Having a right does not entail further rights needed to implement it [Tuckness/Wolf] |
20612 | If being subject to the law resembles a promise, we are morally obliged to obey it [Tuckness/Wolf] |
20611 | If others must obey laws that we like, we must obey laws that they like? [Tuckness/Wolf] |
20610 | Instead of against natural law, we might assess unjust laws against the values of the culture [Tuckness/Wolf] |
20617 | How should the punishment fit the crime (for stealing chickens?) [Tuckness/Wolf] |
20615 | Just wars: resist aggression, done on just cause, proportionate, last resort, not futile, legal [Tuckness/Wolf] |
20616 | During wars: proportional force, fair targets, fair weapons, safe prisoners, no reprisals [Tuckness/Wolf] |
20620 | If minority views are accepted in debate, then religious views must be accepted [Tuckness/Wolf] |
20619 | Is abortion the ending of a life, or a decision not to start one? [Tuckness/Wolf] |
13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |
1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |