СИМВОЛИЧЕСКАЯ ЛОГИКА, то же, что математическая логика, т. е. "логика по предмету, математика по методу" (П. С. Порецкий), или "логика, изучаемая посредством построения формализованных языков" (А. Чёрч).
Термин "С. л." акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков, служащих "математическим методом" изучения предмета логики, являются в данном случае не слова обычных разговорных языков (хотя бы и употребляемые в к.-л. спец. значениях), а нек-рые символы, выбираемые (или конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логич. ситуации и, вообще говоря, не связанным ни с каким "традиционным" употреблением, пониманием и функциями таких же символов в др. контекстах.
Смотреть больше слов в «Большой советской энциклопедии»
то же, что математическая Логика, т. с. «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построе... смотреть
СИМВОЛИЧЕСКАЯ ЛОГИКА — одно из названий современного этапа в развитии формальной логики.Символы применял в ряде случаев еще Аристотель, а затем и в... смотреть
символическая логика современная разновидность формальной логики (см. логика 1), заменяющая логические понятия и их отношения, выраженные словами, усл... смотреть
СИМВОЛИЧЕСКАЯ ЛОГИКА — одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель (384 — 322 до н. э.), а затем и все последующие ученые-логики. Однако в современной С. л. был сделан качественно новый шаг в использовании символики. Стали использовать языки, содержащие только специальные символы и не включающие слова обычного разговорного языка. <br><br><br>... смотреть
одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель (384 - 322 до н. э.), а затем и все... смотреть
разновидность формальной логики, появившаяся в XIX в. и ставящая своей целью полную формализацию (математизацию) содержательных рассуждений; попытка представить последние целиком в виде математических исчислений. Символическая логика - это раздел высшей математики. ... смотреть
Область человеческих знаний, которую можно использовать для избавления человеческой речи от всяческой засоряющей ее мертвечины", (А.Азимов).
logica simbolica
СИМВОЛИЧЕСКАЯ ЛОГИКА, то же, что математическая логика.
СИМВОЛИЧЕСКАЯ логика - то же, что математическая логика.
СИМВОЛИЧЕСКАЯ ЛОГИКА , то же, что математическая логика.
СИМВОЛИЧЕСКАЯ ЛОГИКА, то же, что математическая логика.
logique f symbolique
symbolic logic
Symbol-Logik
- то же, что математическая логика.
символі́чна ло́гіка
сімвалічная логіка
символічна логіка