Симаков М.Ю.
Начальные основаняи логики и теории познания
М., 2015 г., 136 стр.

В книге в популярной форме излагаются основные понятия классической логики, даётся обзор неклассических логик, теории интеллектуальных систем и проблем математизации логики. В приложении приводится история логики в Европе и преподавания логики в России.
Книга может быть рекомендована ученикам старших классов ги­мназий с курсом логики, преподавателям технических, гуманитарных вузов и специализированных математических школ.

текст htm; текст pdf

СОДЕРЖАНИЕ

Введение. Логика: определение; содержание; цели.
I. Классическая теория познания и логика.
Восприятие; представление; мышление.
Понятия; слова; речь.
Деятельность интеллекта. Применение интеллекта.
Синтез и анализ (обобщение и выделение части).
Классификация понятий.
Связки и, или,не
Объём, содержание, значимость понятий.
Действия над понятиями.
Обозначения, словесные имена понятий.
Суждения.
Классификация суждений.
Действия над суждениями
Предикатно-субъектные суждения
Истинность и ложность.
Критерий истинности
Высказывания. Умозаключения.
Ограничение класса рассматриваемых суждений.
Значения истинности сложных суждений.
Законы логики высказываний.
Законы логики предикатов
Почему логика так убедительна.
Доказательство и опровержение.
Контрпримеры.
Логические ошибки;софизмы; парадоксы.
Индукция-обобщение суждений.
Рассуждения по аналогии.
Применение логики.
Расширения классической логики.
Каноны искусства и законы логики

II. Математические модели теории познания и логики.
Понятия, идеи, термины и математика.
Геометрические представления отношений между понятиями по объёму и логических связок.
Кольцо вычетов по модулю 2 и логика высказываний.
Теория множеств и логика предикатов.
Теория графов, гипертексты и смысл понятий.
Математическая модель синтеза.
Математическое устройство интеллекта.

III. Теория интеллектуальных систем.
Введение.
Состояния, их изменения; источники изменений; цели.
Понятия, связи; интеллектуальные системы.
Построение в интеллекте пути к цели.
Применение теорий для достижения целей.
Истинность и ложность суждений: уточнение.
Веса значимости понятий и связей.
Коррекция весов значимости.
Смысл понятий: уточнение.
Представления; познание.
Пространственно-временное представление интеллектуальных систем.
Внедрение образцов;систематизация.
Корреляции систем.
Синтез и анализ: уточнение.
Теория синтеза.
Теория логики: уточнение.
Логический вывод как представление силы выделения.
Непрерывная логика.
Физические системы.
Аналогии физических и интеллектуальных систем.

Приложение. История логики.
Развитие логики в Европе.
Преподавание логики в России.