Semantics vs. proof theory
Semantics
Meaning and truth
Worlds
Constraints on truth values
Relation of language to the world
Declarative
Proof theory
Provability
Formal proofs
Rules of inference
Relations within language
Procedural
Previous slide
Next slide
Back to first slide
View graphic version