Правила выводов логики высказываний

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

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

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

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

Схема правил вывода:

Читается: из посылок вида А1, А2, А3...Ап можно вывести заключение В.

Правила выводов логики высказываний делят на основные и производные.

Выводом в P_N называется конечная последовательность выражений, каждое из которых есть либо 1) посылка, либо 2) доказанная штопор-формула, либо 3) получается из предыдущих выражений последовательности по одному из правил вывода системы P_N; при этом последнее выражение последовательности должно быть получено либо по пункту 2, либо по пункту 3.

Последнее выражение вывода – это его заключение.

Основные правила – более простые и очевидные.

Производные выводятся из основных. Их введение сокращает процесс вывода.

Как основные, так и производные делятся на прямые и непрямые (косвенные)

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

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

В языковой практике люди (исследователи) имеют какие-то высказывания (знания) x, обладают какими-то навыками оперирования высказываниями, в том числе - навыками получения из данных высказываний новых высказываний y. В логике как науке, изучающей такого рода явления, это запишется (зафиксируется) в высказывании «Из x выводится (логически следует, дедуцируется) y». В этом высказывании слово «выводится» («логически следует», «дедуцируется») является предикатом, а не логическим оператором. Вместо него для краткости и стандартности может быть введен особый значок, например (как это делаю я) – значок ├. Повторяю и подчеркиваю: это - не оператор, а термин, причем – именно предикат. В логике обычно этот факт игнорируют и используют в качестве предиката следования (вывода) логический оператор, называемый импликацией. Это порождает путаницу и мешает пониманию сути дела. С упомянутым значком тот факт, что из высказывания x выводится высказывание y, можно для краткости записать символом x├ y. В этом высказывании терминами являются выражения «Высказывание x» и «Высказывание y». Они суть метатермины по отношению к x и y, т.е. термины, обозначающие высказывания, состоящие из терминов. В логике этот факт точно так же игнорируется, поскольку знак вывода (следования) рассматривается как оператор. Это усугубляет путаницу. В результате проблема правил вывода вообще сводится к операторам «логики высказываний» (к функциям исчисления высказываний). Достаточно детальное решение возникающих здесь проблем дано в моей работе «Логическое следование» (помещена в сборник «Очерки комплексной логики», упомянутый во Введении).

Итак, формула x├ y есть лишь краткая и стандартизированная запись высказывания о том, что из высказывания x выводится по особым логическим правилам высказывание y. Если вывод осуществляется из двух или более высказываний x 1,..., x n, то эти высказывания можно рассматривать как конъюнкцию, т.е. как одно высказывание «x 1 и... и x n». И такие случаи сводятся к общему выражению x├ y. При этом высказывание x называется посылкой вывода (умозаключения), а высказывание y называется заключением или следствием.

Формула x├ y (Из x следует y) фиксирует связь высказываний x и y, а не связь предметов, о которых говорится в высказываниях. В каких логических структурах фиксируются связи предметов, об этом речь пойдет в дальнейшем (в разделе «Онтология»). Какие именно связи высказываний имеются в виду, этому и посвящается логическая теория вывода (логического следования).

Правила вывода вырабатываются с таким расчетом, чтобы выполнялся следующим принцип дедукции: если высказывание y по этим правилам получается из высказываний x 1,..., x n, и последние считаются истинными, то и y должно признать истинным.

При построении исчисления прежде всего

· приводится совокупность знаков, которые будут фигурировать в нем (их называют алфавитом), и

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

· Затем излагаются аксиомы (или аксиомные семы) и

· правила вывода теорем из аксиом.

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

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

Основныеправила :