Для корректной работы этого сайта вам необходимо включить Javascript. Зайдите в настройки браузера и активируйте Javascript.
В этой книге, написанной одним из выдающихся логиков философии, утверждается, что многие из основных допущений, обычно используемых в логике, основаниях математики и метафизики, нуждаются в изменении.
Таким образом, в этой книге, имеющей решающее значение для логической теории и философии математики, Яакко Хинтикка предлагает новую базовую логику первого порядка и использует ее для изучения оснований математики. Эта новая логика... (Подробнее)