50 ideas
17713 | After 1903, Husserl avoids metaphysical commitments [Mares] |
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
22664 | I do not care if my trivial beliefs are false, and I have no interest in many truths [Nozick] |
22665 | Maybe James was depicting the value of truth, and not its nature [Nozick] |
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] |
17703 | Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares] |
3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
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] |
2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
17704 | Operationalism defines concepts by our ways of measuring them [Mares] |
22662 | In the instrumental view of rationality it only concerns means, and not ends [Nozick] |
22666 | Is it rational to believe a truth which leads to permanent misery? [Nozick] |
22667 | Rationality needs some self-consciousness, to also evaluate how we acquired our reasons [Nozick] |
22663 | Rationality is normally said to concern either giving reasons, or reliability [Nozick] |
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] |
18648 | Freedom to live according to our own conception of the good is the ultimate value [Nozick, by Kymlicka] |
20585 | If an experience machine gives you any experience you want, should you hook up for life? [Nozick] |
18643 | A minimal state should protect, but a state forcing us to do more is unjustified [Nozick] |
18642 | Individual rights are so strong that the state and its officials must be very limited in power [Nozick] |
18644 | States can't enforce mutual aid on citizens, or interfere for their own good [Nozick] |
22661 | My Anarchy, State and Utopia neglected our formal social ties and concerns [Nozick on Nozick] |
18641 | If people hold things legitimately, just distribution is simply the result of free exchanges [Nozick, by Kymlicka] |
20539 | Property is legitimate by initial acquisition, voluntary transfer, or rectification of injustice [Nozick, by Swift] |
18645 | Nozick assumes initial holdings include property rights, but we can challenge that [Kymlicka on Nozick] |
20521 | Can I come to own the sea, by mixing my private tomato juice with it? [Nozick] |
18646 | How did the private property get started? If violence was involved, we can redistribute it [Kymlicka on Nozick] |
18647 | If property is only initially acquired by denying the rights of others, Nozick can't get started [Kymlicka on Nozick] |
21737 | Unowned things may be permanently acquired, if it doesn't worsen the position of other people [Nozick] |
21738 | Maybe land was originally collectively owned, rather than unowned? [Cohen,GA on Nozick] |
20930 | The existence of law is one thing, its merits and demerits another [Austin,J] |
17708 | Maybe space has points, but processes always need regions with a size [Mares] |