jasminecorp.net directory
Updated Blogs
More .....



 
 
| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Semantics of Logic
Directory > Society > Philosophy > Philosophy of Logic > Semantics of Logic

Web Sitesi

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
Reviews Rating: Not yet Rated Whois Check

On the Meaning of the Logical Constants and the Justifications of the Logical Laws
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
Reviews Rating: Not yet Rated Whois Check

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
Reviews Rating: Not yet Rated Whois Check

Interpreting Formal Logic
Article by Jaroslav Peregrin.
http://dec59.ruk.cuni.cz/~peregrin/HTMLTxt/interpret.htm
Reviews Rating: Not yet Rated Whois Check

Satisfaction
An introduction to the model-theoretic stasfaction relation, by Peter Suber.
http://www.earlham.edu/~peters/courses/logsys/satisfac.htm
Reviews Rating: Not yet Rated Whois Check

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
Reviews Rating: Not yet Rated Whois Check

Torkel Franzén's Homepage
Contains his PhD thesis, `Provability and Truth'.
http://www.sm.luth.se/~torkel/
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia