29 ideas
| 19081 | Coherence with a set of propositions suggests we can know the proposition corresponds [Davidson, by Donnellan] |
| 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] |
| 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] |
| 8806 | The concepts of belief and truth are linked, since beliefs are meant to fit reality [Davidson] |
| 8252 | Davidson believes experience is non-conceptual, and outside the space of reasons [Davidson, by McDowell] |
| 8255 | Davidson says the world influences us causally; I say it influences us rationally [McDowell on Davidson] |
| 8804 | Reasons for beliefs are not the same as evidence [Davidson] |
| 8802 | Sensations lack the content to be logical; they cause beliefs, but they cannot justify them [Davidson] |
| 8801 | Coherent justification says only beliefs can be reasons for holding other beliefs [Davidson] |
| 8805 | Skepticism is false because our utterances agree, because they are caused by the same objects [Davidson] |
| 18703 | Davidson's Cogito: 'I think, therefore I am generally right' [Davidson, by Button] |
| 6613 | The natural kinds are objects, processes and properties/relations [Ellis] |
| 6616 | Least action is not a causal law, but a 'global law', describing a global essence [Ellis] |
| 6615 | A species requires a genus, and its essence includes the essence of the genus [Ellis] |
| 6614 | A hierarchy of natural kinds is elaborate ontology, but needed to explain natural laws [Ellis] |
| 6612 | Without general principles, we couldn't predict the behaviour of dispositional properties [Ellis] |