Semantics of Logic

Interpreting Formal Logic Interpreting Formal Logic- Article by Jaroslav Peregrin. Assigning Meaning to Proofs Assigning Meaning to Proofs- Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide… Satisfaction Satisfaction- An introduction to the model-theoretic stasfaction relation, by Peter Suber. The Meanings of Logical Constants The Meanings of Logical Constants- Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics.