Преобразование законов формальной логики для ав-моделей в онтологике

Законы формальной логики могут быть представлены в ТВ с той оговоркой, что виртуальная реальность не является сущностью, сопряженной с вещным содержанием, но в качестве своего фрагмента в актуализации может допускать оперирование актуально через законы. Мы опишем законы формальной логики через «АВ»-моделирование.

Закон тождества приобретает виртуальный характер.

Тождественность предполагает релевантность в качестве главного условия своего проявления. Тождество — отношение VR лишь к релевантной ей AR. Второе условие тождества — реферируемость. В нереферирующих VR — закон тождества не соблюдается, иначе говоря, нереферирующая VR представляет отношение к неустановленной среде анализа или установленной, но неопределенной или нераспределенной среде анализа.

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

1. Континуум-тождество — простая континуум-апперцепция, простой акт сознания (одна реальность и другая как единый континуум) тождественен самому себе в любых континуумах.

[R]_nO(a₁) [R]_iO(a₁)

2. Объектно-атрибутивное тождество в отношении актуальная реальность — виртуальная реальность. Предмет реальности, выражаемый в виртуальной реальности, есть то же, виртуально тождественное актуальное событие, если VR релевантна этой реальности и реферирует к ней.

[R]_i=1O(a₁,a₂,a₃...) [R]_i=1O(b₁,b₂,b₃...)

3. Дирекциональное тождество как обратное и взаимное отношение VR к релевантной реальности, то есть равнозначность (при разнонаправленности) типов референции — интерпретирующей и реализующей. [R]_iO(a₁...) [R]_rO(a₁...)

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

[R]_diO(a₁) [R]_diO(a₂) [R]_diO(a₁,a₂,a₃...)

5. Тождество трансструктурное оказывается пока, насколько нам известно, за пределами современной довиртуальной логики:

[O₁(a₁),O₂(b₁)]_di(O₁'(a'₁),O₂'(b'₁)) [O₁(a₁),O₂(b₁)]_di(O₁'(a'₁),O₂'(b'₁),((a'₁,b'₁)))

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

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

[R]_iO(a₁...)Ù[R]_rO(a₁...) [R]_eO(a₁...)

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

[R]_i=0O(a₁...) [R]_nO(a₁...); [R]_r=0O(a₁...) [R]_nO(a₁...)

Основание как актуальная реальность. Виртуальная реальность и всякие выводы в ней и из нее допустимы лишь для релевантной актуальной реальности. Толкующая виртуальная реальность S(b₁...) и толкуемая N(a₁...) должны иметь общую актуальную реальность. Отсюда верно преобразование ревиртуализации:

[R]_i(N(a₁...))_rev(S(b₁...)) [R]_i(N(a₁...))_r[R]_i(S(b₁...))

То есть толкующая виртуальная реальность и толкуемая имеют одну реферирующую актуальную реальность.

Конструктивное основание или основание как виртуальная реальность было рассмотрено нами в главе «Ревиртуализация: континуум-переход и создание нового концептуального объекта».

Закон непротиворечия.

Противоречие допустимо лишь в нереферирующей VR.

Референтное противоречие:

[R]_i=1O(a₁...)Ù[R]_i=0O(a₁...) [R]_nO(a₁...)

Объектное противоречие:

[R]_i=1O₁(a₁...)Ù[R]_i=0O₂(b₁...) [R]_n(O₁(a₁...); O₂(b₁...))

Атрибутивное противоречие:

[R]_iO(a₁)Ù[R]_iO(Øa₁) [R]_nO(a₁,Øa₁)