Символическая логика, то же, что математическая логика, т. с. «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (Л. Чёрч). Термин «С. л.» акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков, служащих «математическим методом» изучения предмета логики, являются в данном случае не слова обычных разговорных языков (хотя бы и употребляемые в каких-либо специальных значениях), а некоторые символы, выбираемые (или конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким «традиционным» употреблением, пониманием и функциями таких же символов в других контекстах.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
СИМЕА СИМЕА [CIMEA, сокращенное от французского Comité international des mouvements d'enfants et d'adolescents (aupres dc la FMID)], международный комитет детских и юношеских организаци...
Сименон Жорж Сименон (Simenon) Жорж (р. 13.2. 1903, Льеж, Бельгия), французский писатель. С 1951 член Королевской академии французского языка и литературы (Брюссель). Печатается с 1919. Роман «Питер-...
Сименс Эрнст Вернер Сименс (Siemens) Эрнст Вернер (13.12.1816, Ленте, близ Ганновера, — 6.12.1892, Берлин), немецкий электротехник и предприниматель, член АН в Берлине (1874). Основатель и главный владелец ...