Язык тернарного описания

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

Изложение ЯТО

• Уемов А.И. Об одном варианте логико-математического аппарата системного исследования. – “Проблемы формального анализа систем”. M, 1968, с.35-69 ("ЯТО-1")
• Уемов А.И. Системный подход и общая теория систем. М., 1978;
• Uemov A. The Language of the Ternary Description as an Alternative of the Predicate Calculus. – “6-th Intern. Congress of LMPhS”. Hannover, 1979, Section 5, с.194-198
• Уемов А.И. О логико-математическом аппарате общей теории систем. – “Актуальные проблемы логики и методологии науки”. Киев, Наукова думка, 1979, с.299-309
• Уемов А.И. Основы формального аппарата параметрической ОТС // Системные исследования. 1984. М., 1984; ("ЯТО-84")
• Uemov A. The Language of Ternary Description as a Deviant Logic // Boletim da Sociedade Paranaense da Matematica. V.15. № 1—2, 1995; V.17. № 1—2, 1997; V.18. № 1—2, 1998; ("ЯТО-95")
• Uemov A. The Ternary Description Language as a Formalism for the Parametrical General Systems Theory: Part 1. – In “Int. J. General Systems, Vol.28(4-5), 1999, p.351-366

Литература

• Леоненко Л.Л. Язык тернарного описания и его автор (к 70-летию профессора Авенира Уемова) // Философские исследования – 2000. – № 2. – С.118–141.
• Уемов А.И. Основы практической логики с задачами и упражнениями. Одесса, 1997;

Ссылки

• Сайт философской школы А.И.Уемова

Для улучшения этой статьи по логике желательно?: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).