jaakko hintikka patrick suppes