Логика и математика

Изложенные соображения позволяют высказать более определенные суждения об отношении логики к математике. Основная трудность состоит здесь в многозначности и неопределенности термина «логика».

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

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

<< | >>

↑

Источник: Перминов В .Я. . Философия и основания математики - М.: Прогресс- Традиция. — 320с.. 2001

Еще по теме Логика и математика: