Verificationism is still alive and well, but perhaps not as a basis for empirical science... Following Gentzen, Dummett, Prawitz and Martin-Löf, verificationis

Verificationism is still alive and well, but perhaps not as a basis for empirical science... Following Gentzen, Dummett, Prawitz and Martin-Löf, verificationism serves as the backbone to modern intuitionistic and constructive meaning theory.