|
Учитывая то обстоятельство, что в качестве системы можно понять произвольную вещь, формальный язык должен был соответствовать представлениям Уёмова об универсальной структуре бытия. Это значит, что возможности нового языка не должны исчерпываться задачами только системных исследований. В основу «языка тернарного описания» (ЯТÓ) были положены две тройки философских категорий: 1) вещь, свойство и отношение и 2) определенное, неопределенное и произвольное. Был принят принцип не абсолютного, а функционального различения категорий в каждой из этих троек. Причем, в соответствии с первоначальной идеей относительно того, что вещи, отношения и свойства различимы лишь контекстуально, в ЯТО они выражаются синтаксически, а вторая тройка составила семантику этого языка.
Уемовым и небольшой группой его научных сотрудников (с 1973 по 1993 год он возглавлял отдел системных исследований в Одесском институте экономики) было предложено множество логических новинок. И по сей день эти новинки традиционными логиками принимаются «со скрипом» – пожалуй, обычная судьба всего нового в науке. Но как бы то ни было, после создания ЯТО стало ясно, что это принципиально новое исчисление, и что это событие не рядового масштаба. Возможно, предыдущими вехами на этом пути были исчисление высказываниий (в интерпретации Уёмова – «исчисление вещей»), логика Аристотеля («исчисление вещей и свойств») и логика отношений («исчисление вещей и отношений»). Задача более четкого выражения качественных суждений, в том числе о добре и зле, о вере и знании, о счастье и справедливости, о тоталитаризме и либерализме и др. – как будто приблизилась к своему осуществлению.
|