Как аналитический философ, он полагает, что истиной можно считать то, что процедурно доказано в результате как можно более точного аргумента.