Символическая логика

Логика символическая

ЛОГИКА СИМВОЛИЧЕСКАЯ – математическая логика, теоретическая логика – область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «символическая логика» был, по-видимому, впервые применен Дж. Венном в 1880 году. Уже Аристотель широко применял буквенные обозначения для переменных. Идея построения универсального языка для всей математики, для формализации на базе такого языка математических доказательств и вообще любых рассуждений выдвигалась в 17 веке Г. Лейбницем. Однако только к середине 19 века стало очевидным, что существующая логическая парадигма, а именно аристотелевская силлогистика, уже не отвечает требованиям развития науки того времени...

Символическая логика

СИМВОЛИЧЕСКАЯ ЛОГИКА, математическая логика, теоретическая логика — область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «С.л.» был, по-видимому, впервые применен Дж. Венном в 1880 г. Уже Аристотель широко применял буквенные обозначения для переменных в своих логических работах. Идея построения универсального языка для всей математики и формализации на базе такого языка математических доказательств и вообще любых рассуждений выдвигалась в XVII в. Г. Лейбницем. С другой стороны, возникновение и развитие С.л. связано с работами Г. Фреге (1848-1925) и Ч.С. Пирса (1839-1914). После того как Фреге в 1879 г. и Пирс в 1885 г. ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде логического исчисления, что и было сделано Фреге, который по праву считается основателем С.л. в ее современном понимании. Основы современной логической символики были разработаны итальянским математиком Дж. Пеано (1858— 1932), чьи интересы, как и Фреге, концентрировались вокруг оснований математики и развития формально-логического языка. Логическая запись Пеано была принята, хотя и частично модифицирована, А.Н. Уайтхедом и Б. Расселом в их знаменитой трехтомной «Principia Mathematica» (1910-1913), а затем одобрена и самим Д. Гильбертом…