Традиционная логика является двузначной, потому что в ней суждение имеет одно из двух значений истинно: оно либо истинно, либо ложно. В трехзначных логиках – разновидности многозначных логик – суждение может быть либо истинным, либо ложным, либо неопределенным.

В простом атрибутивном суждении имеются субъект, предикат, связка и кванторное слово.

Объект атрибутивного суждения – это понятие о предмете суждения. Субъект суждения обозначается буквой S (от лат. слова subjectum). Предикатом атрибутивного суждения называется понятие о признаке предмета, о котором говорится в суждении. Предикат обозначается буквой Р (от лат. praedicatum). Связка может быть выражена одним словом (есть, суть, является), или группой слов, или тире, или простым согласованием слов. Перед субъектом суждения иногда стоит кванторное слово: все, или ни один, или некоторые и др. Кванторное слово указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его частям. Простые суждения, о которых шла речь, называются ассекторическими.

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

Итак, конъюнкция (a b) истина тогда, когда оба простых суждения истинны. Строгая дизъюнкция (a b) истина тогда, когда только одно простое суждение истинно. Нестрогая дизъюнкция (a b) истина тогда, когда хотя бы одно простое суждение истинно. Импликация (a b) истина во всех случаях, кроме одного: когда а – истинно, b – ложно. Эквиваленция (a b) истина тогда, когда оба суждения истинны или оба ложны. Отрицание (а) истины дает ложь, и наоборот.

ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ ПО ЗНАЧЕНИЯМ ИСТИННОСТИ

Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.

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

Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). Если два высказывания эквивалентны, то невозможно, чтобы одно из них было истинным, а другое ложным.

Совместимые суждения, находящиеся в отношении логического подчинения, имеют общий предикат; понятия, выражающие субъекты двух таких суждений, также находятся в отношении логического подчинения.

В отношении частичного совпадения (субконтрарности) находятся два таких совместимых суждения, которые имеют одинаковые субъекты и одинаковые предикаты, но различаются по качеству.

Отношения несовместимости: противоположность, противоречие. Из истинности одного из противоположных суждений вытекает ложность другого, но ложность одного из них оставляет другое суждение неопределенным.

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

ДЕЛЕНИЕ СУЖДЕНИЙ ПО МОДАЛЬНОСТИ

В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также составленные из простых сложные суждения. В них утверждается или отрицается наличие определенных связей между предметом и его свойствами или констатируется отношение между двумя или большим числом предметов.

В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом. Помимо ассерторических существуют модальные суждения, в которых уточняется или квалифицируется характер связи между S и P или характер связи между отдельными простыми суждениями в сложном суждении. Модальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой-то точки зрения.

Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий).

Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий).

Модальные высказывания изучаются в модальной логике, в которой имеются отдельные разделы (или ветви): логика норм, логика времени, деонтическая логика, логика действия, логика принятия решения и другие виды логик. В модальной логике модальность суждений выражается различными модальными операторами (категориями модальности): «доказуемо», «опровержимо», «запрещено», «необходимо», «невозможно» и т.п.

Логические модальности и онтологические модальности объединяются в общий вид – алетические модальности. Они включают такие модальные операторы, или категории модальности: необходимость и случайность, возможность и невозможность. Слова «необходимо», «возможно», «случайно» в обыденном языке употребляется в самых различных смыслах.

III УМОЗАКЛЮЧЕНИЕ

Умозаключение, как и понятия и суждение, являются формой абстрактного мышления. С помощью многообразных видов умозаключений опосредованно (т.е. не обращаясь к органам чувств) мы можем получать новые знания. Умозаключать можно при наличии одного или нескольких суждений (называемых посылками), поставленных во взаимную связь (Все углероды горючи. Алмаз – углерод./ Алмаз горюч.). Структура всякого умозаключения включает посылки, заключение и логическую связь между посылками и заключением. Логический переход от посылок к заключению называется выводом.

Умозаключение – форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них.

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

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ

В определении дедукции в логике выявляются два подхода:

1. В традиционной (не математической) логике дедукцией называют умозаключение от знания большей степени общности к новому знанию меньшей степени общности.

2. В современной математической логике дедукцией называется умозаключение, дающее достоверное (истинное) суждение. Четкая фиксация существенного различия классического и современного понимания дедукции особенно важна для решения методологических вопросов. Правильно построенному дедуктивному умозаключению присущ необходимый характер логического следования заключения из данных посылок. Обобщая сказанное, можно дать такое определение.

Дедуктивные умозаключения – те умозаключения, у которых между посылками и заключением имеется отношение логического следования.

ПОНЯТИЕ ПРАВИЛА ВЫВОДА

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

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