02 March 2011 | 15:00 | Seminari de Filosofia UB
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.