Sa Language , Truth and Logic kanyang inilarawan ang pagtatangi sa pagitan ng beripikasyong " malakas " at " mahina " : Ang isang proposisyon ay sinasabing mapapatunayan sa malakas na kahulugan ng termino kung at tanging kung ang katotohanan nito ay konklusibong napapatunayan ng karanasan.
