
- •Часть 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. Практикум по формальной логике
● всякая истинная мысль должна быть
обоснована;
● нельзя признать мысль истинной, если
у нее нет достаточного основания.
Требование закона достаточного основания
У Лейбница это – универсальный закон
бытия и мышления, отождествляемый с
законом причинности.
В современной логике это – методологический
принцип рационального мышления.
Роль закона
Все суждения, встречающиеся в рассуждениях, подразделяются на исходные – аксиомы, определения, основоположения, суждения о чувственном восприятии или актах веры и производные – суждения, истинность или приемлемость которых зависит от исходных суждений. Для каждого производного суждения, встречающегося в рассуждении, должны быть представлены основания, позволяющие считать его истинным или ложным.
Основания истинности или ложности могут быть объективно или субъективно достаточными. Объективно достаточные основания придают суждению статус знания или убеждения, субъективно достаточные основания – статус веры.
Применительно к закону достаточного основания введем понятие необходимого и достаточного условия. Рассмотрим условное суждение: если А, то В, или А→В. Предположив, что это условное суждение истинно, будем говорить, что А является достаточным условием истинности В, а В является необходимым условием истинности А.
Схема 4.6. Последовательность разрешения противоречия
Противоречие – наличие в рассуждении (теории) двух высказываний, из которых одно – отрицание другого; доказуемость конъюнкции этих высказываний или их эквивалентности; в более широком смысле – утверждение о тождестве заведомо различных объектов. Противоречие указывает либо на логическую порочность приводящего к нему рассуждения, либо на несовместимость посылок, положенных в основу этого рассуждения. По закону Дунса Скота из противоречия следует все, что угодно. Противоречие – это тупик, из которого конструктивных путей дальнейшего развития мысли не существует.
Единственный выход из тупика – это
возврат назад по тому же пути, которым
попали в тупик.
Тщательный системный анализ рассуждения
как последовательности утверждений,
с целью обнаружения возможных
логических ошибок при построении
рассуждения, в обратном направлении:
от заключения, приведшего к противоречию,
к начальным посылкам.
При выявлении первой же логической
ошибки в построении рассуждения
исправляют ее и продолжают рассуждение
в направлении заключения. Если
противоречие не устранено, то возвращаются
назад в поисках других возможных ошибок,
предшествующих обнаруженной. Исправив
следующую логическую ошибку, опять
продолжают рассуждение в направлении
заключения. Только после устранения
всех логических ошибок в рассуждении
переходят к проверке совместимости
посылок, положенных в основу этого
рассуждения.
Анализ совместимости исходных посылок,
положенных в основу рассуждения,
проводится с целью выявления несовместимых
посылок. Анализу подвергаются как
сами посылки в форме утверждений, так
и входящие в них понятия по их основным
характеристикам (содержанию и объему).
Если бы ложь, подобно истине, была одноликою, наше положение было бы значительно легче. Мы считали бы в таком случае достоверным противоположное тому, что говорит лжец. Но противоположность истине обладает сотней тысяч отличий и не имеет пределов.
М. Монтень
Для того чтобы совершенствовать ум, надо больше размышлять, чем заучивать.
Р. Декарт
Жизнь – это искусство делать верные выводы из неверных посылок.
С. Байер
Спорьте, заблуждайтесь, ошибайтесь, но ради бога размышляйте и хотя бы криво, да сами.
Г. Лессинг
Мало иметь хороший ум, главное – хорошо его применять.
Р. Декарт
Хромой, идущий по верному пути, обгонит сбившегося с дороги скорохода.
Ф. Бэкон