Введение

Никакое образование немыслимо без изучения логики. Этот предмет в качестве основного впервые ввёл в гимназиях и Академии великий русский учёный М.В. Ломоносов. С тех пор логику в обязательном порядке изучали в гимназиях России и по указанию Сталина в 1946 - 1957 гг. в школах СССР. В связи с этим поразительна безграмотность современных матлогиков:

• "изобретено" кванторное исчисление, которое ровным счётом ничего не исчисляет;
• "придумана" алгебра множеств, с задачами которой прекрасно справляется алгебра логики;
• единая математическая логика расчленена на логику суждений и логику предикатов с бесполезными субъектами, предикатами, фигурами и модусами, с некорректными правилами посылок и прочей наукообразной зубрёжной чепухой;
• доктора физматнаук не знают математической логики и бравируют своим невежеством;
• более 120 лет математики и логики не могут освоить результатов П.С. Порецкого и Л. Кэрролла;
• ни один академик не умеет решать задачи силлогистики;
• математики не умеют мыслить.

Логика дисциплинирует мышление. Ещё Гераклит говорил, что учить нужно многомыслию, а не многознанию. Над проблемой формализации мышления ВСЁ ЧЕЛОВЕЧЕСТВО (и "физики", и "лирики") трудилось 25 веков. И тем не менее классическая логика, которую изучают во всём мире, вопиюще безграмотна и дремуче невежественна. С задачей формализации, чётко поставленной Лейбницем, справляется только Русская логика.

Если вы устали от зубрёжки силлогистики Аристотеля, хотите чуточку поумнеть и превзойти в логике П.С. Порецкого, Л. Кэрролла, Дж. Буля и Лейбница, если вас интересует истинно математическая, понятная четверокласснику логика здравого смысла, то осваивайте эту науку по следующим источникам:

Электронные книги:

Минимум по русской логике
Решебник по русской логике

Статьи по русской логике:

Беспомощность классической логики
Ликбез по логике в России как проблема национальной безопасности
Недостатки и ошибки классической логики
Логика Порецкого

Лекции по русской логике:

Основы логики
Формы задания и синтез логических функций
Минимизация булевых функций
Оценка сложности реализации булевых функций минимизация недоопределенных булевых функций
Понятие. Основные законы логики суждений
Многозначная силлогистика. Базисы силлогистики
Непосредственные умозаключения
Анализ и синтез силлогизмов. Русская силлогистика
Силлогистика Аристотеля-Жергонна
Общеразговорная силлогистика
Решeние логических уравнений
Синтез обратных логических функций

Печатные издания:

Лобанов В.И. Русская логика против классической (азбука математический логики). - М.: Компания Спутник+, 2002 - 126с.

С уважением, В. И. Лобанов.