Техническая

 

Проблема соизмеримости формальных динамических онтологий

 

Научный руководитель: Дмитриев Вячеслав Евгеньевич, к.ф.н., доцент, в.н.с.

 

Актуальность данной проблемы обусловлена постоянным появлением новых формальных онтологических систем и развитием используемых в них методов описания.

Разработанность темы

Гуссерль «Логические исследования»

А. Вежбицкая «Понимание культур через посредство ключевых слов»

Драгалина-Черная «Формальные онтологии: Аналитическая реконструкция»

Фалько В.И. «Формальные онтологии»

Васюков В. Л. «Формальная онтология»

Проблема. Каким образом может происходить релятивизация множественных альтернативных онтологических систем, возможно ли выделить критерии для определения степени их сравнимости и соизмеримости?

Предметом работы является возрастание сложности взаимодействия смысловых образований динамических формальных онтологических систем, в том числе с «подвижным» синтаксисом, что может быть связано с необходимостью задавать все более сложные типы соответствия, которое может быть продемонстрировано с использованием анализа таких динамических языков, как Perl 6 (автор Ларри Уолл) и Katahdin (Крис Ситон).

Целью работы является установление взаимного влияния смысловой несоизмеримости и увеличения сложности взаимодействия онтологических систем языков с «подвижным» синтаксисом.

Задачи:

ñ       определить понятие динамической формальной онтологии

ñ       определить понятие динамической формальной онтологии языка с «подвижным» синтаксисом

ñ       ввести проблемы теоретической реконструкции, соизмеримости и взаимного перевода онтологий

ñ       установить трудности динамических онтологий с «подвижным» синтаксисом в контексте взаимодействия формальных языков
План

Глава 1.

  1. Типология онтологий
  2. Формальные онтологии
  3. Проблема соизмеримости формальных онтологий

Глава 2. Формальная динамическая онтология

  1. Особенность формальных динамических онтологий
  2. Динамическая онтология языка A
  3. Динамическая онтология языка B

Глава 3. Формальные динамические онтологии с «подвижным» синтаксисом

  1. Особенность формальных динамических онтологий с «подвижным» синтаксисом
  2. Динамическая онтология языка X с «подвижным» синтаксисом
  3. Динамическая онтология языка Y с «подвижным» синтаксисом

Глава 4.

  1. Проблема теоретической реконструкции формальных динамических онтологий
  2. Возможность их соизмеримости X- и Y-онтологий
  3. Проблемы взаимного перевода онтологий X- и Y-онтологий

Заключение (возможности ф. д. онтологий с «подвижным» синтаксисом)

 

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