Research Group
in Analytic Philosophy

Not quite Intuitionism

02 March 2011  |  15:00  |  Seminari de Filosofia UB

Abstract

I'll be looking at M. Dummett's claim that a verificationistic theory of meaning should lead to the abandonment of classical logic in favor of intuitionistic logic. I especially concentrate on his suggestion that in non-mathematical discourse, we should explain negations via falsification conditions. Taken seriously, this route takes us not at all to intuitionistic logic, but rather to a constructive logic in the
family of Nelson logics.