Notes
Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?
