Directory of Semantics of Logic Resources

Home > Society > Philosophy > Philosophy of Logic > Semantics of Logic

Resources in This Category

• 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.

• Interpreting Formal Logic

  http://jarda.peregrin.cz/mybibl/PDFTxt/309.pdf
  Article by Jaroslav Peregrin.

• Satisfaction

  http://www.earlham.edu/~peters/courses/logsys/satisfac.htm
  An introduction to the model-theoretic stasfaction relation, by Peter Suber.

• 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.

 

Home > Society > Philosophy > Philosophy of Logic > Semantics of Logic

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us