Концептуальный анализ и проектирование Введение в аппарат ступеней и его применение Концепт Москва 2010 Серия «Концептуальный анализ и проектирование»


Раздел 1.6. Опыт экспликации эпизода развития в частных теориях ступеней



бет8/19
Дата16.07.2016
өлшемі1.91 Mb.
#202556
1   ...   4   5   6   7   8   9   10   11   ...   19

Раздел 1.6. Опыт экспликации эпизода развития в частных теориях ступеней


В разделе подробно описывается и иллюстрируется применение теоретико-модельных частных теорий ступеней.

Теоретико-модельные частные теории ступеней


Теоретико-модельные частные теории имеют своим предметом отношение между значениями мощностей множеств и структурой ступеней, содержащих такие множества. Разнообразие значений мощностей множеств, входящих в выражения ступеней, представлены вспомогательными множествами.

Пусть рассматривается некоторая ступень, мощность одного или нескольких базисных или производных множеств которой задана. Положим, что у одного, или нескольких, или всех этих множеств мощность изменилась на один элемент. В этом классе частных теорий ступеней следствием является изменение структуры ступени, появление или исчезновение в ступени булеанов и декартианов. Заметим, что последствия добавления одного элемента различаются в зависимости от того, используется ли наивная теория множеств или логическая теория множеств.

В наивной теории множеств добавление одного элемента к множеству меняет на единицу мощность множества.

В логической теории множеств могут быть два случая в зависимости от того, подпадает ли логическое определение добавляемого элемента под логическое определение множества, к которому этот элемент добавляется.

Если определения совпадают, то меняется только мощность множества.

Если эти определения не совпадают, то меняется определение множества — обычно, расширяется. Если расширение определения множества противоречит предметной интерпретации, то добавление к множеству такого элемента невозможно.

Если же целью добавления элемента к множеству именно и является изменение определения множества, то такое добавление элемента становится парой логических операций — изменение состава элементов множества и изменение определения множества.

Важными последствиями добавления элемента к множеству являются изменения булеана множества, декартиана множества, булеана декартиана множества и т.д.

Важно заметить, что так называемые «аспекты», атрибутирующие определения множеств, например, вес или размер, принадлежат модельной (не понятийной!) стороне определения. Пространство и тяжесть — отношение между вещами, а не их качества.

Определение булеана от конечного множества


Предполагается, что используется логическая теория множеств, в которой множеству, его подмножествам и элементам даются логически корректные определения. Предполагается также, что все элементы множества различны. При этом некоторые атрибуты определения элементов могут совпадать, что делает возможным принадлежность одного элемента двум или нескольким подмножествам множества. Подмножества, следовательно, могут пересекаться, причем их пересечение считается подмножеством множества.

Пусть дано конечное множество Х, мощность которого Х  . Булеаном ВХ от множества Х называется множество всех подмножеств множества Х, включая множество его элементов, рассматриваемых как одноэлементные подмножества. Мощность булеана от множества Х обозначается ВХ. Подмножества множества Х образуются по основаниям их различения, которые могут быть:



  • формальные, например, подмножества различаются числом элементов; атрибуты элементов и их значения при этом не учитываются,

  • содержательные — перечни атрибутов и, возможно, их значения.

Множество Х определено одним или несколькими собственными атрибутами. Атрибуты множества как родовые входят в состав атрибутов каждого подмножества, но не являются его собственными атрибутами, видовыми. Каждый элемент множества имеет атрибуты множества, собственные атрибуты и атрибуты всех подмножеств, в которые входит данный элемент. Подмножества множества делятся на базовые и составные. Базовые подмножества не являются подмножествами никаких подмножеств. Составляющие подмножества являются подмножествами базовых подмножеств или любых составляющих подмножеств.

Пример, иллюстрирующий определение булеана

Пусть дано множество Х, состоящее из четырех элементов, обозначенных «1», «2», «3» и «4».

Три группы14 подмножеств этого множества, определенные по формальному основанию — числу элементов:





1-ая группа

4 подмножества, каждое из одного элемента



1, 2, 3, 4

Всего подмножеств — 4



2-ая группа

6 подмножеств, каждое из двух элементов



1, 2 1, 3 1, 4

2, 3 2, 4 3, 4

Всего подмножеств — 6


3-я группа

4 подмножества, каждое из трех элементов



1, 2, 3 1, 2, 4

1, 3, 4 2, 3, 4

Всего подмножеств — 4 (ни одного элемента, общего всем четырем подмножествам)


Всего по трем группам 14 формально определенных подмножеств.

Три группы подмножеств, определенных по содержательным основаниям — соответствию атрибутов элементов:



1-ая группа

Четыре подгруппы по три подмножества в каждом. Каждое подмножество из двух элементов



Признак: один элемент является общим для всех трех подмножеств подгруппы

1, 2 2, 1 3, 1 4, 1

1, 3 2, 3 3, 2 4, 2

1, 4 2, 4 3, 4 4,3

Всего подмножеств — 12



2-ая группа

Четыре подгруппы по три подмножества в каждой. Каждое подмножество из трех элементов



Признак: один элемент является общим для каждого подмножества из подгруппы

1, 2, 3 2, 3, 4 3, 1, 2 4, 1, 2

1, 3, 4 2, 1, 4 3, 1, 4 4, 2, 3

1, 2, 4 2, 1, 3 3, 2, 4 4, 1, 3

Всего подмножеств — 12



3-я группа

Четыре подгруппы по два подмножества в каждой. Каждое подмножество из трех элементов.



Признак: два элемента являются общими для каждого подмножества из подгруппы

1, 2, 3 1, 2, 3 2, 3, 4 3, 4, 1

1, 2, 4 4, 2, 3 1, 3, 4 2, 4, 1

Всего подмножеств — 8





Всего по трем группам 32 содержательно определенных подмножества

Методическое указание

Для исключения ошибок при определении подмножеств по группам и подгруппам полезно пользоваться диаграммой, ясно представляющей формально и содержательно определенные подмножества.

Диаграмма для построения булеана для четырехэлементного множества

Подобные диаграммы могут быть построены для пяти-, шести, …, n-угольников.



Пример 1. Изменение структуры булеана множества М, М = 3 при добавлении одного элемента

Áàçèñíîå ìíîæåñòâî:

M={A,B,C}. Ìîùíîñòü áóëåàíà: В(M)|= =8.

Подмножества булеана В(M):

Ïîäìíîæåñòâî îäíîýëåìåíòíûõ ïîäìíîæåñòâ:

{A},{B},{C},



Ïîäìíîæåñòâî äâóõýëåìåíòíûõ ïîäìíîæåñòâ:

{A,B},{A,C},{B,C},



Ïîäìíîæåñòâî òðåõýëåìåíòíûõ ïîäìíîæåñòâ:

{A,B,C}.



Äîáàâëÿåì к множеству М ýëåìåíò D.

Ìîùíîñòü ìíîæåñòâà:

|M| = 4

Ìîùíîñòü áóëåàíà:

В(M)|= =16.

Áàçèñíîå ìíîæåñòâî:

M={A,B,C,D}

Подмножества булеана B(M):

Ïîäìíîæåñòâî îäíîýëåìåíòíûõ ïîäìíîæåñòâ:

{A},{B},{C},{D},



Ïîäìíîæåñòâî äâóõýëåìåíòíûõ ïîäìíîæåñòâ:

{A,B},{A,C},{A,D},{B,C},{B,D}, {C,D},



Ïîäìíîæåñòâî òðåõýëåìåíòíûõ ïîäìíîæåñòâ:

{A,B,C},{A,B,D},{A,C,D},{B,C,D},



Ïîäìíîæåñòâî ÷åòûðåõýëåìåíòíûõ ïîäìíîæåñòâ:

{A,B,C,D}.




Пример 2. Изменение структуры булеана множества М, М = 9 при добавлении одного элемента

Рассматривается только множество М, М = 10, но в структуре подмножеств ВМ выделены подмножества, в которых имеется добавленный к множеству М, М = 9 элемент.



Изменение структуры и мощностей подмножеств при добавлении

к множеству М, М = 9 одного элемента

Тип подмножества булеана

ВМ, М = 10



Число элементов в подмножестве данного типа

Из них с добавленным элементом

Доля подмножеств булеана с добавленным элементом

Одноэлементное

10

1

10%

Двухэлементное

45

9

20%

Трехэлементное

120

36

30%

Четырехэлементное

210

84

40%

Пятиэлементное

252

126

50%

Шестиэлементное

210

126

60%

Семиэлементное

120

84

70%

Восьмиэлементное

45

36

80%

Девятиэлементное

10

9

90%

Десятиэлементное

1

1

100%


Наглядная иллюстрация к изменению структуры булеана множества

при добавлении одного элемента

Добавленный 10-й элемент выделен жирным шрифтом в отдельных группах



Одноэлементные подмножества (10)

{a}, {b}, {c}, {d}, {e}, {f}, {g}, {h}, {i},
{J},

Двухэлементные подмножества (45)

{a,b}, {a,c}, {b,c}, {a,d}, {b,d}, {c,d}, {a,e}, {b,e}, {c,e}, {d,e}, {a,f}, {b,f}, {c,f}, {d,f}, {e,f}, {a,g}, {b,g}, {c,g}, {d,g}, {e,g}, {f,g}, {a,h}, {b,h}, {c,h}, {d,h}, {e,h}, {f,h}, {g,h}, {a,i}, {b,i}, {c,i}, {d,i}, {e,i}, {f,i}, {g,i}, {h,i},
{a,J}, {b,J}, {c,J}, {d,J}, {e,J}, {f,J}, {g,J}, {h,J}, {i,J},

Трехэлементные подмножества (120)

{a,b,c}, {a,b,d}, {a,c,d}, {b,c,d}, {a,b,e}, {a,c,e}, {b,c,e}, {a,d,e}, {b,d,e}, {c,d,e}, {a,b,f}, {a,c,f}, {b,c,f}, {a,d,f}, {b,d,f}, {c,d,f}, {a,e,f}, {b,e,f}, {c,e,f}, {d,e,f}, {a,b,g}, {a,c,g}, {b,c,g}, {a,d,g}, {b,d,g}, {c,d,g}, {a,e,g}, {b,e,g}, {c,e,g}, {d,e,g}, {a,f,g}, {b,f,g}, {c,f,g}, {d,f,g}, {e,f,g}, {a,b,h}, {a,c,h}, {b,c,h}, {a,d,h}, {b,d,h}, {c,d,h}, {a,e,h}, {b,e,h}, {c,e,h}, {d,e,h}, {a,f,h}, {b,f,h}, {c,f,h}, {d,f,h}, {e,f,h}, {a,g,h}, {b,g,h}, {c,g,h}, {d,g,h}, {e,g,h}, {f,g,h}, {a,b,i}, {a,c,i}, {b,c,i}, {a,d,i}, {b,d,i}, {c,d,i}, {a,e,i}, {b,e,i}, {c,e,i}, {d,e,i}, {a,f,i}, {b,f,i}, {c,f,i}, {d,f,i}, {e,f,i}, {a,g,i}, {b,g,i}, {c,g,i}, {d,g,i}, {e,g,i}, {f,g,i}, {a,h,i}, {b,h,i}, {c,h,i}, {d,h,i}, {e,h,i}, {f,h,i}, {g,h,i},
{a,b,J}, {a,c,J}, {b,c,J}, {a,d,J}, {b,d,J}, {c,d,J}, {a,e,J}, {b,e,J}, {c,e,J}, {d,e,J}, {a,f,J}, {b,f,J}, {c,f,J}, {d,f,J}, {e,f,J}, {a,g,J}, {b,g,J}, {c,g,J}, {d,g,J}, {e,g,J}, {f,g,J}, {a,h,J}, {b,h,J}, {c,h,J}, {d,h,J}, {e,h,J}, {f,h,J}, {g,h,J}, {a,i,J}, {b,i,J}, {c,i,J}, {d,i,J}, {e,i,J}, {f,i,J}, {g,i,J}, {h,i,J},

Четырехэлементные подмножества (210)

{a,b,c,d}, {a,b,c,e}, {a,b,d,e}, {a,c,d,e}, {b,c,d,e}, {a,b,c,f}, {a,b,d,f}, {a,c,d,f}, {b,c,d,f}, {a,b,e,f}, {a,c,e,f}, {b,c,e,f}, {a,d,e,f}, {b,d,e,f}, {c,d,e,f}, {a,b,c,g}, {a,b,d,g}, {a,c,d,g}, {b,c,d,g}, {a,b,e,g}, {a,c,e,g}, {b,c,e,g}, {a,d,e,g}, {b,d,e,g}, {c,d,e,g}, {a,b,f,g}, {a,c,f,g}, {b,c,f,g}, {a,d,f,g}, {b,d,f,g}, {c,d,f,g}, {a,e,f,g}, {b,e,f,g}, {c,e,f,g}, {d,e,f,g}, {a,b,c,h}, {a,b,d,h}, {a,c,d,h}, {b,c,d,h}, {a,b,e,h}, {a,c,e,h}, {b,c,e,h}, {a,d,e,h}, {b,d,e,h}, {c,d,e,h}, {a,b,f,h}, {a,c,f,h}, {b,c,f,h}, {a,d,f,h}, {b,d,f,h}, {c,d,f,h}, {a,e,f,h}, {b,e,f,h}, {c,e,f,h}, {d,e,f,h}, {a,b,g,h}, {a,c,g,h}, {b,c,g,h}, {a,d,g,h}, {b,d,g,h}, {c,d,g,h}, {a,e,g,h}, {b,e,g,h}, {c,e,g,h}, {d,e,g,h}, {a,f,g,h}, {b,f,g,h}, {c,f,g,h}, {d,f,g,h}, {e,f,g,h}, {a,b,c,i}, {a,b,d,i}, {a,c,d,i}, {b,c,d,i}, {a,b,e,i}, {a,c,e,i}, {b,c,e,i}, {a,d,e,i}, {b,d,e,i}, {c,d,e,i}, {a,b,f,i}, {a,c,f,i}, {b,c,f,i}, {a,d,f,i}, {b,d,f,i}, {c,d,f,i}, {a,e,f,i}, {b,e,f,i}, {c,e,f,i}, {d,e,f,i}, {a,b,g,i}, {a,c,g,i}, {b,c,g,i}, {a,d,g,i}, {b,d,g,i}, {c,d,g,i}, {a,e,g,i}, {b,e,g,i}, {c,e,g,i}, {d,e,g,i}, {a,f,g,i}, {b,f,g,i}, {c,f,g,i}, {d,f,g,i}, {e,f,g,i}, {a,b,h,i}, {a,c,h,i}, {b,c,h,i}, {a,d,h,i}, {b,d,h,i}, {c,d,h,i}, {a,e,h,i}, {b,e,h,i}, {c,e,h,i}, {d,e,h,i}, {a,f,h,i}, {b,f,h,i}, {c,f,h,i}, {d,f,h,i}, {e,f,h,i}, {a,g,h,i}, {b,g,h,i}, {c,g,h,i}, {d,g,h,i}, {e,g,h,i}, {f,g,h,i},
{a,b,c,J}, {a,b,d,J}, {a,c,d,J}, {b,c,d,J}, {a,b,e,J}, {a,c,e,J}, {b,c,e,J}, {a,d,e,J}, {b,d,e,J}, {c,d,e,J}, {a,b,f,J}, {a,c,f,J}, {b,c,f,J}, {a,d,f,J}, {b,d,f,J}, {c,d,f,J}, {a,e,f,J}, {b,e,f,J}, {c,e,f,J}, {d,e,f,J}, {a,b,g,J}, {a,c,g,J}, {b,c,g,J}, {a,d,g,J}, {b,d,g,J}, {c,d,g,J}, {a,e,g,J}, {b,e,g,J}, {c,e,g,J}, {d,e,g,J}, {a,f,g,J}, {b,f,g,J}, {c,f,g,J}, {d,f,g,J}, {e,f,g,J}, {a,b,h,J}, {a,c,h,J}, {b,c,h,J}, {a,d,h,J}, {b,d,h,J}, {c,d,h,J}, {a,e,h,J}, {b,e,h,J}, {c,e,h,J}, {d,e,h,J}, {a,f,h,J}, {b,f,h,J}, {c,f,h,J}, {d,f,h,J}, {e,f,h,J}, {a,g,h,J}, {b,g,h,J}, {c,g,h,J}, {d,g,h,J}, {e,g,h,J}, {f,g,h,J}, {a,b,i,J}, {a,c,i,J}, {b,c,i,J}, {a,d,i,J}, {b,d,i,J}, {c,d,i,J}, {a,e,i,J}, {b,e,i,J}, {c,e,i,J}, {d,e,i,J}, {a,f,i,J}, {b,f,i,J}, {c,f,i,J}, {d,f,i,J}, {e,f,i,J}, {a,g,i,J}, {b,g,i,J}, {c,g,i,J}, {d,g,i,J}, {e,g,i,J}, {f,g,i,J}, {a,h,i,J}, {b,h,i,J}, {c,h,i,J}, {d,h,i,J}, {e,h,i,J}, {f,h,i,J}, {g,h,i,J},

Пятиэлементные подмножества (252)

{a,b,c,d,e}, {a,b,c,d,f}, {a,b,c,e,f}, {a,b,d,e,f}, {a,c,d,e,f}, {b,c,d,e,f}, {a,b,c,d,g}, {a,b,c,e,g}, {a,b,d,e,g}, {a,c,d,e,g}, {b,c,d,e,g}, {a,b,c,f,g}, {a,b,d,f,g}, {a,c,d,f,g}, {b,c,d,f,g}, {a,b,e,f,g}, {a,c,e,f,g}, {b,c,e,f,g}, {a,d,e,f,g}, {b,d,e,f,g}, {c,d,e,f,g}, {a,b,c,d,h}, {a,b,c,e,h}, {a,b,d,e,h}, {a,c,d,e,h}, {b,c,d,e,h}, {a,b,c,f,h}, {a,b,d,f,h}, {a,c,d,f,h}, {b,c,d,f,h}, {a,b,e,f,h}, {a,c,e,f,h}, {b,c,e,f,h}, {a,d,e,f,h}, {b,d,e,f,h}, {c,d,e,f,h}, {a,b,c,g,h}, {a,b,d,g,h}, {a,c,d,g,h}, {b,c,d,g,h}, {a,b,e,g,h}, {a,c,e,g,h}, {b,c,e,g,h}, {a,d,e,g,h}, {b,d,e,g,h}, {c,d,e,g,h}, {a,b,f,g,h}, {a,c,f,g,h}, {b,c,f,g,h}, {a,d,f,g,h}, {b,d,f,g,h}, {c,d,f,g,h}, {a,e,f,g,h}, {b,e,f,g,h}, {c,e,f,g,h}, {d,e,f,g,h}, {a,b,c,d,i}, {a,b,c,e,i}, {a,b,d,e,i}, {a,c,d,e,i}, {b,c,d,e,i}, {a,b,c,f,i}, {a,b,d,f,i}, {a,c,d,f,i}, {b,c,d,f,i}, {a,b,e,f,i}, {a,c,e,f,i}, {b,c,e,f,i}, {a,d,e,f,i}, {b,d,e,f,i}, {c,d,e,f,i}, {a,b,c,g,i}, {a,b,d,g,i}, {a,c,d,g,i}, {b,c,d,g,i}, {a,b,e,g,i}, {a,c,e,g,i}, {b,c,e,g,i}, {a,d,e,g,i}, {b,d,e,g,i}, {c,d,e,g,i}, {a,b,f,g,i}, {a,c,f,g,i}, {b,c,f,g,i}, {a,d,f,g,i}, {b,d,f,g,i}, {c,d,f,g,i}, {a,e,f,g,i}, {b,e,f,g,i}, {c,e,f,g,i}, {d,e,f,g,i}, {a,b,c,h,i}, {a,b,d,h,i}, {a,c,d,h,i}, {b,c,d,h,i}, {a,b,e,h,i}, {a,c,e,h,i}, {b,c,e,h,i}, {a,d,e,h,i}, {b,d,e,h,i}, {c,d,e,h,i}, {a,b,f,h,i}, {a,c,f,h,i}, {b,c,f,h,i}, {a,d,f,h,i}, {b,d,f,h,i}, {c,d,f,h,i}, {a,e,f,h,i}, {b,e,f,h,i}, {c,e,f,h,i}, {d,e,f,h,i}, {a,b,g,h,i}, {a,c,g,h,i}, {b,c,g,h,i}, {a,d,g,h,i}, {b,d,g,h,i}, {c,d,g,h,i}, {a,e,g,h,i}, {b,e,g,h,i}, {c,e,g,h,i}, {d,e,g,h,i}, {a,f,g,h,i}, {b,f,g,h,i}, {c,f,g,h,i}, {d,f,g,h,i}, {e,f,g,h,i},
{a,b,c,d,J}, {a,b,c,e,J}, {a,b,d,e,J}, {a,c,d,e,J}, {b,c,d,e,J}, {a,b,c,f,J}, {a,b,d,f,J}, {a,c,d,f,J}, {b,c,d,f,J}, {a,b,e,f,J}, {a,c,e,f,J}, {b,c,e,f,J}, {a,d,e,f,J}, {b,d,e,f,J}, {c,d,e,f,J}, {a,b,c,g,J}, {a,b,d,g,J}, {a,c,d,g,J}, {b,c,d,g,J}, {a,b,e,g,J}, {a,c,e,g,J}, {b,c,e,g,J}, {a,d,e,g,J}, {b,d,e,g,J}, {c,d,e,g,J}, {a,b,f,g,J}, {a,c,f,g,J}, {b,c,f,g,J}, {a,d,f,g,J}, {b,d,f,g,J}, {c,d,f,g,J}, {a,e,f,g,J}, {b,e,f,g,J}, {c,e,f,g,J}, {d,e,f,g,J}, {a,b,c,h,J}, {a,b,d,h,J}, {a,c,d,h,J}, {b,c,d,h,J}, {a,b,e,h,J}, {a,c,e,h,J}, {b,c,e,h,J}, {a,d,e,h,J}, {b,d,e,h,J}, {c,d,e,h,J}, {a,b,f,h,J}, {a,c,f,h,J}, {b,c,f,h,J}, {a,d,f,h,J}, {b,d,f,h,J}, {c,d,f,h,J}, {a,e,f,h,J}, {b,e,f,h,J}, {c,e,f,h,J}, {d,e,f,h,J}, {a,b,g,h,J}, {a,c,g,h,J}, {b,c,g,h,J}, {a,d,g,h,J}, {b,d,g,h,J}, {c,d,g,h,J}, {a,e,g,h,J}, {b,e,g,h,J}, {c,e,g,h,J}, {d,e,g,h,J}, {a,f,g,h,J}, {b,f,g,h,J}, {c,f,g,h,J}, {d,f,g,h,J}, {e,f,g,h,J}, {a,b,c,i,J}, {a,b,d,i,J}, {a,c,d,i,J}, {b,c,d,i,J}, {a,b,e,i,J}, {a,c,e,i,J}, {b,c,e,i,J}, {a,d,e,i,J}, {b,d,e,i,J}, {c,d,e,i,J}, {a,b,f,i,J}, {a,c,f,i,J}, {b,c,f,i,J}, {a,d,f,i,J}, {b,d,f,i,J}, {c,d,f,i,J}, {a,e,f,i,J}, {b,e,f,i,J}, {c,e,f,i,J}, {d,e,f,i,J}, {a,b,g,i,J}, {a,c,g,i,J}, {b,c,g,i,J}, {a,d,g,i,J}, {b,d,g,i,J}, {c,d,g,i,J}, {a,e,g,i,J}, {b,e,g,i,J}, {c,e,g,i,J}, {d,e,g,i,J}, {a,f,g,i,J}, {b,f,g,i,J}, {c,f,g,i,J}, {d,f,g,i,J}, {e,f,g,i,J}, {a,b,h,i,J}, {a,c,h,i,J}, {b,c,h,i,J}, {a,d,h,i,J}, {b,d,h,i,J}, {c,d,h,i,J}, {a,e,h,i,J}, {b,e,h,i,J}, {c,e,h,i,J}, {d,e,h,i,J}, {a,f,h,i,J}, {b,f,h,i,J}, {c,f,h,i,J}, {d,f,h,i,J}, {e,f,h,i,J}, {a,g,h,i,J}, {b,g,h,i,J}, {c,g,h,i,J}, {d,g,h,i,J}, {e,g,h,i,J}, {f,g,h,i,J},

Шестиэлементные подмножества (210)

{a,b,c,d,e,f}, {a,b,c,d,e,g}, {a,b,c,d,f,g}, {a,b,c,e,f,g}, {a,b,d,e,f,g}, {a,c,d,e,f,g}, {b,c,d,e,f,g}, {a,b,c,d,e,h}, {a,b,c,d,f,h}, {a,b,c,e,f,h}, {a,b,d,e,f,h}, {a,c,d,e,f,h}, {b,c,d,e,f,h}, {a,b,c,d,g,h}, {a,b,c,e,g,h}, {a,b,d,e,g,h}, {a,c,d,e,g,h}, {b,c,d,e,g,h}, {a,b,c,f,g,h}, {a,b,d,f,g,h}, {a,c,d,f,g,h}, {b,c,d,f,g,h}, {a,b,e,f,g,h}, {a,c,e,f,g,h}, {b,c,e,f,g,h}, {a,d,e,f,g,h}, {b,d,e,f,g,h}, {c,d,e,f,g,h}, {a,b,c,d,e,i}, {a,b,c,d,f,i}, {a,b,c,e,f,i}, {a,b,d,e,f,i}, {a,c,d,e,f,i}, {b,c,d,e,f,i}, {a,b,c,d,g,i}, {a,b,c,e,g,i}, {a,b,d,e,g,i}, {a,c,d,e,g,i}, {b,c,d,e,g,i}, {a,b,c,f,g,i}, {a,b,d,f,g,i}, {a,c,d,f,g,i}, {b,c,d,f,g,i}, {a,b,e,f,g,i}, {a,c,e,f,g,i}, {b,c,e,f,g,i}, {a,d,e,f,g,i}, {b,d,e,f,g,i}, {c,d,e,f,g,i}, {a,b,c,d,h,i}, {a,b,c,e,h,i}, {a,b,d,e,h,i}, {a,c,d,e,h,i}, {b,c,d,e,h,i}, {a,b,c,f,h,i}, {a,b,d,f,h,i}, {a,c,d,f,h,i}, {b,c,d,f,h,i}, {a,b,e,f,h,i}, {a,c,e,f,h,i}, {b,c,e,f,h,i}, {a,d,e,f,h,i}, {b,d,e,f,h,i}, {c,d,e,f,h,i}, {a,b,c,g,h,i}, {a,b,d,g,h,i}, {a,c,d,g,h,i}, {b,c,d,g,h,i}, {a,b,e,g,h,i}, {a,c,e,g,h,i}, {b,c,e,g,h,i}, {a,d,e,g,h,i}, {b,d,e,g,h,i}, {c,d,e,g,h,i}, {a,b,f,g,h,i}, {a,c,f,g,h,i}, {b,c,f,g,h,i}, {a,d,f,g,h,i}, {b,d,f,g,h,i}, {c,d,f,g,h,i}, {a,e,f,g,h,i}, {b,e,f,g,h,i}, {c,e,f,g,h,i}, {d,e,f,g,h,i},
{a,b,c,d,e,J}, {a,b,c,d,f,J}, {a,b,c,e,f,J}, {a,b,d,e,f,J}, {a,c,d,e,f,J}, {b,c,d,e,f,J}, {a,b,c,d,g,J}, {a,b,c,e,g,J}, {a,b,d,e,g,J}, {a,c,d,e,g,J}, {b,c,d,e,g,J}, {a,b,c,f,g,J}, {a,b,d,f,g,J}, {a,c,d,f,g,J}, {b,c,d,f,g,J}, {a,b,e,f,g,J}, {a,c,e,f,g,J}, {b,c,e,f,g,J}, {a,d,e,f,g,J}, {b,d,e,f,g,J}, {c,d,e,f,g,J}, {a,b,c,d,h,J}, {a,b,c,e,h,J}, {a,b,d,e,h,J}, {a,c,d,e,h,J}, {b,c,d,e,h,J}, {a,b,c,f,h,J}, {a,b,d,f,h,J}, {a,c,d,f,h,J}, {b,c,d,f,h,J}, {a,b,e,f,h,J}, {a,c,e,f,h,J}, {b,c,e,f,h,J}, {a,d,e,f,h,J}, {b,d,e,f,h,J}, {c,d,e,f,h,J}, {a,b,c,g,h,J}, {a,b,d,g,h,J}, {a,c,d,g,h,J}, {b,c,d,g,h,J}, {a,b,e,g,h,J}, {a,c,e,g,h,J}, {b,c,e,g,h,J}, {a,d,e,g,h,J}, {b,d,e,g,h,J}, {c,d,e,g,h,J}, {a,b,f,g,h,J}, {a,c,f,g,h,J}, {b,c,f,g,h,J}, {a,d,f,g,h,J}, {b,d,f,g,h,J}, {c,d,f,g,h,J}, {a,e,f,g,h,J}, {b,e,f,g,h,J}, {c,e,f,g,h,J}, {d,e,f,g,h,J}, {a,b,c,d,i,J}, {a,b,c,e,i,J}, {a,b,d,e,i,J}, {a,c,d,e,i,J}, {b,c,d,e,i,J}, {a,b,c,f,i,J}, {a,b,d,f,i,J}, {a,c,d,f,i,J}, {b,c,d,f,i,J}, {a,b,e,f,i,J}, {a,c,e,f,i,J}, {b,c,e,f,i,J}, {a,d,e,f,i,J}, {b,d,e,f,i,J}, {c,d,e,f,i,J}, {a,b,c,g,i,J}, {a,b,d,g,i,J}, {a,c,d,g,i,J}, {b,c,d,g,i,J}, {a,b,e,g,i,J}, {a,c,e,g,i,J}, {b,c,e,g,i,J}, {a,d,e,g,i,J}, {b,d,e,g,i,J}, {c,d,e,g,i,J}, {a,b,f,g,i,J}, {a,c,f,g,i,J}, {b,c,f,g,i,J}, {a,d,f,g,i,J}, {b,d,f,g,i,J}, {c,d,f,g,i,J}, {a,e,f,g,i,J}, {b,e,f,g,i,J}, {c,e,f,g,i,J}, {d,e,f,g,i,J}, {a,b,c,h,i,J}, {a,b,d,h,i,J}, {a,c,d,h,i,J}, {b,c,d,h,i,J}, {a,b,e,h,i,J}, {a,c,e,h,i,J}, {b,c,e,h,i,J}, {a,d,e,h,i,J}, {b,d,e,h,i,J}, {c,d,e,h,i,J}, {a,b,f,h,i,J}, {a,c,f,h,i,J}, {b,c,f,h,i,J}, {a,d,f,h,i,J}, {b,d,f,h,i,J}, {c,d,f,h,i,J}, {a,e,f,h,i,J}, {b,e,f,h,i,J}, {c,e,f,h,i,J}, {d,e,f,h,i,J}, {a,b,g,h,i,J}, {a,c,g,h,i,J}, {b,c,g,h,i,J}, {a,d,g,h,i,J}, {b,d,g,h,i,J}, {c,d,g,h,i,J}, {a,e,g,h,i,J}, {b,e,g,h,i,J}, {c,e,g,h,i,J}, {d,e,g,h,i,J}, {a,f,g,h,i,J}, {b,f,g,h,i,J}, {c,f,g,h,i,J}, {d,f,g,h,i,J}, {e,f,g,h,i,J},

Семиэлементные подмножества (120)

{a,b,c,d,e,f,g}, {a,b,c,d,e,f,h}, {a,b,c,d,e,g,h}, {a,b,c,d,f,g,h}, {a,b,c,e,f,g,h}, {a,b,d,e,f,g,h}, {a,c,d,e,f,g,h}, {b,c,d,e,f,g,h}, {a,b,c,d,e,f,i}, {a,b,c,d,e,g,i}, {a,b,c,d,f,g,i}, {a,b,c,e,f,g,i}, {a,b,d,e,f,g,i}, {a,c,d,e,f,g,i}, {b,c,d,e,f,g,i}, {a,b,c,d,e,h,i}, {a,b,c,d,f,h,i}, {a,b,c,e,f,h,i}, {a,b,d,e,f,h,i}, {a,c,d,e,f,h,i}, {b,c,d,e,f,h,i}, {a,b,c,d,g,h,i}, {a,b,c,e,g,h,i}, {a,b,d,e,g,h,i}, {a,c,d,e,g,h,i}, {b,c,d,e,g,h,i}, {a,b,c,f,g,h,i}, {a,b,d,f,g,h,i}, {a,c,d,f,g,h,i}, {b,c,d,f,g,h,i}, {a,b,e,f,g,h,i}, {a,c,e,f,g,h,i}, {b,c,e,f,g,h,i}, {a,d,e,f,g,h,i}, {b,d,e,f,g,h,i}, {c,d,e,f,g,h,i},
{a,b,c,d,e,f,J}, {a,b,c,d,e,g,J}, {a,b,c,d,f,g,J}, {a,b,c,e,f,g,J}, {a,b,d,e,f,g,J}, {a,c,d,e,f,g,J}, {b,c,d,e,f,g,J}, {a,b,c,d,e,h,J}, {a,b,c,d,f,h,J}, {a,b,c,e,f,h,J}, {a,b,d,e,f,h,J}, {a,c,d,e,f,h,J}, {b,c,d,e,f,h,J}, {a,b,c,d,g,h,J}, {a,b,c,e,g,h,J}, {a,b,d,e,g,h,J}, {a,c,d,e,g,h,J}, {b,c,d,e,g,h,J}, {a,b,c,f,g,h,J}, {a,b,d,f,g,h,J}, {a,c,d,f,g,h,J}, {b,c,d,f,g,h,J}, {a,b,e,f,g,h,J}, {a,c,e,f,g,h,J}, {b,c,e,f,g,h,J}, {a,d,e,f,g,h,J}, {b,d,e,f,g,h,J}, {c,d,e,f,g,h,J}, {a,b,c,d,e,i,J}, {a,b,c,d,f,i,J}, {a,b,c,e,f,i,J}, {a,b,d,e,f,i,J}, {a,c,d,e,f,i,J}, {b,c,d,e,f,i,J}, {a,b,c,d,g,i,J}, {a,b,c,e,g,i,J}, {a,b,d,e,g,i,J}, {a,c,d,e,g,i,J}, {b,c,d,e,g,i,J}, {a,b,c,f,g,i,J}, {a,b,d,f,g,i,J}, {a,c,d,f,g,i,J}, {b,c,d,f,g,i,J}, {a,b,e,f,g,i,J}, {a,c,e,f,g,i,J}, {b,c,e,f,g,i,J}, {a,d,e,f,g,i,J}, {b,d,e,f,g,i,J}, {c,d,e,f,g,i,J}, {a,b,c,d,h,i,J}, {a,b,c,e,h,i,J}, {a,b,d,e,h,i,J}, {a,c,d,e,h,i,J}, {b,c,d,e,h,i,J}, {a,b,c,f,h,i,J}, {a,b,d,f,h,i,J}, {a,c,d,f,h,i,J}, {b,c,d,f,h,i,J}, {a,b,e,f,h,i,J}, {a,c,e,f,h,i,J}, {b,c,e,f,h,i,J}, {a,d,e,f,h,i,J}, {b,d,e,f,h,i,J}, {c,d,e,f,h,i,J}, {a,b,c,g,h,i,J}, {a,b,d,g,h,i,J}, {a,c,d,g,h,i,J}, {b,c,d,g,h,i,J}, {a,b,e,g,h,i,J}, {a,c,e,g,h,i,J}, {b,c,e,g,h,i,J}, {a,d,e,g,h,i,J}, {b,d,e,g,h,i,J}, {c,d,e,g,h,i,J}, {a,b,f,g,h,i,J}, {a,c,f,g,h,i,J}, {b,c,f,g,h,i,J}, {a,d,f,g,h,i,J}, {b,d,f,g,h,i,J}, {c,d,f,g,h,i,J}, {a,e,f,g,h,i,J}, {b,e,f,g,h,i,J}, {c,e,f,g,h,i,J}, {d,e,f,g,h,i,J},

Восьмиэлементные подмножества (45)

{a,b,c,d,e,f,g,h}, {a,b,c,d,e,f,g,i}, {a,b,c,d,e,f,h,i}, {a,b,c,d,e,g,h,i}, {a,b,c,d,f,g,h,i}, {a,b,c,e,f,g,h,i}, {a,b,d,e,f,g,h,i}, {a,c,d,e,f,g,h,i}, {b,c,d,e,f,g,h,i},
{a,b,c,d,e,f,g,J}, {a,b,c,d,e,f,h,J}, {a,b,c,d,e,g,h,J}, {a,b,c,d,f,g,h,J}, {a,b,c,e,f,g,h,J}, {a,b,d,e,f,g,h,J}, {a,c,d,e,f,g,h,J}, {b,c,d,e,f,g,h,J}, {a,b,c,d,e,f,i,J}, {a,b,c,d,e,g,i,J}, {a,b,c,d,f,g,i,J}, {a,b,c,e,f,g,i,J}, {a,b,d,e,f,g,i,J}, {a,c,d,e,f,g,i,J}, {b,c,d,e,f,g,i,J}, {a,b,c,d,e,h,i,J}, {a,b,c,d,f,h,i,J}, {a,b,c,e,f,h,i,J}, {a,b,d,e,f,h,i,J}, {a,c,d,e,f,h,i,J}, {b,c,d,e,f,h,i,J}, {a,b,c,d,g,h,i,J}, {a,b,c,e,g,h,i,J}, {a,b,d,e,g,h,i,J}, {a,c,d,e,g,h,i,J}, {b,c,d,e,g,h,i,J}, {a,b,c,f,g,h,i,J}, {a,b,d,f,g,h,i,J}, {a,c,d,f,g,h,i,J}, {b,c,d,f,g,h,i,J}, {a,b,e,f,g,h,i,J}, {a,c,e,f,g,h,i,J}, {b,c,e,f,g,h,i,J}, {a,d,e,f,g,h,i,J}, {b,d,e,f,g,h,i,J}, {c,d,e,f,g,h,i,J},

Девятиэлементные подмножества (10)

{a,b,c,d,e,f,g,h,i},
{a,b,c,d,e,f,g,h,J}, {a,b,c,d,e,f,g,i,J}, {a,b,c,d,e,f,h,i,J}, {a,b,c,d,e,g,h,i,J}, {a,b,c,d,f,g,h,i,J}, {a,b,c,e,f,g,h,i,J}, {a,b,d,e,f,g,h,i,J}, {a,c,d,e,f,g,h,i,J}, {b,c,d,e,f,g,h,i,J},
Десятиэлементное подмножество (1)

{a,b,c,d,e,f,g,h,i,J},
Как видно из таблицы и ее наглядной иллюстрации, добавление всего лишь одного элемента приводит к радикальным изменениям структуры булеана множества, поэтому разработка и применение теоретико-модельных частных теорий ступеней имеет весьма важное значение.

Этот вывод делается еще более очевидным при рассмотрении предметных интерпретаций.

Первобытное племя в холодное время застиг лесной пожар. Один из членов племени выхватил горящий сук и принес его в пещеру. В пещере стало тепло. Началось освоение огня возникающим человечеством. Множество используемых племенем продуктов природы увеличилось на единицу. Тип жизни племени существенно изменился, например, появились «хранители очага», «собиратели топлива».

Аналогичные примеры дают возникновение зерновых, приручение животных, кладка камня.

Следует заметить, что разработанное Кондратьевым объяснение периодичности циклов кризисов капиталистической экономики, известное как «циклы Кондратьева», при их теоретическом объяснении потребуют теоретико-модельных частных теорий ступеней.

Поразительные примеры, когда добавление к множеству всего лишь одного элемента резко изменяет жизнь всего человечества, дает 20-й век. Физик-теоретик Энрико Ферми впервые понял существование внутриатомной энергии, которую можно извлекать. Прошло всего около 20-ти лет, когда была взорвана экспериментальная атомная бомба… Однако, этот факт как существенно социологический, социологов не заинтересовал… Отсюда видна роль частных теорий ступеней.

Очевидно, что необходимы аналогичные формальные и предметные иллюстрации частного теоретико-модельного аппарата ступеней для декартиана, булеана булеана, декартиана декартиана, декартиана булеана и булеана декартиана.

Отношение шкал множеств при изменении мощностей базисных множеств


В абстрактной теории ступеней базисные множества не атрибутируются своей мощностью. В частной теоретико-модельной теории ступеней базисные множества атрибутируются своей мощностью.

Поскольку базисные множества вводятся своими логическими определениями, добавление в базисное множество одного элемента приводит к изменению этих определений.

Должно ли возникшее новое множество быть базисным множеством той же шкалы множеств? Если принимается решение, что должно принадлежать, то число базисных множеств шкалы увеличивается на единицу, и эта шкала сливается со шкалой, ранее имевшей этот номер. При этом пересечение базисных множеств шкалы, к одному из которых добавлялся элемент, уже не является пустым, что противоречит аксиомам абстрактной теории ступеней.

Таким образом, добавление только одного нового элемента к одному из базисных множеств шкалы ведет к изменению собственных подшкал многих, вообще говоря, счетного множества шкал. Очевидно, что частная теоретико-модельная теория ступеней обладает существенно иными свойствами, чем абстрактная теория ступеней.

Представляет значительный интерес разработка экстенсиональных вариантов преобразования шкал множеств частной теоретико-модельной теории ступеней. Например, при добавлении нескольких элементов к нескольким базисным множествам одной шкалы, или же к разным шкалам.

Возможно, что описанные эффекты в терминах категорий диалектики могут быть определены как виды количественно-качественных изменений, однако гораздо более дифференцировано, чем это делается в диалектике.


Редукционные частные теории ступеней


Как показал Стаффорд Бир, многоуровневая иерархическая структура управления организацией необходима из-за колоссального роста разнообразий альтернатив решений, недоступного людям при прямом, не иерархическом управлении организацией. Он указывает, что для средней фирмы физический объем памяти компьютера (70-х годов) будет равен объему земного шара.

Однако неизбежное введение иерархичности приводит к антропоморфной редукции подразделения к человеку-исполнителю. Следствием является, например, введение «координации» деятельности подразделений, как это делает М. Месарович в теории многоуровневых иерархических систем.

При использовании концептуальной технологии в некоторых случаях целесообразно вводить контроль фактически возникающей в иерархических системах редукционности. Очевидно, что в экспликации в аппарате ступеней это требует определения отношения ступеней разных уровней как редукционных. Возможно, что таким выразительным средством является устанавливаемый по определенным правилам гомоморфизм ступеней. Чтобы отношение ступеней выражало редукцию, правила должны быть предметно (онтологически) ориентированными. Например, если деятельность субъекта изучается как динамическая система, то выбор должен быть положен как функция времени.

Следует также учитывать, что в этих случаях редукция может быть двух видов:



  • системная редукция — редукция одного класса систем к другому,

  • методная редукция — редукция функционально определенного класса систем к классу систем, допускаемому налично имеющимися методами.


Достарыңызбен бөлісу:
1   ...   4   5   6   7   8   9   10   11   ...   19




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет