Combining Texts

Ideas for 'Metaphysics', 'Modal Logics and Philosophy' and 'The Discourses'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

6 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
7786 Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle]
7798 There are three axiom schemas for propositional logic [Girle]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
7799 Proposition logic has definitions for its three operators: or, and, and identical [Girle]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
562 Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle]
573 The axioms of mathematics are part of philosophy [Aristotle]
7797 Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle]