ЛОГИЧЕСКАЯ СЕМАНТИКА

раздел металогики, изучающий свойства и способы построения содержательных интерпретаций (моделей) формальных логических систем.ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, изучающий свойства и способы построения содержательных интерпретаций (моделей) формальных логических систем. Если логический синтаксис исследует формальный аспект логических систем (правила их построения, преобразования) без учета выражаемого ими содержания, то в центре внимания Л. е.— установление значений элементов логических систем. В отличие от лингвистической семантики, Л. с. имеет дело не с естественными языками, а с искусственными языковыми системами (математическими, логическими и другими формализованными языками). Задачей Л. с. является разработка всей совокупности понятий (истинность, обозначение, смысл, именование и т. д.), которые необходимы для установления и анализа содержательных интерпретаций логических систем (т. е. для того, чтобы истолковать абстрактные символы на языке содержательного знания, установить объекты, которые они обозначают, и т. д.). Разработка Л. с. началась с 30-х гг. нашего столетия, когда было доказано, что с помощью чисто синтаксического рассмотрения нельзя установить многие важные свойства формальных систем. Так, нельзя сформулировать понятие истины для нек-рого формализованного языка в рамках данного языка. Это можно сделать лишь на другом, более богатом языке. Основными разделами Л. с. являются теория обозначения и теория смысла (Значение и смысл). Л. с. имеет важное прикладное значение: она применяется в лингвистике, в анализе информации и т. д.