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

(от греч. Sillogismos) категорический - дедуктив­ное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму («Все S суть Р», «Ни одно S не есть Р», «Некоторые 5 суть Р», «Некоторые 5 не есть Р»), следует новое суждение (заключение), имеющее также субъектно-предикатную форму (см. Суждение). Примером С. Может быть. В этом С. Посылки стоят над чертой, а заключение - под чертой. Черта, отделяющая посылки от заключения, означает слово «следо­вательно». Слова и словосочетания, ..

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

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

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