StrawberryNET-Philosophy Save
Visit StrawberryNet today for all of your cosmetic needs. We offer free gifts for new customers. Free shipping.
www.strawberrynet.com (sponsored link)
 

Theology Save
Get a University of London diploma or degree by distance learning.
www.londonexternal.ac.uk (sponsored link)
 

Assigning Meaning to Proofs Save
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/Projec...   

Interpreting Formal Logic Save
Article by Jaroslav Peregrin.
http://jarda.peregrin.cz/mybibl/PDFTx...   

On the Meaning of the Logical Constants and the Justifications of the Logical Laws Save
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/vo...   

Satisfaction Save
An introduction to the model-theoretic stasfaction relation, by Peter Suber.
http://www.earlham.edu/~peters/course...   

The Meanings of Logical Constants Save
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/co...   

Torkel Franzén's Homepage Save
Contains his PhD thesis, `Provability and Truth'.
http://www.sm.luth.se/~torkel/   

What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either Save
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/eva...   

Help build the largest human-edited directory of the web
Suggest a site | Open Directory Project | Become an editor