the entire directory only in Philosophy_of_Logic/Semantics_of_Logic

---

• 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.
• Interpreting Formal Logic - Article by Jaroslav Peregrin. [PDF]
• Satisfaction - An introduction to the model-theoretic stasfaction relation, by Peter Suber.
• 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.
• 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. [PDF]

"Semantics of Logic" search on:   AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Copyright © 2013 Netscape Terms of Use