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

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

СИМВОЛИЧЕСКАЯ логика - то же, что математическая логика.

symbolic logic, symbolic mathematics

СИМВОЛИЧЕСКАЯ ЛОГИКА

— одно из названий современного этапа в развитии формальной логики.

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

Выражения «современная логика», «математическая логика» и «С.л.» совпадают по своему значению, хотя два последних употребляются реже, чем первое.

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

то же, что математическая логика.

* * *

СИМВОЛИ́ЧЕСКАЯ ЛО́ГИКА, то же, что математическая логика(см. МАТЕМАТИЧЕСКАЯ ЛОГИКА).

logica simbolica

символі́чна ло́гіка

символі́чна ло́гіка