Semantics of Logic Philosophy of Logic

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.

• What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either - Essay by Jerry Fodor and Ernie Lepore attacking philosophy of logic an argument for maintaining principle of the excluded philosophy of logic middle in the absence of bivalence by the philosophy of logic device of supervaluations.[PDF]
• Satisfaction - An introduction to the model-theoretic stasfaction relation, by philosophy of logic philosophy Peter Suber.
• The Meanings of Logical Constants - Essay by Gilbert Harman, arguing for Prawitz\\'s approach to the philosophy of logic semantics of logic based upon a conceptual role semantics.
• Interpreting Formal Logic - Article by Jaroslav Peregrin.[PDF]
• On the Meaning of the Logical Constants and the Justifications of the Logical Laws - Lecture notes of Per Martin-Löf. Argues that philosophy of logic philosophy a close analysis of the concepts of proof, philosophy of logic philosophy judgement and justification yield a direct, constructive account philosophy of logic philosophy of the meaning of logical judgements.
• Torkel Franzén's Homepage - Contains his PhD thesis, `Provability and Truth'.
• 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.

   MySQL - Cache Direct