БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ БОЛЬШАЯ СОВЕТСКАЯ ЭНЦИКЛОПЕДИЯ, БСЭ
Навигация:

Библиотека DJVU
Photogallery

БСЭ

Статистика:


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

Значение слова "Символическая логика" в Большой Советской Энциклопедии


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

 

 

В Большой Советской Энциклопедии рядом со словом "Символическая логика"

Символизм | Буква "С" | В начало | Буквосочетание "СИ" | Символы химические


Статья про слово "Символическая логика" в Большой Советской Энциклопедии была прочитана 2972 раз


Интересное