Логический анализ рассуждений в естественном языке. Повседневные и многие научные рассуждения. Исчисление предикатов. Силлогистика Аристотеля. Перевод рассуждений с естественного языка на язык исчисления высказываний

  Вся электронная библиотека >>>

 Логика и аргументация

 

 

 

Логика и аргументация

Учебное пособие для вузов


Раздел: Учебники



 

4.7. Логический анализ рассуждений в естественном языке

 

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

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

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

Преимущество исчисления предикатов перед силлогистикой Аристотеля состоит не только в более широком анализе различных видов умозаключений, но и в точности и ясности получаемых заключений. В этом можно убедиться, если представить в символической записи категорические суждения, которые рассматриваются в силлогистике Аристотеля. Общеутвердительное суждение в исчислении предикатов записывается в виде: (х) (S(x)Р(х)), где S и Р обозначают соответственно субъект и предикат. Общеотрицательное суждение можно представить как ¬ (Ex) (S(x) Ù Р(х)), частноутвердительное – как (Ex) (S(x) Ù Р(х)), частноотрицательное – как (Ех) (S (х) Ù ¬ Р(х)).

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

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

 

                                                                                                                                                                          

К содержанию:  Логика и аргументация: пособие для вузов

 

Смотрите также:

 

Логика

 

Логика. Принципы логики. Законы формальной логики.

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

 

Логика и научный метод. Систематизация методов построения теорий...

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

 

Формальная и полуинтуитивная логика. Абстрактные критерии. Проблемы...

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

 

...и книги Милля. Основания политической экономии. Система логики....

позитивизма, последователь Огюста Конта. В "Системе логики" (т 1-2,1843) разработал.сменялась логикой, логика математикой, математика языками.

 

...Чарлза Пирса. Основатель семиотики. Американский философ, логик...

Американский философ, логик, математик, естествоиспытатель Родоначальник. прагматизма Выдвинул принцип, согласно которому содержание понятия целиком.

 

Основные логические законы в русском языке. Логические законы.

Поэтому говорят не просто о законах логики, а о законах и правилах логики (см. об этом: Свинцов В.И. Логика.

 

Общий характер философии Аристотеля и сравнение ее с философией...

Этим он оказал величайшую услугу -знанию. Указав философии новую цель, Аристотель дал ей и средства для достижения этой дели, которое заключаются в его логике.

 

Интуиция - что это такое

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

 

...аспекты философского анализа. Аналитическая философия и логика....

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

 

...Биография и сочинения Гегеля. Феноменология духа, Наука логики...

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

 

Последние добавления:

 

 Педагогика

Деловая психология

Политология

Политология Западная и Восточная традиции