Semantics of Logic
Links
The Meanings of Logical Constants
http://www.nyu.edu/gsas/dept/philo/courses/concepts/meaning.html
Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics.
Satisfaction
http://www.earlham.edu/~peters/courses/logsys/satisfac.htm
An introduction to the model-theoretic stasfaction relation, by Peter Suber.
Assigning Meaning to Proofs
http://www.cs.cornell.edu/Info/Projects/NuPrl/documents/semantics/it.html
Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide the making of framewroks for constructive logic, as part of the NuPrl project.
What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either
http://ruccs.rutgers.edu/tech_rpt/evaluate19.pdf
Essay by Jerry Fodor and Ernie Lepore attacking an argument for maintaining principle of the excluded middle in the absence of bivalence by the device of supervaluations.