Логіка як наука про закони відкриття, обґрунтування і збереження істини
Логічні закони як принципи відкриття, обґрунтування і збереження істини
Закон дедукції
Тотожність як принцип збереження істини
Закон абдукції
Закон індукції
Традиційна логіка
Поняття
Визначення поняття
Зміст і обсяг поняття. Узагальнення і обмеження понять
Закон зворотного відносини між змістом і обсягом поняття
Основні вимоги до визначення понять
Види понятий
Логічні операції з поняттями
Розподіл обсягу поняття (класифікація)
Судження
Визначення судження
Прості судження
Нормальна форма простих суджень
Логічні перетворення суджень
Перетворення
Звернення
Протиставлення (контрапозиции)
Сумісні і несумісні судження. Логічний квадрат
Прості судження і порожні класи
Комунікативна природа суджень
Дедуктивні умовиводи
Визначення умовиводи
Відношення логічного слідування
Прості судження та дерева
Дедуктивні умовиводи з двома посилками (прості силогізми)
Дедуктивні умовиводи з трьома і більше посилками (складні силогізми)
Відновлення посилок в простих ентимемах
Відновлення посилок в складних ентимемах
Дедуктивное доказ і спростування
Загальне уявлення про дедуктивному доведенні і спростуванні
Дедуктивное доказ
Дедуктивное спростування
Головні логічні помилки
Доказ і спростування як мистецтво риторики
Визначення риторики
Винахід звернення
Виклад звернення
Словесне вираження звернення
Логіка спору
Правила спору
Класична логіка висловлювань і предикатів
Логіка висловлювань
Основні визначення і допущення логіки висловлювань
Синтаксис логіки висловлювань
Семантика логіки висловлювань
Визначення логічного заперечення
Визначення кон'юнкції
Визначення слабкої диз'юнкції
Визначення імплікації
Визначення еквівалентності
Визначення сильної диз'юнкції
Логічно істинні, логічно помилкові і логічно нейтральні формули
Відношення логічного слідування в логіці висловлювань
Основні закони логіки висловлювань
Дерева в логіці висловлювань
Правила освіти дерев в логіці висловлювань
Пошук нетривіальних наслідків і припущень
Логіка висловлювань як обчислення
Непрямий доказ
Основні модуси правильних висновків логіки висловлювань
Умовні умовиводи
Розділові умовиводи
Умовно-розділові умовиводи
Правило дедукції (введення імплікації)
Міркування від протилежного
Приведення до абсурду
Розбір випадків
Логіка предикатів
Основні поняття та припущення логіки предикатів
Синтаксис логіки предикатів
Семантика логіки предикатів
Формула лп
Відношення логічного слідування в логіці предикатів
Дерева в логіці предикатів
Логіка предикатів як обчислення
Основні закони логіки предикатів
Закон видалення квантора спільності
Закон введення квантора існування
Закон підпорядкування кванторів
Закон суперечності
Закони взаімоопределімості кванторів
Закони дистрибутивности кванторів щодо знака кон'юнкції
Закони дистрибутивности кванторів щодо знака диз'юнкції
Закони дистрибутивности кванторів щодо знака імплікації
Вправи
Некласична логіка
Індуктивна логіка
Основні визначення і допущення індуктивної логіки
Основні теореми індуктивної логіки
Модальна логіка
Основні визначення і допущення модальної логіки висловлювань і предикатів
Базисна модальна логіка
Модальна сіллогістіка
Рішення модальних силогізмів
Правила виведення (визначення модальності укладення)
Парадокси
Ахіллес і черепаха
Чи рухається летить стріла
Суперечка протагора з еватл
Парадокс брехуна
Парадокс підтвердження К. Гемпеля
Парадокс індуктивної ймовірнісної підтримки К. Поппера
Чи всі лебеді білі?
Чи може учень стати своїм власним вчителем?
Інші підручники:
Обмін речовин і перетворення енергії в рослинахНариси з історії російської церкви в 3 ч. Частина 2
М'язи, дихання, виділення, травлення, харчування
Мотивація і стимулювання трудової діяльності
Методологія та методи наукового дослідження
Менеджмент в туризмі
Медико-біологічні основи безпеки. Охорона праці
