СИМВОЛЫ СОБСТВЕННЫЕ И НЕСОБСТВЕННЫЕ

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



Словарь по логике 

СИНКАТЕГОРЕМАТИЧЕСКОЕ ВЫРАЖЕНИЕ →← СИМВОЛИЧЕСКАЯ ЛОГИКА

T: 0.129507794 M: 3 D: 3