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


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "символы собственные и несобственные" в других словарях:

  • несобственные символы — см.: Символы собственные и несобственные …   Словарь терминов логики

  • синкатегорематическое выражение — см.: Символы собственные и несобственные …   Словарь терминов логики

  • логическая форма — способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название формальная …   Словарь терминов логики

  • логические константы — (Логические постоянные) термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как не , и , или , есть …   Словарь терминов логики

  • Знак —         материальный предмет (явление, событие), выступающий в качестве представителя некоторого др. предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Различают… …   Большая советская энциклопедия

  • ЗНАК —         материальный предмет (явление, событие), выступающий в качестве представителя некоторого др. предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Различают… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.