Шпаргалки к экзаменам и зачётам

студентам и школьникам

  • Increase font size
  • Default font size
  • Decrease font size

Логика управления - Понятие правила вывода

Cмотрите так же...
Логика управления
Понятие
Суждение
Мышление
Логические приемы образования понятий
Понятие и слово
Виды понятий
Типы совместимости: равнозначность (тождество), перекрещивание, подчинение (отношение рода и вида)
Типы несовместимости: соподчинение,противоположность, противоречие
Логические операции с понятиями
Виды простых ассерторических суждений
Категорические суждения и их виды (деление по количеству и качеству)
Объединенная классификация простых категорических суждений по количеству и качеству
Распределенность терминов в категорических суждениях
Традиционная теория логического квадрата
Категорические суждения и их виды (деление do количеству и качеству)
Модальность
Сложное суждение и его виды. Исчисление высказываний
Способы отрицания суждений
Исчисление высказываний
Виды умозаключений
Дедукция
Понятие правила вывода
Силлогизм
Особые правила фигур
Правила категорического силлогизма
Энтимема
Полисиллогизм
Сорит (с общими посылками)
Формализация эпихейрем с общими посылками
Чисто условное умозаключение
Первый вероятностный модус
Второй вероятностный модус
Разделительное умозаключение
Дилемма
Трилемма
Логическая природа индукции
Виды неполной индукции
Понятие вероятности
Научная индукция
Доказательность
Закон исключенного третьего
Закон непротиворечия (закон противоречия)
Закон тождества
Понятие об аргументации
Доказательство и его структура
Виды доказательства
Критика аргументации
Опровержение. Виды опровержения
Паралогизмы
Понятие о логических парадоксах
Искусство ведения дискуссии
Спор
All Pages

 

Понятие правила вывода

 

Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода. Правила выво­да, или правила преобразования суждений, позволяют перехо­дить от посылок (суждений) определенного вида к заключениям также определенного вида. Например, если в качестве посылок даны два суждения, представимые в виде формулы “a v b” и формулы “a”, то можно перейти к суждению вида “b”. Это мо­жно в виде формулы путем преобразований по правилу (а ú b), а+b записать так: ((a ú b)^a) →b. Данная формула является законом логики.

Логически правильно можно рассуждать в применении к воп­росам, относящимся к любым предметам. Логические ошибки также могут быть обнаружены в рассуждениях любого предметного содержания. Из этого не следует, разумеется, что в любых условиях и к любой предметной области должен быть применим один и тот же аппарат формальных логических пра­вил. Сам этот аппарат должен развиваться вместе с развитием науки и практической деятельности людей. Одна из характер­ных черт логики состоит в том, что логика позволяет, получив некоторую информацию, знания об обстоятельствах дела, извлечь из них - точнее говоря, выявить - содержащиеся в их совокуп­ности новые знания. Так, наблюдая движение Луны и Солнца и делая логические выводы из этих наблюдений (включая и инду­ктивные обобщения), люди еще в античной древности умели ло­гически выводить из них достаточно точные предсказания о на­ступлении солнечных и лунных затмений.

Другая характерная черта логики, органически связанная с предыдущей, состоит в том, что всякий логический вывод из посылок допускает некоторую формализацию, т. е. может быть осуществлен по каким-нибудь общим правилам, относящимся к способам выражения знаний и способам переработки этих выражений - способам образования и преобразования выра­жений. В зависимости от средств, которыми мы располагаем, таких способов формализации может быть много, начиная с того, что одно и то же знание мы можем выразить на разных языках. Но какой-нибудь из “языков” (под “языком” не обязательно по­нимать звуковую речь) нам необходимо употребить. Без языка, без материального способа выражения мысли невозможно и само мышление.

Формализация способов вывода состоит прежде всего в том, что каждый шаг вывода совершается только в соответствии с каким-нибудь из заранее перечисленных правил вывода, отно­сящихся только к способам оперирования с некоторыми мате­риальными объектами, например, словами, служащими для вы­ражения мысли, и вообще с формальными выражениями мысли с помощью материальных знаков. Среди последних имеются спе­цифические логические знаки, так называемые логические кон­станты (постоянные). В математической логике - это конъюнк­ция, дизъюнкция, отрицание, импликация, эквиваленция, кванто­ры общности и существования и др.

Различают правила прямого вывода и правила непрямо­го (косвенного) вывода. Правила прямого вывода позволяют из имеющихся истинных посылок получить истинное заключе­ние. Правила непрямого (косвенного) вывода позволяют заклю­чать о правомерности некоторых выводов из правомерности других выводов (эти правила будут проанализированы в §10 настоящей главы).

Типы дедуктивных умозаключений (выводов) такие: выво­ды, зависящие от субъектно-предикатной структуры суждений; выводы, основанные на логических связях между суждениями (выводы логики высказываний).

Эти типы выводов и предстоит нам рассмотреть. Рассмотрим выводы, основанные на субъектно-предикатной структуре суждений.

К формам, типичным в практике рассуждений, относятся следующие выводы из категорических суждений:

1) выводы посредством преобразования суждений;

2) категорический силлогизм, сокращенный силлогизм (энтимема), сложные силлогизмы (полисиллогизмы) и сложно-со­кращенные силлогизмы (сориты и эпихейрема).