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.