• Project Name: Logic
• Field Researcher: U27280
• Department: Philosophy
• Faculty: Arts
• Start Date: 26th December 2000
• End Date: 6th February 2001
• TBA

Project Description

Logic is a really quite finite area of philosophy, and I think we can pretty much cover all the basics in one university project, and since most extended subjects are almost totally much self-contained they can easily be added later.

Pages currently in progress:

• Deductive Validity
• Predicate Logic
• Doing Formal Logic
• Syntax
• Semantics
• Applications of Logic: Electronics
• Applications of Logic: Mathematics
• Russell's Theory of Descriptions

To be adapted into entries:

• Sense and Reference
• 
  Sentences, statements and propositions
• 
  Necessity, the A Priori and Analyticity
• 
  Verificationism

Completed pages (edited) from elsewhere:

• Propositional Logic

Contributing Researchers

• U28308

Further Information Required

• I need people to write on any of the entries above, or to suggest new subjects that I've missed!

If you have further information that you think might be useful in this project, please post it in the conversations below, or contact U27280.