
- •Часть 2. Практикум по формальной логике
- •Дидактический план Предмет и значение логики. Понятие. Суждение. Формально-логические законы. Умозаключение. Логические основы аргументации. Формы развития научного знания. Литература
- •Тематический обзор* Введение
- •1 Предмет и значение логики
- •2 Понятие
- •Свойства понятия
- •Признаки
- •Логические приемы образования понятий
- •Функции понятия
- •Логическая структура понятия
- •Логическая структура операции деления понятий
- •Виды деления
- •Виды классификации
- •Особенности классификации
- •3 Суждения
- •По содержанию предиката
- •По качеству
- •По количеству
- •Отношения между суждениями
- •Правила логического квадрата
- •Особенности логического анализа сложных суждений
- •Алгоритм составления таблиц истинности
- •Виды дизъюнкции
- •Строгая (сильная) дизъюнкция
- •Нестрогая (слабая) дизъюнкция
- •Логическая природа
- •Истинность условных суждений
- •Интерпретация таблицы истинности импликации
- •Логическая природа
- •Истинность эквивалентных суждений
- •Схемы и выражения импликации
- •Схемы и выражения эквиваленции
- •Основания принятия
- •Степень обоснованности
- •Деонтические требования к нормативно-правовой системе
- •Основные группы формул логики высказываний
- •4 Формально-логические законы
- •Специфика законов логики
- •Требования законов логики к мышлению
- •Виды законов традиционной логики
- •Действие закона к несовместимым суждениям
- •Роль закона в различных отраслях знаний
- •Требования закона тождества
- •Формула
- •Действие закона в различных формах мысли
- •Требование закона достаточного основания
- •Роль закона
- •5 Умозаключения
- •Классификация умозаключений по направлению логического следования
- •Умозаключения
- •Классификация умозаключений по строгости правил вывода
- •Общая характеристика
- •Правила терминов
- •Правила посылок
- •Общие правила
- •I фигура
- •II фигура
- •III фигура
- •1. Вывод из двух частных посылок.
- •3. Одна из посылок – частное суждение, а заключение общее суждение.
- •5. Вывод по 1-й фигуре в случае, когда меньшая посылка – отрицательное суждение.
- •Свойства отношений
- •Правила умозаключений с отношениями
- •Механизм образования энтимем
- •Механизм восстановления силлогизма
- •Умозаключение возможно по двум фигурам: первой и второй.
- •Формулировка силлогизма по первой фигуре:
- •Сложные силлогизмы (полисиллогизмы)
- •Сложносокращенные силлогизмы
- •Прогрессивный сорит (гоклениевский)
- •Регрессивный сорит (аристотелевский)
- •Эпихейрема
- •Прямые умозаключения
- •Непрямые умозаключения
- •Чисто разделительное умозаключение
- •Структура
- •Утверждающий модус (modus ponens)
- •Отрицательный модус (modus tollens)
- •Утверждающе-отрицающий модус (modus ponendo tollens)
- •Отрицающе-утверждающий модус (modus tollendo ponens)
- •Классификация дилемм
- •Индукция
- •Свойства причинных связей
- •Структура умозаключений по аналогии
- •По характеру выводного знания (по степени достоверности вывода)
- •По характеру переносимой информации
- •Условия состоятельности аналогий
- •Способы преодоления пробелов
- •Требования к использованию аналогии в праве
- •6 Логические основы аргументации
- •Характерные черты аргументации
- •Субъект-1 аргументации
- •Автор-1
- •Получатель-1
- •Получатель-2 Автор-2 Субъект-2 аргументации Другие субъекты
- •Структура обоснования
- •7 Формы развития научного знания
- •Сущность гипотезы
- •Существенные признаки гипотезы
- •Логическая структура гипотезы
- •Различия между научной гипотезой и версией
- •Особенности проблемы как задачи особого типа
- •Структура теории
- •Этапы выработки управленческого решения
- •Логика юнита 2
- •Часть 2. Практикум по формальной логике
Содержание силлогизма – понятия,
встречающиеся в нем в качестве терминов.
Форма силлогизма – связь, которая
придается терминам.
Правильность силлогизма не зависит
от его содержания, а зависит только от
его формы.
Посылки – исходные суждения, из
которых выводится новое суждение.
Большая посылка – суждение, в
которое входит большой термин. Меньшая
посылка – суждение, в которое входит
меньший термин.
Термины – понятия, входящие в
посылки и заключение силлогизма. Крайние
термины силлогизма входят в состав его
заключения: больший термин (P)
в качестве предиката и меньший
термин (S) в качестве
субъекта. Средний термин (M)
имеется в составе обеих посылок, но не
входит в заключение.
Аксиома силлогизма: все, что
утверждается или отрицается относительно
всех предметов некоторого класса,
утверждается или отрицается относительно
каждого предмета и любой части предметов
этого класса.
Общая характеристика
В силлогизме должно быть только три
термина.
Средний термин должен быть распределен
хотя бы в одной из посылок.
Термин, не распределенный в посылке,
не может быть распределен и в заключении.Правила терминов
Из двух отрицательных посылок заключение
с необходимостью не следует.
Если одна из посылок – отрицательное
суждение, то и заключение должно быть
отрицательным.
Из двух частных посылок заключение с
необходимостью не следует.
Если одна из посылок – частное суждение,
то и заключение должно быть частным.Правила посылок
Схема 5.5. Фигуры и модусы простого категорического силлогизма
В построении силлогических выводов имеются различия, обусловленные положением среднего термина. Разновидности выводов называются фигурами силлогизма. Имеется четыре фигуры. В рамках каждой фигуры также имеются разновидности (модусы), обусловленные характером суждений (посылок и заключения). В каждой фигуре имеется 64 модуса, всего в 4 фигурах – 256, но правильных из них всего лишь 24 (по 6 в каждой фигуре), среди которых выделяются 19 сильных и 5 слабых. Правильные модусы имеют специальные названия, гласные буквы которых указывают на типы суждений (1-я – большей посылки, 2-я – меньшей и 3-я - заключения). В силу того, что IV фигура редко применяется в практике рассуждений и правила для нее достаточно сложны, здесь мы ее не будем рассматривать.
M P
I фигура широко
используется в процессе познания
как способ
распространения некоторого общего
знания (выраженного
в большой посылке P) на
некоторые особые
случаи (класс предметов S).
S M
Средний термин занимает место субъекта
в большой
и место предиката в меньшей посылке.
Сильные модусы:
Barbara, Celarent, Darii, Ferio. Слабые:
Barbari, Celaront.
Правила. 1. Большая посылка – общее
суждение.
2. Меньшая посылка –
утвердительное суждение.
P M
II фигура используется,
в основном, как средство
опровержения
неправильных подведений чего-
либо под некоторое
понятие. Средний термин
занимает место
предиката в обеих посылках.
S M Сильные
модусы: Cesare,
Camestres, Festino, Baroko. Слабые:
Cesaro, Camestros.
Правила. 1. Большая посылка – общее
суждение.
2. Одна из посылок –
отрицательное суждение.
M P
III фигура может
применяться в качестве способа
опровержения
необоснованных обобщений.
Средний термин
занимает место субъекта в обеих
посылках. Модусы:
Darapti, Disamis,
Dafisi, Felapton,
M S Bokardo, Ferison.
Правила. 1. Меньшая посылка – утвердительное
суждение.
2. Заключение – частное суждение.
Схема 5.6. Система правил простого категорического силлогизма