Логика и математика
Изложенные соображения позволяют высказать более определенные суждения об отношении логики к математике. Основная трудность состоит здесь в многозначности и неопределенности термина «логика». Онтологическая теория естественно приводит нас к понятию реальной лопикм .как совокупности норм языкового мышления, имеющих онтологическое .обоснование. Наша задача состоит в том, чтобы определить состав реальной логики и прояснить ее место в структуре математического мышления.
Эту задачу нельзя решить на уровне общих определений. Мы будем двигаться здесь методом критики, исключая из принятого содержания логического знания элементы, заведомо не удовлетворяющие представлению о природе реальной логики. Такого рода отрицательная стратегия дает возможность подойти к определению истинного объема реальной логики и к выявлению ее сущностных связей с математикой.
