Verificationism: Its History and Prospects