35 ideas
| 7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
| 7798 | There are three axiom schemas for propositional logic [Girle] |
| 7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
| 7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
| 7794 | There are seven modalities in S4, each with its negation [Girle] |
| 7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
| 7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
| 7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
| 7788 | Modal logic has four basic modal negation equivalences [Girle] |
| 7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
| 7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
| 7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
| 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] |
| 7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
| 7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
| 7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
| 23710 | Dispositionalism says modality is in the powers of this world, not outsourced to possible worlds [Friend/Kimpton-Nye] |
| 13195 | To explain a house we must describe its use, as well as its parts [Leibniz] |
| 13193 | Active force is not just potential for action, since it involves a real effort or striving [Leibniz] |
| 13194 | God's laws would be meaningless without internal powers for following them [Leibniz] |
| 23706 | Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye] |
| 13196 | All qualities of bodies reduce to forces [Leibniz] |
| 13192 | Power is passive force, which is mass, and active force, which is entelechy or form [Leibniz] |