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

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

К С. н. относятся, в частности:

— скобки, в обычном языке — знаки препинания, указываю­щие, как объединяются между собой различные части выражения;

— логические связки, в частности те, которые использу­ются для образования сложных высказываний из простых: «...и...», «...или...», «если..., то...», «...тогда и только тогда, когда...», «ни..., ни...», «не..., а...», «..., но не...», «неверно, что... и...», «неверно, что...»;

— операторы, подобные оператору описания («тот объект, который ...») и кванторам («все» и «некоторые»).

Напр., само по себе слово «или» не обозначает никакого объекта. Но в совокупности с двумя (обозначающими) С. с. оно дает но­вый обозначающий символ: из двух имен «круглое» и «красное» с помощью «или» получается новое имя «круглое или красное»,

[310]

из двух высказываний «Письмо отправлено» и «Письмо сожже­но» — новое высказывание «Письмо отправлено или сожжено».

Центральная задача логики — отделение правильных схем рас­суждения от неправильных и систематизация первых. Логическая правильность определяется логической формой. Для ее выявления нуж­но отвлечься от содержательных частей рассуждения (С. с.) и сосре­доточить внимание на С. н., представляющих эту форму в чистом виде. Отсюда интерес формальной логики к таким словам, как «и», «или», «если и только если» и т. п.