Directory Help Search only in Semantics of LogicSearch the Web

Semantics of Logic

Society > Philosophy > Philosophy of Logic > Semantics of Logic

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	Torkel Franzén's Homepage - http://www.sm.luth.se/~torkel/ Contains his PhD thesis, `Provability and Truth'.
	Satisfaction - http://www.earlham.edu/~peters/courses/logsys/satisfac.htm An introduction to the model-theoretic stasfaction relation, by Peter Suber.
	On the Meaning of the Logical Constants and the Justifications of the Logical Laws - http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html 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.
	Interpreting Formal Logic - http://jarda.peregrin.cz/mybibl/PDFTxt/309.pdf Article by Jaroslav Peregrin.
	What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either - http://ruccs.rutgers.edu/tech_rpt/evaluate19.pdf 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.

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

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

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...