Читайте также:
|
Обозначенные формы умозаключений отличаются от простого силлогизма тем, что в построении рассуждения и его анализе не учитываются отношения субъекта и предиката суждения. Внутренняя структура посылки определяется логическими союзами, соединяющими простые высказывания в одно. В анализе правомерности заключения применяются язык и табличное построение логики высказываний.
4.2.1 Условные формы умозаключений
Чисто условные умозаключения в посылках и заключении содержат условные суждения.
Пример. Если тело подвержено трению, оно нагревается.
Если тело нагревается, оно расширяется.
Если тело подвержено трению, оно расширяется.
| Схема вывода | Схема вывода на ЯЛВ | Формула вывода на ЯЛВ |
| Если a, то b | a É b | ((a É b) Ù (b É c))É (a É c) |
  Если b, то c
| Чтобы записать формулу вывода, нужно: | |
| Если a, то c | a É c | Посылки между собой соединить союзом Ù, совокупность посылок и заключение соединить союзом É. Этот знак будет главным логическим союзом формулы вывода |
В условно-категорическом умозаключении одна посылка - условное суждение, другая посылка и заключение – категорические суждения. Можно построить две правильные формы условно-категорического умозаключения, обеспечивающие логическое следование заключения из посылок, и две неправильные формы. Достаточно универсальный способ проверки правильности модуса (правомерности вывода) - табличное построение, примененное к формуле вывода. При этом возможно как полное построение таблицы истинности (для всех неповторяющихся комбинаций значений истинности входящих переменных), так и сокращенный способ анализа формулы вывода. Последний опирается на предположение о ложности главного логического союза «É» в формуле вывода. По определению такое значение возможно только в одном случае, когда из истины выводится ложь. Дальше в обратном порядке анализируются значения истинности логических союзов и обусловленные ими значения истинности переменных. Если в конечном пункте анализа формулы вывода получаем противоречие с табличным определением логического союза, считаем исходное предположение (о единственно возможном значении ложности главного союза «É») неверным. Значит, в табличном построении главный логический союз будет иметь всегда значение «истина». Формула вывода в таком случае представляет собой тождественно-истинную формулу (закон логики, тавтологию). На этом основании можно утверждать, что заключение, получаемое по такой формуле, будет достоверно.
Дата добавления: 2014-12-20; просмотров: 40 | Поможем написать вашу работу | Нарушение авторских прав |