Логическая
семантика, раздел логики, посвященный изучению значений и смыслов понятий и
суждений и их формальных аналогов — интерпретаций выражений (термов и формул)
различных исчислений (формальных систем). Т. о., к задачам Л. с. в первую
очередь относится уточнение понятий «значение», «смысл», «интерпретация», а в
связи с этим и понятий «истинность», «определимость», «выразимость»,
«следование», «модель» и др. Важные семантические проблемы возникают в связи с
различием между содержанием и объёмом понятий, между смыслом и (истинностным)
значением суждений. Основное для Л. с. отношение между выражением и его
интерпретацией при более детальном анализе оказывается не двухместным, а
трёхместным: понятие интерпретации «расслаивается» на экстенсиональный и
интенсиональный уровни. Первых фундаментальные работы по Л. с. Г. Фреге, Р.
Карнапа и современного американского логика А. Чёрча. Основы систематического построения
современной Л. с. заложены в работах А. Тарского, уделявшего главное внимание
анализу и возможностям точного определения понятий «истина», «выполнимость»,
«определимость», «обозначение» и т.п. Оказалось, что все эти понятия
определяются для формализованных языков средствами более богатых языков,
играющих для первых («объектных», или «предметных», языков) роль метаязыков.
(Для определения соответствующих понятий для неформализованных языков их
следует прежде всего формализовать, после чего придерживаться той же схемы.)
Метаязык может быть, в свою очередь, формализован, и для определения его
семантических понятий (истины и др.) приходится подниматься ещё на один
метаязыковый уровень и т.д. Смешение же языка и метаязыка (на любом уровне)
неминуемо приводит к семантическим парадоксам. Идеи, методы и результаты Л. с.
находят применение в разнообразных областях прикладной лингвистики и семиотики
(автоматическая дешифровка, машинный перевод, автоматическое реферирование),
при построении теории семантической информации, в вопросах эвристического
программирования, в исследовании проблем распознавания образов и др.
кибернетических вопросов.
слова, мир
научных идей, поэтических мыслей, идеалов искусства и пр. Назад к списку вопросов!!!
| 