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

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

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

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