Логика и аргументация: Учебное пособие для вузов.

Рузавин Георгий Иванович

Правило импликации (->) разрешает переходить от строки, где она встречается, к другой, в которой встречаются два списка формул, в одной из них содержится отрицание антецедента, в другой - консеквент импликации:

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

Правило отрицания конъюнкции разрешает в заключении переходить к отрицанию конъюнктивных членов, поскольку отрицание конъюнкции

означает отрицание этих членов.

Г, ¬ (А В)

Г, ¬ А, ¬ Г, ¬ В,

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

Г, ¬ ( А В ),

Г, ¬ А, ¬ В,

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

Г, ¬ (А -> В),

Г, А, ¬ В,

Двойное отрицание в одной строке может быть заменено утверждением в другой:

Г, ¬ ¬ А,

Г, А,

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

А. Назовем этот объект константой к. Очевидно, что А(к) будет истинно, ибо к удовлетворяет условию А:

Г, (Е х ) А ,

Г, А, (к),

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

Г, (х) А,

Г, (х) А, А(т),

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

Более строгий подход к доказательству формул достигается с помощью аксиоматического построения исчисления предикатов. Для доказательства формул логики, как и для доказательства теорем геометрии, необходимо указать некоторые исходные формулы, которые принимаются в качестве аксиом. В принципе в качестве аксиом могут быть взяты любые тождественно истинные или общезначимые формулы, которые играют роль законов логики. Но обычно при выборе аксиом руководствуются разного рода дополнительными требованиями: простоты получаемой формальной системы, минимального числа аксиом, их интуитивной очевидности и т.п. Чтобы вывести из исходных формул новые формулы, т.е. доказать последние как теоремы логики, необходимо ясно и точно перечислить также правила вывода или доказательства. К их числу относится правило заключения по схеме modus ponens: из двух формул А и А -> В следует новая формула В. Кроме того, для получения новых формул используются различные правила подстановки. Например, свободная предметная переменная может быть заменена другой предметной переменной, если эта замена проводится одновременно на всех местах, где встречается свободная переменная. То же самое относится к переменной, обозначающей высказывание.

В качестве аксиом исчисления предикатов берутся, во-первых, аксиомы исчисления высказываний, во-вторых, к ним присоединяют две аксиомы, относящиеся к использованию кванторов общности и существования:

1) x v x -> x;

2) х -> (х v у);

3) (х v у) -> (у v х);

4) (х -> у) -> [z v х -> z v у].

К аксиомам, регулирующим использование кванторов, относятся:

5) (х) А (х) -> А (у);

6) В (у) -> (Ех) B (х).

Первая

из них постулирует: если предикат А выполняется для всех х, то он выполняется также для какого-либо у. Вторая утверждает, что если предикат В, выполняется для какого-либо у, то существует х, для которого выполняется В.

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

4.6. Категорический силлогизм и другие умозаключения дедуктивной логики

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

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

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

Суждения, которые служат посылками силлогизма, включают в свой состав понятия субъекта и предиката, которые обычно называют терминами. Хотя в двух суждениях можно выделить четыре термина, но один из терминов, связывающий обе посылки и входящий в каждую из них, считается единым средним. Поэтому число терминов в правильном силлогизме равно трем. Большим термином считается тот, который служит предикатом заключения, а меньшим - субъектом заключения. Роль среднего термина состоит, следовательно, в том, чтобы установить необходимое логическое отношение между крайними терминами, благодаря чему и становится возможным силлогистический вывод. В самом же заключении средний термин отсутствует.

Приведем конкретный пример силлогизма, посредством которого разъясним важнейшие его элементы: "Все металлы электропроводны, медь - металл, следовательно, медь электропроводна". Еще проще пример из повседневной жизни: "если деньги - в кошельке, а кошелек - в кармане, то деньги - в кармане".

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

Все М есть Р:

S есть М;