| rdfs:comment
| - Имя (в логике) — выражение языка, обозначающее некоторый предмет (суждения), понимаемый в широком смысле — как всё, что мы можем назвать, а не только как материальный объект. Называемый именем предмет или класс, по логической терминологии, есть объем (экстенсионал) понятия, носящего это имя. По терминологии Г. Фреге и А. Чёрча, принятой в логической семантике, этот предмет (класс) называется денотатом или десигнатом данного имени, или его значением. Последняя характеристика имени (объемная) отличается от содержательной (интенсиональной), представляющей совокупность признаков имени и называемой его смыслом (интенсионалом), или содержанием данного понятия. В формализованных языках денотат есть однозначная функция смысла (в естественных языках это условие может нарушаться).
|
| abstract
| - Имя (в логике) — выражение языка, обозначающее некоторый предмет (суждения), понимаемый в широком смысле — как всё, что мы можем назвать, а не только как материальный объект. Называемый именем предмет или класс, по логической терминологии, есть объем (экстенсионал) понятия, носящего это имя. По терминологии Г. Фреге и А. Чёрча, принятой в логической семантике, этот предмет (класс) называется денотатом или десигнатом данного имени, или его значением. Последняя характеристика имени (объемная) отличается от содержательной (интенсиональной), представляющей совокупность признаков имени и называемой его смыслом (интенсионалом), или содержанием данного понятия. В формализованных языках денотат есть однозначная функция смысла (в естественных языках это условие может нарушаться). Современная логика рассматривает в качестве имен не только термины (слова), но и предложения: 1.
* денотатом термина считается обозначаемый им объект, 2.
* смыслом термина — выражаемое им свойство; 3.
* денотатом предложения считается его значение истинности (истина или ложь), 4.
* смыслом предложения — выражаемое им суждение.
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)