Semantics of Logic Philosophy of Logic Philosophy

Semantics of Logic

• - 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.
  
• - An introduction to the model-theoretic stasfaction relation, by Peter Suber.
  
• - 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.
  
• - Contains his PhD thesis, `Provability and Truth'.
  
• - Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics.
  
• - Article by Jaroslav Peregrin.
  
• - 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.
  
  

Copyright © 1995-2007 Internet Advertising Solutions, Inc.
Copyright Notice | Privacy Policy | Site Map | APR