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