СИМВОЛИЧЕСКАЯ ЛОГИКА
то
же, что математическая логика, т. е. "логика по предмету, математика
по
методу" (П. С. Порецкий), или "логика, изучаемая посредством построения
формализованных языков" (А. Чёрч).
Термин "С. л." акцентирует
внимание на том обстоятельстве, что основными элементами формализованных
языков, служащих "математическим методом" изучения предмета логики,
являются в данном случае не слова обычных разговорных языков (хотя бы и
употребляемые в к.-л. спец. значениях), а нек-рые символы, выбираемые (или
конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые)
определённым образом, специфическим именно для данной логич. ситуации и,
вообще говоря, не связанным ни с каким "традиционным" употреблением, пониманием
и функциями таких же символов в др. контекстах.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я