Г. И. Рузавин логика и аргументация


Правило отрицания конъюнкции



страница23/54
Дата10.05.2018
Размер3.9 Mb.
1   ...   19   20   21   22   23   24   25   26   ...   54
Правило отрицания конъюнкции разрешает в заключении переходить к отрицанию конъюнктивных членов, поскольку отрицание конъюнкции означает отрицание этих членов.

Г, ¬ (АВ)

Г, ¬ А, Δ ¬ Г, ¬ В, Δ

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

Г, ¬ (АВ), Δ

Г, ¬ А, ¬ В, Δ



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

Г, ¬ (А → В), Δ

Г, А, ¬ В, Δ



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

Г, ¬ ¬ А, Δ

Г, А, Δ



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

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

Г, А, (к), Δ



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

Г, (х) А, Δ

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

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

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

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

1) x v xx;

2) х → (х v у);

3) (х v у) → (у v х);

4) (ху) → [z v хz v у].

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

5) (х) А (х) → А (у);

6) В (у) → (Ех) B (х).

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

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


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


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

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

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

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

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

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

Все М есть Р:

S есть М;

S есть Р.

Здесь буквой М обозначен средний термин, а буквами S и Р – соответственно меньший и больший термины, которые являются крайними и объединяются средним термином.

В нашем первом примере среднему термину соответствует понятие металла, меньшему – понятие меди, а большему – понятие электропроводности.

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


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

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


Всякий S есть РS А Р.

Всякий S не есть Р– S E Р.

Некоторый S есть Р – S I Р.

Некоторый S не есть Р – S ОР.

Отсюда видно, что в теории силлогизма качественные и количественные характеристики категорических атрибутивных суждений можно выразить с помощью слов естественного языка. Так, для выражения общих суждений используются слова "всякий", "любой", "каждый", а частных – "некоторый", "какой-либо". Для запоминания логических правил обращаются к мнемоническим средствам обозначения. Все это значительно облегчает процесс рассуждения, ибо исключает перевод суждений на символический язык. Связь между субъектом и предикатом в суждении представляет собой некоторое отношение, проще говоря, субъект и предикат в суждениях связаны отношениями утверждения или отрицания ("есть" и "не есть").
Аксиома силлогизма выражает тот общеизвестный факт, что если некоторое свойство Р принадлежит каждому из предметов, которые образуют данный класс, то очевидно, что оно будет принадлежать любому предмету или группе предметов этого класса. То же самое можно сказать о непринадлежности свойства Р другому классу предметов: если это свойство отсутствует у каждого предмета класса, то оно отсутствует у любого предмета или группы предметов класса.
Аристотель формулирует аксиому силлогизма в терминах "присущности и неприсущности сказываемого <свойства> предметам". Таким образом, в силлогистических умозаключениях отображаются самые обычные, постоянно повторяющиеся отношения между классами и отдельными предметами, которые образуют группу и класс. Если рассматривать класс как род вещей, группу – как вид и отдельный предмет – как единственную вещь, то на языке философии можно сказать, что в силлогизме выражается логическая связь между родом, видом и индивидуумом или же между общим, особенным и единичным. Эта связь характеризует логическое отношение принадлежности признака предмету в рамках всего класса в целом и отдельных его элементов или членов. В рассмотренном выше примере свойство электропроводности, присущее всем металлам, переносилось на конкретного представителя этого класса – медь. С равным успехом это свойство можно было перенести на некоторую группу или вид металлов, например, медь, железо, никель и тд. Поскольку термины силлогизма представляют собой понятия, то отношения между их объемами можно выразить с помощью концентрических кругов, причем средним будет круг, изображающий средний термин М, а крайними – круги, представляющие объемы субъекта и предиката.

На рис.9 видно, что класс, который характеризуется предикатом Р, включает в свой объем классы М и S, а класс М содержит класс S.


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




Каталог: sites -> default -> files
files -> Валявский Андрей Как понять ребенка
files -> Народная художественная культура. Профиль Теория и история народной художественной культуры
files -> Отчет о научно-исследовательской работе за 2014 год ростов-на-Дону 2014
files -> Учебно-методический комплекс дисциплины философия для образовательной программы по направлениям юридического факультета: Курс 1
files -> Цветков Андрей Владимирович, кандидат психологических наук, доцент кафедры клинической психологии программа
files -> Программа итогового (государственного) комплексного междисциплинарного экзамена по направлению 521000 (030300. 62) «Психология»


Поделитесь с Вашими друзьями:
1   ...   19   20   21   22   23   24   25   26   ...   54


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница