Большой энциклопедический словарь - логическая семантика
Связанные словари
Логическая семантика
логическая семантика
ЛОГИЧЕСКАЯ СЕМАНТИКА теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики. .Рейтинг статьи:
Комментарии:
См. в других словарях
1.
ЛОГИЧЕСКАЯ СЕМАНТИКА раздел математической логики, посвященный проблеме отношения высказывания или его частей к реальности. Основатель современной Л. с. немецкий ученый Готтлоб Фреге. Прежде всего, он сформулировал различие между денотатом (значением) знака (то есть тем классом предметов или понятий, которые он обозначает) и его смыслом, то есть тем, как знак представлен в языке. Так, денотатом слова "стул" будет класс всех стульев, а смыслом само слово "стул" в его лингвистической неповторимости. Однако логика занимается в основном не отдельными словами, а целыми высказываниями. Согласно Фреге, денотатом высказывания является его истинное значение (см. ИСТИНА). То есть у предложения в изъявительном наклонении, по Фреге, может быть только два денотата "истина" и "ложь", которые он, будучи идеалистом, считал реальными объектами. Смыслом же высказывания является высказанное в нем суждение. В сложноподчиненных предложениях истинностным значением обладает только главное предложение. Например, в предложении "Он сказал, что он скоро придет" истинностное значение имеется только у предложения "Он сказал", то есть...Энциклопедия культурологии
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1046 | |
2 | 885 | |
3 | 788 | |
4 | 785 | |
5 | 749 | |
6 | 747 | |
7 | 697 | |
8 | 660 | |
9 | 606 | |
10 | 600 | |
11 | 571 | |
12 | 566 | |
13 | 565 | |
14 | 562 | |
15 | 552 | |
16 | 545 | |
17 | 545 | |
18 | 534 | |
19 | 517 | |
20 | 512 |