Иерархия семантических категорий и ее роль в анализе искусственных и естественных языков

Построение семантик естественных и формализованных языков

А. Тарский рассматривал семантику как строгую науку, которую можно построить только для языков, имеющих четко заданную структуру. Такие языки позволяют эффективным образом установить принадлежность к классам:

• термов,
• аксиом,
• формул (предложений),
• выводов.

В формализованных языках, отвечающих этому требованию, существуют процедуры, которые дают возможность эффективно выделять перечисленные классы выражений без анализа их значения и смысла – только по виду символов и способам их соединения. Рассмотренное описание языка характеризуется как чисто формальное, относящееся к синтаксису.

Важно различать

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

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

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

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

По факту, происходит реализация своеобразной идеи, высказанной Э. Кондильяком: язык является не только средством общения, но и аналитическим методом: «Если бы люди заметили, что языки также являются аналитическими методами, было бы нетрудно найти правила искусства рассуждать». В дальнейшем такой подход к языку как инструменту познавательной деятельности активно реализовался Г. Лейбницем, а позже Г. Фреге. При этом не осуществляется противопоставления между искусственными, формализованными языками и естественными языками – они имеют разные задачи.

А. Тарский, рассматривая способы и пути интерпретации формальных систем, отмечал, что семантические понятия пользуются «дурной славой», и основной задачей представляется введение их корректным, точным образом. Далее, нужно выяснить характеристики:

• метаязыка,
• его концептуального аппарата,
• средств метатеории, адекватных построению семантики объектной теории.

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

При построении языковой семантики явно или неявно принимается система семантических категорий. Иерархия семантических категорий, т.е. определенная типология значений, разрабатывается на основе философских, теоретико-познавательных предпосылок, а не прагматических соображений. Таким образом, принятая система семантических категорий – важная характеристика формализованных языков.

Роль иерархии семантических категорий в анализе языков

В основе построения формализованных языков лежит иерархия семантических категорий, что обуславливает пути анализа логической формы выражений и допустимые способы рассуждений. Так, при сравнении языка стандартной логики (характерного для систем фреге-расселовского типа) выявляется отличие от языка системы онтологии Лесневского, проявляющееся в лежащих в их основе системах семантических категорий. В первом случае роль основных категорий играют собственные имена (имена, принадлежащие предметам индивидной области) и высказывания. Общие имена (например, «металл», «животное», «фрукт») принадлежат не к категории имен, а к категории s/n (это значит, что они рассматриваются как одноместные предикаты). Поэтому языки фреге-расселевского типа не допускают принадлежности субъекта и предиката высказывания одной семантической категории. В онтологии и силлогистике Лесневского такая ситуация допустима. Таким образом, само понятие предиката меняется по существу.

Теория семантических категорий, будучи построена, превращается в базу разработки типологии самих языков. При этом языки могут различаться:

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

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