Семантика и вопросы онтологии

Общая характеристика логической семантики

В широком смысле семантика занимается анализом отношения, которые связывают языковые выражения и мир (реальный или воображаемый). Также слово «семантика» употребляется, чтобы обозначить саму совокупность этих отношений («семантика языка») или даже отдельное отношение («семантика слова»). Сущность этого отношения заключается в том, что языковые выражения:

• тексты,
• предложения,
• словосочетания,
• слова,

обозначают что-то, существующее в мире:

• предметы,
• свойства и качества,
• действия,
• способы совершать действия,
• отношения,
• ситуации и т. д.

Семантика имеет несколько направлений:

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

К основным задачам логической семантики относят уточнение таких понятий, как:

• смысл,
• значение,
• интерпретация,
• определимость,
• истинность,
• выразимость,
• модель,
• следование и т. д.

Важные семантические проблемы обусловлены различиями между содержанием и объемом понятий, между смыслами и истинностными значениями.

Если суждения и понятия интенсионально равносильны, они будут равносильны и экстенсионально. Обратное неверно.

Пример: высказывания «3 х 3 = 9» и «Земля вращается вокруг Солнца» равносильны в экстенсиональном смысле, но не равносильны в интенсиональном.

Для логической семантики ключевым является отношение между выражениями и их интерпретацией. При более детальном анализе становится понятно, что это отношение не двухместное, а трехместное: понятие интерпретации раскладывается на два уровня – интенсиональный и экстенсиональный.

Традиция, заложенная еще авторами первых фундаментальных работ по логической семантике (Г. Фреге, Р. Карнапом и А. Черчем), предусматривает, что каждое собственное имя (в широком смысле эта категория включает количественные числительные и любые существительные, дополненные указательным местоимением или определенным артиклем) сопоставляет:

• называемый (обозначаемый) им предмет (называемый денотатом, или номинатом),
• выражаемый смысл (концепт).

В первую очередь, члены описанного «семантического треугольника» относятся к естественным языкам. На формализованные искусственные языки они переносятся с некоторыми ограничениями. Вообще, отношения между именем, номинатом и концептом отличаются неоднозначностью:

• у имен-омонимов есть несколько концептов,
• один и тот же концепт может быть связан с несколькими именами-синонимами,
• неоднозначно и отношение между именем и денотатом.

Однако можно уверенно утверждать, что денотат полностью определяется концептом (при условии реального существования денотата). Отличие искусственных языков от естественных состоит в том, что при их построении каждому имени ставят в соответствие строго один смысл. При этом от синонимии не избавляются, устанавливая для синонимов отношения типа равенства (тождества, эквивалентности). В ряде случаев устранить синонимию невозможно из-за отсутствия алгоритмов, позволяющих установить тождество произвольных выражений.

Проблематика оснований онтологии

Семантика занимается изучением смыслов и значений слов и понятий. Онтология - это раздел философии, который изучает природу бытия. Она изучает вопросы, связанные с сущностью, существованием, целью, природой, свойствами и т.д. Онтология исследует существующие понятия и их взаимоотношения, а семантика исследует смысл и интерпретацию этих понятий. Онтология и семантика могут быть использованы вместе для лучшего понимания и интерпретации сущностей и их отношений друг к другу. Онтология может быть применена для построения базы данных, а семантика может помочь понять и интерпретировать связанные сущности.

Традиционный философский вопрос касается того, являются ли онтологические категории предельно общими понятиями, которые охватывают самые широкие классы объектов. Если они не являются таковыми, возникает вопрос, имеют ли они объективные основания – или онтологические категории нужно рассматривать только как выражение философской субъективности. Против этого следуют решительные возражения со стороны исследователей. При изучении объективного содержания мысли (научной, философской или иной) некорректно говорить о субъективности мыслителя.

Обыденный язык не является адекватным в области объективного познания. Между онтологией и лексикой имеется зависимость. Так, например, ни Аристотель, ни другие античные философы еще не могли выделить традиционные категории бытия, поскольку в древнегреческом языке отсутствовали слова для их обозначения. Чтобы разграничить указанные философские термины, понадобилось возникновение латыни, а чтобы разграничить означаемое – христианской теологии. Итак, система философских категорий зависит от языкового строя, подвергается влиянию характера языка (в частности, его синтетичности / аналитичности). При этом философский дискурс весьма далек по своей знаковой организации от обыденного языка и разговорно-бытового словоупотребления. Дело в том, что значения языка могут использоваться и используются всеми философами в функции рефлективного обоснования, которая в обыденном употреблении языка практически не встречается и даже противоречит его коммуникативным и когнитивным функциям. Естественный язык в философском дискурсе характеризуется «противоестественной» прагматикой, которая более далека от естественной («обыденной»), чем прагматика большинства искусственных языков науки.