30 ideas
18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
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] |
18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
23708 | Humeans see properties as having no more essential features and relations than their distinctness [Friend/Kimpton-Nye, by PG] |
23709 | Dispositions are what individuate properties, and they constitute their essence [Friend/Kimpton-Nye] |
23707 | Powers are properties which necessitate dispositions [Friend/Kimpton-Nye] |
23714 | Dispositional essentialism (unlike the grounding view) says only fundamental properties are powers [Friend/Kimpton-Nye] |
23711 | A power is a property which consists entirely of dispositions [Friend/Kimpton-Nye] |
23712 | Powers are qualitative properties which fully ground dispositions [Friend/Kimpton-Nye] |
23698 | Dispositions have directed behaviour which occurs if triggered [Friend/Kimpton-Nye] |
23699 | 'Masked' dispositions fail to react because something intervenes [Friend/Kimpton-Nye] |
23700 | A disposition is 'altered' when the stimulus reverses the disposition [Friend/Kimpton-Nye] |
23701 | A disposition is 'mimicked' if a different cause produces that effect from that stimulus [Friend/Kimpton-Nye] |
23702 | A 'trick' can look like a stimulus for a disposition which will happen without it [Friend/Kimpton-Nye] |
23703 | Some dispositions manifest themselves without a stimulus [Friend/Kimpton-Nye] |
23704 | We could analyse dispositions as 'possibilities', with no mention of a stimulus [Friend/Kimpton-Nye] |
23710 | Dispositionalism says modality is in the powers of this world, not outsourced to possible worlds [Friend/Kimpton-Nye] |
18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
23706 | Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye] |