Semantics of Logic (Philosophy of Logic)

Semantics of Logic Sites:

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. (Semantics of Logic) http://www.nyu.edu/gsas/dept/philo/courses/concepts/meaning.html Satisfaction Satisfaction: An introduction to the model-theoretic stasfaction relation, by Peter Suber. (Semantics of Logic) http://www.earlham.edu/~peters/courses/logsys/satisfac.htm Torkel Franzén's Homepage Torkel Franzén's Homepage: Contains his PhD thesis, `Provability and Truth'. (Semantics of Logic) http://www.sm.luth.se/~torkel/ 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 the making of framewroks for constructive logic, as part of the NuPrl project. (Semantics of Logic) http://www.cs.cornell.edu/Info/Projects/NuPrl/documents/semantics/it.html On the Meaning of the Logical Constants and the Justifications of the Logical Laws On the Meaning of the Logical Constants and the Justifications of the Logical Laws: Lecture notes of Per Martin-Löf. Argues that a close analysis of the concepts of proof, judgement and justification yield a direct, constructive account of the meaning of logical judgements. (Semantics of Logic) http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either: 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. (Semantics of Logic) http://ruccs.rutgers.edu/tech_rpt/evaluate19.pdf