Заключение.

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

Мы коллективно принимаем, подтверждаем, признаем, и т.д., это (S имеет власть (S делает A)).

Мы можем сократить эту формулу, как

Мы принимаем (S, имеет власть (S, делает A)).

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

Мы принимаем, что ( от S, требуется (S платит налоги)) тогда и только тогда, когда мы принимаем, что (S не имеет власть (S платит налоги)).

Наличие одного штрафа в игре бейсбол - вопрос создания условий и повторения основной структуры.

Мы принимаем, что (S, имеет один штраф) тогда и только тогда, когда мы принимаем, что (если S имеет больше двух штрафов он выходит из игры).

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

Мы принимаем, что (S выходит из игры) тогда и только тогда, когда мы принимаем, что ( от S требуется (S, оставляет поле))).

И правая часть редуцируется до основной структуры плюс отрицание,

Мы принимаем, что (S не имеет власть (S оставляет поле)).

Конечно логическая структура довольно упрощенная. Есть большое количество других свойств, имеющих отношение к игре в бейсбол помимо необходимости оставить поле. Но идея состоит в том, что в конце все эти свойства сводятся к конвенциональной власти, а конвенциональная власть является разновидностью и итерацией (повторением) лежащей в основе структуры. Я полагаю, что наше исследование логических свойств интенционального содержания Y статус-функции, в формуле X считать как Y, начало показывать, какую кажущаяся сложность институциональной действительности имеет довольно простой скелет. Это не удивляет, учитывая простоту аппарата, с которым мы работали. Мы можем только способность накладывать статус и с ним функцию, в соответствии с коллективным соглашением или принятием.