ФОРМАЛИЗАЦИЯ ЗНАЧЕНИЙ
№ | ТИПЫ СИСТЕМ | Примеры | Примечания | |
1 а | (iA) Система типа взаимодействия = df = df (iA){([ a (* iA)]) Взаимодействие } | 1. Организм 2. Семья. | "Взаимодейст-вие" выразимо через iA и iA' в субстрате + их связный список в дефиниендуме. | |
1 б | (iA) Система не типа взаимодействия = df = df (iA){(([ a (* iA)]) Взаимодействие)F} | 1 Биологический вид 2. Др.-греч. философия и современная. | ||
2 а | (iA) Упорядоченная система = df = df (iA){([ a (* iA)]) Антирефлексивность, Антисимметричность,Транзитивность } | 1. Очередь 2.Филос. Гегеля, марксизм. | Свойства симметричности, рефлексивности, транзитивности выразимы на ЯТО. | |
2 б | (iA) Неупорядоченная система = df = df (iA){(([ a (* iA)]) Антирефлексивность, Антисимметричность,Транзитивность)F} | 1.Толпа. 2.Апореи Зенона Элейского | ||
3 а | (iA) Субстратно-открытая (незавершенная) система = df = df (iA){{([ i´a (* iA)]) t } · {([ i´a (* iA D)]) t }} | 1.Аудитория студентов. 2.Население Украины. 3. Методология. 4. Переодич система Менделеева | a D=надобъект а, (т.е. содержит а, но отличен от него). | |
3 б | (iA) Субстратно-замкнутая (завершенная) система = df = df (iA){{([ i´a (* iA)]) t } · {(([ i´a (* iA D)]) t)F}} | 1. "Красный Робинзон" 2. Гегелевская система. | ||
4 а | (iA) Структурно-открытая (незавершенная) система = df = df (iA){{([ i´a (* iA)]) t } · {([ i´a D(* iA)]) t }} | 1.Демократич строй. 2."Господин – раб" по Аристотелю. | ||
4 б | (iA) Структурно-замкнутая (завершенная) система = df = df (iA){{([ i´a (* iA)]) t } · {(([ i´a D(* iA)]) t)F}} | 1.Игра в шахматы. 2. "Господин – раб" по Платону. | ||
5 а | (iA) Субстратно-неминимальная система = df = df (iA){{([ i´a (* iA)]) t } · {([ i´a (* iA È)]) t }} | 1.Борода Хоттабыча. 2.Система категорий Аристотеля в "Категориях" | iA È= некоторый подобъект iA (= чепса -1) Здесь – элемент". | |
5 б | (iA) Субстратно-минимальная система = df = df (iA){{([ i´a (* iA)]) t } · {(([ i´a (* iA È)]) t)F}} | 1.Система "В-С-О". | Уничтожается при удалении любого элемента. | |
6 а | (iA) Структурно-неминимальная система = df = df (iA){{([ iia (* iA)]) t } · {([ ii a È(* iA)]) t }} | 1.Система управления, допускающая упрощение. | ||
6 б | (iA) Структурно-минимальная система = df = df (iA){{([ iia (* iA)]) t } · {(([ iia È(* iA)]) t)F}} | 1 Натуральный ряд чисел. | ||
7 а | (iA) Стабильная система = df = df (iA){{([ iia (* iA)]) t } · {([ iia' (* iA)]) t }} | 1. Море 2 Хоз-во фермера 3. Творческий марксизм. | ||
7 б | (iA) Нестабильная система = df = df (iA){{([ iia (* iA)]) t } · · {(([[(A) iia' ](* iA)]) t)F}} | 1. Геометрическая фигура. 2. Догматический марксизм и проч. догматизм. | ||
8 а | (iA) Неуникальная (по субстрату) система = df = df (iA){{([ i´a (* iA)]) t } · {([ i´a (* iA')]) t }} | 1 Продукты массового производства; "попса". 2. Атомы Демокрита | Аналогично – структурная неуник-тьиуникальность: См. Послесловие К.Поппера к "ОО и ЕВ" | |
8 б | (iA) Уникальная (по субстрату) система = df = df (iA){{([ i´a (* iA)]) t } · {(([ i´a (* iA')]) t)F}} | 1. Монна Лиза 2. Вселенная 3. Личность? | ||
9 а | (iA) Стационарная система = df = df (iA){{([ i´a (* iA)]) t } · {([ i´a (* iA °)]) t }} | 1. Можно ли войти в ту же реку дважды? 2. Управление по-сталински. | t °= диспарат– объект, отличный и от t, и от произвольной чепсы t (» совсем другое). | |
9 б | (iA) Нестационарная система = df = df (iA){{([ i´a (* iA)]) t } · {([ i´a (* iA °)])F}} | 1.Античные философы (в Ист ф-ии). | ||
10 а | (iA) Неэлементарная система = df = df (iA){{([ a (* iA)]) t } · {([ a (* iA È)]) t }} | 1.Солнечная система. 2. Филос Аристот. | NB: снят только йота-оператор из определения минималь-ных систем | |
10 б | (iA) Элементарная система = df = df (iA){{([ a (* iA)]) t } · {(([ А (* iA È)]) t)F}} | 1. Филос М. Монтеня, Л.Шестова, "ЛФТ" Л. Витгенштейна 2. Лес. | ||
11 а | (iA) Концептуально-точечная система = df = df (iA){([ a (* iA)]) Lt } | 1. Натуральный ряд чисел | "Единственно возможный смысл" | |
11 б | (iA) Концептуально-неточечная система = df = df (iA){{([ a (* iA)]) t } · (t Þ Lt)F} | 1. Все философские системы 2. Система управления государством. 3. Семья | ||
12 а | (iA) Структурно-точечная система = df = df (iA){{([ i´a (* iA)]) t } · {([ Li´a (* iA)]) t }} | 1.Геометрич. фигура (напр., H) 2.Знаки дорожного движения. | ||
12 б | (iA) Структурно-неточечная система = df = df (iA){{([ i´a (* iA)]) t } · (i´a Þ Li´a)F} | 1. Военная операция, даже проведенная по плану. 2. Рассуждение в натур языке | ||
13 а | (iA) Структурно-невариативная система = df = df (iA){{([ i´a (* iA)]) t }· · {[ A (* iA)] Þ { i´a Ú i´a È}}} | 1.Натуральный ряд чисел. 2. Силлогизм BARBARA | "Дизъюнкция" – Cм.[1] | |
13 б | (iA) Вариативная по структуре система = df = df (iA){{([ i´a (* iA)]) t } · · {(([ A (* iA)] Þ { i´a Ú i´a È})T) n }} | 1.Студенческая группа. 2. Все социальные системы. 3. Дружба | (T) n –кон-традиктор-ное отрицание. | |
14 а | (iA) Гомеомерная система = df = df (iA){{([ iia (* iA)]) t } · {([ iia (*[(A) i A È])]) t }} | 1. Аристот: медь, мясо, золото, кости. Мол, Анаксагор сводил мир к гомеомерным системам, но есть и др. 2. Преформизм в биологии. | Любые части "подобочастных" систем подобны друг другу и целому. | |
14 б | (iA) Негомеомерная (гетерогенная) система = df = df (iA){{([ iia (* iA)]) t } · · {(([ iia (*[(A) iA È])])T) n }} | 1. Аристот: лицо, рука. Неподобочастные = промежут полож между эл. и гомеомериями. 2. Критика преформизма | (T) n – кон-традиктор-ное отрицание. | |
15 а | (iA) Неимманентная система = df = df (iA){([ ai (* iA · iA °)]) t } | 1. Футб. команда во время игры. 2. Гарем 3. Мир с теологической т.зр. | ai – некоторое отношение типа inter (между) A °– диспарат | |
15 б | (iA) Имманентная система = df = df (iA){{([ iia (* iA)]) t } · · {([ iia (* iA · [(A) iA °])F}} | 1. Солнечная система. 2. Природа с т.зр. материализма. | Структура охватывает элементы только данной системы | |
16 а | (iA) Центрированная (относительно iiA) система = df = df (iA){4{1([ a (* iA)]) t }1· · {2 iiA · {3[ A (* iA)] Þ [ a (* iiA)]}3}2}4 | 1. Натур ряд чисел относительно нуля. | ||
16 б | (iA) Внутренне центрированная относительно ii { iA È} система = df = df (iA){4{1([ a (* iA)]) t }1· · {2 ii { iA È} · {3[ A (* iA)] Þ [ a (* ii { iA È})]}3}2}4 | 1. Аристот. система категорий. 2.Авторитарная сист. управления | ||
16 в | (iA) Внешне центрированная относительно ii { iA °} система = df = df (iA){4{1([ ai (* iA · iA °)]) t }1· · {2 ii { iA °} · {3[ A (* iA)] Þ [ a (* ii { iA °})]}3}2}4 | 1.Вселенная мутакаллимов и окказионалистов. 2.Гарем. 3.Шпионская сеть в чужой стране. | ai – отнош. типа inter – "между". | |
16 г | (iA) Нецентрированная система = df = df (iA){4{1([ a (* iA)]) t }1· · {2(iiA · {3[ A (* iA)] Þ [ a (* iiA)]}3)F}2}4 | 1.Вселенная с т.зр. материализма. 2.Пешеходы на ул. | ||
17 а | (iA) Внутренняя система = df = df (iA){{([ iia (* iA)]) t } · { iA f iia }} | 1. Натуральный ряд чисел. 2. Брэдли (и др. гегельянцы): мир состоит из внутренних систем. 3.Закон и его корреляты. | f – реляционная имликатия, её можно заменить нейтральной | |
17 б | (iA) Внешняя система = df = df (iA){{([ iia (* iA)]) t } · {(iA f iia)F}} | 1. Вселенная по В.Джеймсу. | ||
18 а | (iA) Жёсткая система = df = df (iA){{([ i´a (* iA)]) t } · {(t ® i´a)}} | 1. Квалификац работа (курсовая, дипломная, диссер.), если – в строгом соответствии с требованиями 2.Гегелевская "триада". | ||
18 б | (iA) Нежёсткая система = df = df (iA){{([ i´a (* iA)]) t } · {(t ® i´a)}}F | 1. Квалифик. работа, если предполагает инициативу. 2. Филос. сист. Аристот. | ||
19 а | (iA) Тоталитарная система = df = df (iA){{([ a (* iA)]) t } · { t ® [ A (* iA)]}} | 1. Гос-во Платона 2."1984" Оруэла, "Мы" Замятина, Сталинизм, Нацизм | Диктатура – система произвола. | |
19 б | (iA) Нетоталитарная система = df = df (iA){{([ a (* iA)]) t } · {((t ® [ A (* iA)])T) n } | 1. Обычные гос-ва. 2. Нормальное сексуальное партнерство. 3. Управление автомобилем.. | ||
20 а | (iA) Расчленённая система = df = df (iA){{([ a (* iA È· iA È)]) t } | 1. Любая филос система. 2. Организм 3. Общество | ||
20 б | (iA) Нерасчленённая система = df = df (iA){{ ([ a (* iA)]) t } · {([(A) iA È])F}} | 1. "Душа" у Декарта 2. Физический атом Демокрита. 3. Монада Лейбница в простр смысле. 4 "Точка" у Эвклида. | ||
21 а | (iA) Всецелонадежная система = df = df (iA){{([ a (* iA)]) t } · {([ a (*[(A) iA È)]) t)} | 1.Гомеомерные системы. 2. "И один в поле воин". | В гомеомерных системах – тождество структур. Здесь это не обязательно. | |
21 б | (iA) Невсецелонадежная система = df = df (iA){{([ a (* iA)]) t }·{((([ a (*[(A) iA È)]) t)T) n)}} | 1. Любая филос. система. 2. Больш часть социальных, правовых, биол, технич систем | ||
22 а | (iA) Детерминирующая система = df = df (iA){{([ a (* iA)]) t } · · { i´ [(a) iA È] ® i´ [(a) iA È]'}} | 1.Филос системы 2. Технич системы 3 Список гр по к-л принципу | ||
22 б | (iA) Недетерминирующая система = df = df (iA){{([ a (* iA)]) t } · · {(i´ [(A) iA È] ® i´ [(a) iA È] ')F}} | 1.Стихотворение В.Хлебникова 2. Бред сумасшедш 3 Номера выигрышей в лотерее. 4 Список гр. без опред порядка. | ||
23 а | (iA) Многослойная система = df = df (iA){{([ iia (* iA)]) t } · · {[ i´ { ii a È}(* i´i´ { iA È})] · [ i´ { ii a È} ' (* i´i´ { iA È} ')]} | 1.Классовое обществопо Марксу | йк | |
23 б | (iA) Однослойная система = df = df (iA){{([ iia (* iA)]) t } · ·({[ i´ { ii a È}(* i´i´ { iA È})]·[ i´ { ii a È} ' (* i´i´ { iA È} ')])F} | 1. Бесклассовое общ-во по Марксу. | Йк | |
24 а | (iA) Первичая система = df = df (iA){{([ i´a (* iA)]) t } · { i´a ® (i´a) t }} | 1. Филос система в момент создания 2 "Аврора" как боевой крейсер 3. Материальный мир у материалиста | ||
24 б | (iA) Вторичная система = df = df (iA){{([ i´a (* iA)]) t } · (i´a ® (i´a) t)F} | 1.Филос сист. как предмет "Истории филос" 2. Музейный порядок вещей. 3. Интерпретации Фестского диска. | ||
25 а | (iA) Полная система = df = df (iA){([ a (*[ iA *) A ])]) t } | 1.Система Гегеля с т.зр Гегеля 2."Всестороннее" поним человека, филос произв и т.д. 3. Абстрактные системы | ||
25 б | (iA) Частичная система = df = df (iA){([ a (*[ iA *) La ])]) t } | 1.Интерпретации филос произв 2.Марксистская модель истории | ||
26 а | (iA) Автомодельная (элементарно-автономная) относительноiiA система = df = df (iA){{([ a (* iA)]) t } · iiA · · {([(A) iA È]*)[(iA *) iiA ]}} | 1. Декарт: "Сад, каждая часть которого тоже сад" (Жизнь). 2. Если произв – по-древнегречески, то и любая часть по др-гречески. | ||
26 б | (iA) Неавтомодельная относительноiiA система = df = df (iA){{([ a (* iA)]) t } · iiA · · (({([(A) iA È]*)[(iA *) iiA ]})T) n } | 1. Филос произв, содержащее доказ-во, не содержит его в каждой своей части. | ||
27 а | (iA) Субстратно-гомогенная относительно iia система = df (iA){{([ a (* iA)]) t } · iia · · {([(A) iA È]*)[(iia *) A ]}} | 1. Философский монизм. 2. Железная дорога | ||
27 б | (iA) Субстратно-гомогенная система = df = df (iA){{([ a (* iA)]) t } · {([(A) iA È]*)[(a *) A ]}} | 1. Килограмм гвоздей. 2. Содаты для маршала?3. | ||
27 в | (iA) Субстратно-гетерогенная относительно iiA система = df (iA){{([ a (* iA)]) t } · · {[(iA È) iiA ] · [(iA È) iiA' ]}} | 1. Эклектич произведение (Трактат Цицерона "О природе богов". | ||
28 а | (iA) Слабая относительно iia система = df = df (iA){{([ a (* iA)]) t } · iia · · {([(iia) i A °]*)[([(iia *) iA È]*) A ]}} | 1. Филос.системы, использующие табл умножения, не меняют этой таблицы. | ||
28 б | (iA) Сильная (форсивная) относительно iia система = df = df (iA){{([ a (* iA)]) t } · iia · · {([(iia) iA È]) i´a, ([(iia) i A °]) i´a' }} | 1. Диалектика в составе марксизма – уже не гегелевская диалектика. 2. Волчья стая и Маугли 3. Домострой. | Т.е. вне системы iia обладает другими свойствами. | |
29 а | (iA) Циклическая система = df = df (iA){{([ iia (* iA)]) t } · · {[(iia È) i´a ] · [(iia È ') i´a ]}} | 1.Система категорий Гегеля. 2.Движение планет вокруг Солнца. 3. Разв общ-эк формаций по Марксу. | ||
29 б | (iA) Нециклическая система = df = df (iA){{([ iia (* iA)]) t } · · {([(iia È) i´a ] · [(iia È ') i´a ])F}} | 1. Система категорий Аристотеля. 2. Движение снаряда из орудия. 3. Происхождение жизни. | ||
30 а | (iA) Стабилизируемая (структурно-регенеративная) система = df = df (iA){{([ iia (* iA)]) t } · {{ iia' · a } ® iia }} | 1. Войско, восстанавливающее свой порядок. 2. Резиновый мячик | Здесь a интерпретируется как "какой-то отрезок времени". Ср.с №7 а | |
30 б | (iA) Нестабилизируемая (структурно нерегенеративная) система = df = df (iA){{([ iia (* iA)]) t } · · {({{ iia' · a } ® iia })F}} | 1. Войско разбежалось. 2. Окно – разбито камнем 3."Слово – не воробей". | ||
31 а | (iA) Полностью авто-регенеративная по субстрату система = df (iA){3{1([ a (* iA)]) t }1· · {2 iA È® {4[(A) iA È] ® iA }4}2}3 | 1. Волосы без прически. 2.. 3. | NB: iA È– время включается в систему. | |
31 б | (iA) Частично авто-регенеративная по субстрату система = df (iA){3{1([ a (* iA)]) t }1· · {2 iA È® {4[(La) iA È] ® iA }4}2}3 | 1. Ящерица. 2. Человек. 3. Семейные отношения 4. | ||
31 в | (iA) Полностью внешне-регенеративная по субстрату система = df (iA){3{1([ a (* iA)]) t }1· · {2 i A °® {4[(A) iA È] ® iA }4}2}3 | 1. Часы, любое техническое изделие. | ||
31 г | (iA) Частично внешне-регенеративная по субстрату система = df (iA){3{1([ a (* iA)]) t }1· · {2 i A °® {4[(La) iA È] ® iA }4}2}3 | 1. Текст "Метафи зики" Аристотеля: восстановлены отдельные поврежденные места. 2. | ||
32. | (iA) Абсолютно самодостаточная система = df = df (iA){{([ iia (* iA)]) t } · { A · iia } Þ iia }} | Философский вопрос: существуют ли такие системы? 1. Мир в целом. 2 "Абсолют". 3.?: Табл. умнож. | Нельзя уничтожить в любых условиях. | |
33 а | (iA) Твеновая система = df = df (iA){{([ iia (* iA)]) t } ® {(([ iia (* iA)]) t)F}} | 1. Эпикурейская система морали. 2. Психологи: держи основную цель боковым зрением. 3. Строительство коммунизма: строят не там, где хотят. | ||
33 б | (iA) Не-твеновая система = df = df (iA){{([ iia (* iA)]) t }®{((([ iia (* iA)]) t)F)F}} | 1.Строительный процесс. 2. Плановая работа | ||
34 а | (iA) Система с опосредованием = df = df (iA){{([ iia (* iA)]) t } · · { ii a È([(A) iA È] · a)}}] | 1. Общение через переводчика. | ||
34 б | (iA) Система без опосредования = df = df (iA){{([ iia (* iA)]) t } · · ii a È([(A)L iA È])}] | 2. Общение без переводчика. |
[1] Дизъюнкция в ЯТО определяется так: { iA Ú iiA }= df { {(iA)F ® (iiA }T} · (iiA }F ® (iA }T }.