Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Your Ad Here
Your Ad Here

Top: Society: Philosophy: Philosophy_of_Logic: Semantics_of_Logic:

Semantics of Logic (7)

Sites:

http://www.cs.cornell.edu/Info/Projects/NuPrl/documents/semantics/it.html   » Assigning Meaning to Proofs Open in a new browser window
   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

http://jarda.peregrin.cz/mybibl/PDFTxt/309.pdf   » Interpreting Formal Logic Open in a new browser window
   Article by Jaroslav Peregrin.
   http://jarda.peregrin.cz/mybibl/PDFTxt/309.pdf

http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html   » On the Meaning of the Logical Constants and the Justifications of the Logical Laws Open in a new browser window
   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.
   http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html

http://www.earlham.edu/~peters/courses/logsys/satisfac.htm   » Satisfaction Open in a new browser window
   An introduction to the model-theoretic stasfaction relation, by Peter Suber.
   http://www.earlham.edu/~peters/courses/logsys/satisfac.htm

http://www.nyu.edu/gsas/dept/philo/courses/concepts/meaning.html   » The Meanings of Logical Constants Open in a new browser window
   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

http://www.sm.luth.se/~torkel/   » Torkel Franzén's Homepage Open in a new browser window
   Contains his PhD thesis, `Provability and Truth'.
   http://www.sm.luth.se/~torkel/

http://ruccs.rutgers.edu/tech_rpt/evaluate19.pdf   » What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either Open in a new browser window
   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: 2005-03-12 12:32:31


Your Ad Here

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org