Course Notes for Intermediate Logic

FOL Proofs

Semantics for FOL

Soundness and Completeness

Alternatives to FOL

Propositional Modal Logic

Quantified Modal Logic

Conditionality

Non-Monotonic Logic

Rational Constraints on Probabilities

Confirmation Theory

FINAL EXAM

Advertisements