Наши партнеры
- символы, получающиеся в результате разложения предложения или иного языкового выражения на простые, далее неразложимые части. С. с. имеют содержание даже в том случае, если взяты сами по себе. К ним относятся имена, обозначающие некоторые объекты, и переменные, отсылающие к какой-то области объектов. С. н. не имеют самостоятельного содержания, но в сочетании с одним или несколькими С. с. образуют сложные выражения, имеющие самостоятельное содержание. С. н. называются также синкатегорематическими.
К С. н. относятся, в частности:
— скобки, в обычном языке — знаки препинания, указывающие, как объединяются между собой различные части выражения;
— логическиесвязки, в частности те, которые используются для образования сложных высказываний из простых: «...и...», «...или...», «если..., то...», «...тогда и только тогда, когда...», «ни..., ни...», «не..., а...», «..., но не...», «неверно, что... и...», «неверно, что...»;
— операторы, подобные оператору описания («тот объект, который ...») и кванторам («все» и «некоторые»).
Напр., само по себе слово «или» не обозначает никакого объекта. Но в совокупности с двумя (обозначающими) С. с. оно дает новый обозначающий символ: из двух имен «круглое» и «красное» с помощью «или» получается новое имя «круглое или красное», из двух высказываний «Письмо отправлено» и «Письмо сожжено» — новое высказывание «Письмо отправлено или сожжено».
Центральная задача логики — отделение правильных схем рассуждения от неправильных и систематизация первых. Логическая правильность определяется логической формой. Для ее выявления нужно отвлечься от содержательных частей рассуждения (С. с.) и сосредоточить внимание на С. н., представляющих эту форму в чистом виде. Отсюда интерес формальной логики к таким словам, как «и», «или», «если и только если» и т. п.
СИНКАТЕГОРЕМАТИЧЕСКОЕ ВЫРАЖЕНИЕ,см.: Символы собственные и несобственные.