29 ideas
19504 | My modus ponens might be your modus tollens [Pritchard,D] |
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] |
19503 | An improbable lottery win can occur in a nearby possible world [Pritchard,D] |
7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
19505 | Moore begs the question, or just offers another view, or uses 'know' wrongly [Pritchard,D, by PG] |
19499 | We can have evidence for seeing a zebra, but no evidence for what is entailed by that [Pritchard,D] |
19500 | Favouring: an entailment will give better support for the first belief than reason to deny the second [Pritchard,D] |
19502 | Maybe knowledge just needs relevant discriminations among contrasting cases [Pritchard,D] |
19498 | Epistemic internalism usually says justification must be accessible by reflection [Pritchard,D] |
19506 | Externalism is better than internalism in dealing with radical scepticism [Pritchard,D] |
19496 | Disjunctivism says perceptual justification must be both factual and known by the agent [Pritchard,D] |
19497 | Metaphysical disjunctivism says normal perceptions and hallucinations are different experiences [Pritchard,D] |
19495 | Epistemic externalism struggles to capture the idea of epistemic responsibility [Pritchard,D] |
19501 | We assess error against background knowledge, but that is just what radical scepticism challenges [Pritchard,D] |
19507 | Radical scepticism is merely raised, and is not a response to worrying evidence [Pritchard,D] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |