Логико-методологические основы для расширения формального аппарата (языка Ято), обслуживающего параметрическую общую теорию систем

Abstract

Параметрична версія загальної теорії систем (GST PV) поки що розроблена з використанням мови опису терміналу (LTD) Завдяки версії мови LTD-4, у GST PV були досягнуті значні результати. Однак було виявлено ряд недоліків LTD 4. Щоб усунути такі недоліки, мову LTD-4 потрібно розширити. Модифікований таким чином LTD -4 можна назвати LTD-5. Початкові (елементарні) добре сформовані формули (WFF) з алфавіту LTD-5 є лише такими: t; а; A; E. Формули t і позначають відповідно певну і невизначену річ. Формула А означає будь-яку (довільну) річ. The Parametric Version of the General Systems Theory (GST PV) has so far developed using the Language of Ternary Description (LTD) Thanks to the version of the language LTD-4, significant results were achieved in the GST PV. However, a number of shortcomings of LTD 4 were also revealed. To eliminate such shortcomings, the language LTD-4 needs to be expanded. Modified in this way LTD -4 can be called LTD-5. The initial (elementary) well formed formulae (WFFs) from the alphabet of LTD-5 are only the following: t; a; A; E. Formulas t and a denote, respectively, a definite and indefinite thing. Formula A stands for any (arbitrary) thing. Параметрическая версия общей теории систем (GST PV) пока разработана с использованием языка описания терминала (LTD) Благодаря версии языка LTD-4, в GST PV были достигнуты значительные результаты. Однако был выявлен ряд недостатков LTD 4. Чтобы устранить такие недостатки, язык LTD-4 нужно расширить. Модифицированный таким образом LTD -4 можно назвать LTD-5. Начальные (элементарные) хорошо сформированы формулы (WFF) из алфавита LTD-5 являются лишь следующие: t; а; A; E. Формулы t и обозначают соответственно определенную и неопределенную вещь. Формула А означает любое (произвольную) вещь.