Энциклопедия в четырех томах научно-редакционный совет



страница261/393
Дата11.03.2018
Размер9.68 Mb.
1   ...   257   258   259   260   261   262   263   264   ...   393
ЛОГИКА СИМВОЛИЧЕСКАЯ - математическая логика. теоретическая логика — область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «символическая логика» был, по-видимому, впервые применен Дж. Венном в 1880.

Уже Аристотель широко применял буквенные обозначения для переменных. Идея построения универсального языка для всей математики, для формализации на базе такого языка математических доказательств и вообще любых рассуждений выдвигалась в 17 в. Г. Лейбницем. Однако только к сер. 19 в. стало очевидным, что существующая логическая парадигма, а именно аристотелевская силлогистика, уже не отвечает требованиям развития науки того времени. С одной стороны, необычайные успехи абстрактной алгебры в особенности в теории групп позволили перенести алгебраические методы на другие области науки. Это с успехом проделала английская школа, родоначальником которой можно считать А. де Моргана (Augustus de Morgan, 1806—71), который в 1847 опубликовал книгу «Formal logic; or the calculus of inference, necessary and probable». Им открыты названные в его честь законы де Моргана, разработана теория отношений и в 1838 определено понятие математической индукции. Однако наибольшую известность получили работы Дж. Буля (1815—64). В 1847 он публикует брошюру «Mathematical analaysis of logic», а в 1854 опубликовал свой главный труд по логике «An Investigation int the laws of thought, on which are founded the mathematical theories of logic and probabilities». Как и де Морган, Дж. Буль был одним из тех математиков из Кембриджа, которые признали чисто абстрактную природу алгебры. Они заметили, что простейшие операции над множествами подчиняются законам коммутативности, ассоциацивности и дистрибутивности. Оставалось только провести аналогию между объединением и сложением, пересечением и умножением, пустым классом и нулем, универсальным классом и единицей. Работы Буля 1847 и 1854 можно считать началом алгебры логики, первоначальный этап развития которой был завершен Е. Шредером в трехтомной монографии «Vorlesungugen über die Algebra der Logik (1890-1905)».

С другой стороны, возникновение и развитие символической логики связано с работами Г. Фреге (1848—1925) и Ч. С. Пирса (1839-1914). После того, как Фреге в 1879 и Пирс в 1885 ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде логического исчисления, что и было сделано Фреге, который по праву считается основателем символической логики в ее современном понимании. Пытаясь реализовать идеи Лейбница, Фреге в «Begriffsschrift» (лучшая книга по символической логике 19 в.) изобрел символическую запись для строгих рассуждений. Хотя его нотация сейчас совсем не используется (напр., формулы рисовали в виде двумерного дерева), Фреге в действительности впервые построил исчисление предикатов (см. Логика предикатов). Исчисление предикатов есть формальная система, состоящая из двух частей: символического языка и логики предикатов.
Кроме этого для исчисления предикатов Фреге дает строгое определение понятия «доказательство», которое является общепринятым и по сей день.

Основы современной логической символики были разработаны итальянским математиком Дж. Пеано (1858—1932), чьи интересы, как и Фреге, концентрировались вокруг оснований математики и развития формально-логического языка. Его знаменитый труд «Formulaire de mathématiques», опубликованный в 1894—1908 (в соавторстве), был нацелен на развитие математики в ее целостности, исходя из некоторых фундаментальных постулатов. Логическая запись Пеано была принята, хотя и частично модифицирована, A. ff. Уайтхедом и Б. Расселом в их знаменитой трехтомной «Principia Mathematica» (1910—1913), а затем воспринята Д. Гильбертом. Т. о., бьм введен в употребление во всем мире символический язык, где появляются логические знаки отрицания ~, конъюнкции &, дизъюнкции v, импликации э, кванторов всеобщности V и существования Э.

Создание такого искусственного языка и с его помощью таких объектов, как логические исчисления, строго формализующие различные теории в виде некоторого конечного списка аксиом и правил вывода, означало, что в науке 19 в. возникла потребность в символической логике. В первую очередь это было вызвано потребностями математики, ставившей проблемы, для решения которых средства традиционной логики были непригодны. Одной из таких проблем была недоказуемость 5-го постулата Евклида из остальных постулатов и аксиом в его геометрии. Только с развитием символической логики появился аппарат, позволяющий решать проблему независимости аксиом данной теории чисто логическими средствами.

Основным стимулом развития символической логики в нач. 20 в. была проблема оснований математики. К. Вейерштрасс, Р. Дедекинд и Г. Кантор показали, что в качестве фундамента всей классической математики может рассматриваться арифметика целых чисел. Дедикиня и Пеано аксиоматизировали арифметику, а Фреге дал определение натурального числа как множества всехравномощных множеств. Т о., вся математика сводилась к теории множеств. Однако в 1902 математический мир был потрясен простотой и глубиной парадокса, обнаруженного Расселом в 1-м томе «Оснований арифметики» (Grundgesetze der Arithmetik) Фреге (основной закон V). Ответом на этот и на другие парадоксы теории множеств (см. Парадокс логический) стало возникновение четырех направлений в основаниях математики: логицизм (вся математика может быть дедуцирована из чистой логики без использования каких-либо специфических понятий, таких, как число или множество), интуиционизм (нужна новая логика), теоретиком множественный платонизм в виде аксиоматической теории множеств ZF (вводятся ограничения на образование множеств) (см. Множеств теория) я формантам (программа 1йльберта). Как отмечает Э. Мендельсон: «Какой бы мы, однако, не избрали подход к проблеме парадоксов, следует сперва исследовать язык логики и математики, чтобы разобраться в том, какие в ней могут быть употреблены символы, как из этих символов составляются термы, формулы, утверждения и доказательства, что может и что не может быть доказано, если исходить из тех или иных аксиом и правил вывода. В этом состоит одна из задач математической логики» (Мендельсон Э. Введение в математическую логику. 3-е изд. М., 1984, с. 11). Развитие и применение мощного технического аппарата самой логики в первую очередь относится к программе Гиль




==429



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


Поделитесь с Вашими друзьями:
1   ...   257   258   259   260   261   262   263   264   ...   393


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

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