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

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

СИМВОЛ ВЕРЫ - краткое изложение христианских догматов, безусловное признание которых православная и католическая церкви предписывают каждому христианину. Был сформулирован 1-м (325) Никейским и дополнен 2-м (381) Константинопольским вселенскими соборами. В дальнейшем католическая церковь сделала к Символу веры добавление филиокве, не признанное православием.. ..

СИМВОЛИЗМ - направление в европейском и русском искусстве 1870-1910-х гг. Сосредоточено преимущественно на художественном выражении посредством символа интуитивно постигаемых сущностей и идей, смутных, часто изощренных чувств и видений. Философско-эстетические принципы символизма восходят к сочинениям А. Шопенгауэра, Э. Гартмана, Ф. Ницше, творчеству Р. Вагнера. Стремясь проникнуть в тайны бытия и сознания, узреть сквозь видимую реальность сверхвременную идеальную сущность мира ("от реального к ..

СИМВОЛЫ ХИМИЧЕСКИЕ - то же, что знаки химические.. ..

СИМЕИЗ - поселок городского типа на Южном берегу Крыма, в 21 км от Ялты. 4,7 тыс. Жителей (1991). Приморский климатический курорт.. ..

То же, что математическая логика.. ..

Одно из названий современного этапа в развитии формальной логики.Символы применял в ряде случаев еще Аристотель, а затем и все последующие логики. Однако в современной С.л. Был сделан качественно новый шаг. Стали использовать языки, содержащие только специальные символы и не включающие слова обычного разговорного языка.Выражения "современная логика", "математическая логика" и "С.л." совпадают по своему значению, хотя два последних употребляются реже, чем первое.. ..

"Область человеческих знаний, которую можно использовать для избавления человеческой речи от всяческой засоряющей ее мертвечины", (А.Азимов).. ..

- одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель (384 — 322 до н. Э.), а затем и все последующие ученые-логики. Однако в совре­менной С. Л. Был сделан качественно новый шаг в использовании символики. Стали использовать языки, содержащие только специ­альные символы и не включающие слова обычного разговорного языка.. ..