Обобщение логических импликатий в расширенном языке тернарного описания (ЯТО)

Abstract

Язык тернарного описания (ЯТО), служащий формально-логическим аппаратом Параметрического Варианта Общей Теории Систем, нуждается в усовершенствовании. Алфавит ЯТО расширен с использованием категории «универсальность». К набору фундаментальных отношений ЯТО добавлены неопределённое соотношение, а также соотношения обладания, присущности и их обобщение. Здесь же уточняется ряд понятий и суждений: дескриптор вещи; генетическое соотношение; направленное тождество; импликация (как связь предложений или понятий) и несколоько её видов; синтетические отношения и свойства; безусловная связь (или зависимость). Мова Тернаного Опису (МТО), що служить формально-логічним апаратом для Параметричної Загальної Теорії Систем, потребує вдосконалення. Абетку МТО розширено з використанням категорії «універсальність». До набору фундаментальних відношень МТО додано невизначене співвідношення, а також співвідношення «мати», «належати» та їх узагальгення. Тут же уточнюється низка понять і висловлювань: дескриптор речі; генетичне співвідношення; спрямована тотожність; імплікація (як зв’язок висловлювань або понять) та декілька її видів; синтетичні відношення та властивості; безумовний зв’язок (чи залежність). The Ternary Description Language (TDL), which serves as the formal-logical apparatus of the Parametric Variant of the General Systems Theory, needs to be improved. The alphabet is extended with the use of the category “universality”. Ratio that is undefined (has vagueness), as well as the ratio of possession, inherentness and their generalization, are added to the set of fundamental relations of the TDL. The author clarifies a number of concepts and propositions: the descriptor of a thing; genetic relationship; directed identity; implication (as a connection of propositions or concepts) and several of its types; synthetic relationships and properties; unconditional connection (or dependence).