Мыслимость не влечет с необходимостью логическую возможность, в силу чего все модальные аргументы, включающие заключение от мыслимости к возможности, ошибочны. Ограниченность (конечность) эпистемического агента создает пропасть между тем, что агентом мыслится, и тем, что возможно (или невозможно). Во второй части рассматриваются следствия конечности для интерпретации природы логики и математики.