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

Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода. Правила выво­да, или правила преобразования суждений, позволяют перехо­дить от посылок (суждений) определенного вида к заключениям также определенного вида.

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

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

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

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

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

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

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

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

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

Вопрос 16