Все суждения, которые не являются тавтологиями, мы будем называть "синтетическими". В силу приведенного выше аргумента , простейшие виды суждений должны быть синтетическими. Чтобы можнобылоиспользовать логику или чистую математику в процессе получения не-тавтологического знания, нужны другие источники знания вне логики и чистой математики.