Séminaire de Logiques Non Classiques : Wagner de Campos Sanz
Wagner de Campos Sanz (Universidade de Goiás, Brazil)
Failure in The Verificationist Procedure
We are going to consider closely Dummett's proposal of a verificationist procedure for logical constants. This procedures, by contrast with the pragmatist one, takes introduction rules as self justified and is supposed to offer a validity criterion for non-introduction arguments/inferences. Many different authors criticized it. Now, we have reasons to believe that it validates non-intuitionist arguments, constituting a partial failure for the overall program that the author envisaged in his LBM.