Home
AllMusicListings
AllMusicTalk
MusicNews
Community
Blogs
AllMusicPages
AllMusicBookmarks
AllMusicFun
Music Auctions
Music Apparel
Music Store
|
Semantics of Logic (5) Sites:
» 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. http://www.cs.cornell.edu/Info/Projects/NuPrl/documents/semantics/it.html » Interpreting Formal Logic
Article by Jaroslav Peregrin. http://jarda.peregrin.cz/mybibl/PDFTxt/309.pdf » Satisfaction
An introduction to the model-theoretic stasfaction relation, by Peter Suber. http://www.earlham.edu/~peters/courses/logsys/satisfac.htm » 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. http://www.nyu.edu/gsas/dept/philo/courses/concepts/meaning.html » 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. http://ruccs.rutgers.edu/tech_rpt/evaluate19.pdf This category needs an editor
Last Updated: 2007-01-02 16:49:50
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors |