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

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

СИМВОЛИЧЕСКАЯ логика - то же, что математическая логика.. ..

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

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

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

(от греч. Symbolon — знак, опознавательная приме­та) - идея, образ или объект, имеющий собственное содержание и одновременно представляющий в обобщенной, неразвернутой фор­ме некоторое иное содержание. С. Стоит между (чистым) знаком, у которого собственное содержание ничтожно, и моделью, имеющей прямое сходство с моделируемым объектом, что позволяет модели замещать последний в процессе исследования. С. Используется человеком в некоторых видах деятельности и имеет в силу этого определенную цель. ..

- система знаков (символов), ис­пользуемая в логике для обозначения термов, предикатов, выска- зываний, логических функций, отношений между высказывания­ми. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже мы приводим лишь наиболее употребительные символы из числа используемых в литературе по логике.  . Наряду с перечисленными в многозначных, временных, деон­тических и других системах логики используются свои специфичес­кие символы, однако каждый ..

- символы, получающиеся в результате разложения предложения или иного языкового выражения на простые, далее неразложимые части. С. С. Имеют содержание даже в том случае, если взяты сами по себе. К ним относятся имена, обозначающие некоторые объекты, и пере­менные, отсылающие к какой-то области объектов. С. Н. Не имеют самостоятельного содержания, но в сочетании с одним или не­сколькими С. С. Образуют сложные выражения, имеющие самосто­ятельное содержание. С. Н. Называются также синкатегорематиче..

См. Символы соб­ственные и несобственные.. ..