presentation
lecturers
registration
program
general information
anterior próximo
 
 
Proof and Logical Deduction

Abstract:

The main point that I will develop and argue for in this talk is that the formal analysis of Logical Deduction is not an analysis of Proof but, rather, an analysis of Logical Consequence, which has some clear advantages over the Model-theoretic analysis of Logical Consequence. I will argue also that the main purpose for which this analysis was used by Frege depended on its being an analysis of Logical Consequence but did not depend on its being a full analysis of Logical Consequence.