Abstract

Let’s agree in calling “classical demonstration” a deduction that enables us to know the rational necessity that something is the case and cannot be otherwise. I propose to take seriously actual instances of this notion, e.g. some mathematical proofs, and explore certain discoursive and epistemic implications of their existence. Then I will look at questions about characterizing, rigorizing and acknowledging this kind of conclusive proof. Finally, some remarks on the meaning of Provability Logic in this context will be made.