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