В архив

Skachok, 13 Январь, 2024 - 17:20, ссылка

БУЛЬ-БУЛЬ-БУЛЬ

Если исходить из того, что логических операторов как таковых всего 16, то где остальные 4 Дискурса? Где Дискурс Премодернизма (Дискурс Веруна без царя в голове)? Где Дискурс Премодерна (Дискурс Традиционалиста с царем в голове)? Где Дискурс Пророка/Апостола/Богослова? Где Дискурс Трикстера/Пришельца (Дискурс Святого/Блаженного/Юродивого Иванушки-Дурачка не от мира сего)?

Вы говорите, что Варны это якобы «другое», почему же? Что мешает выделить 4 Типа Дискурса Брахмана (Ботана), 4 Типа Дискурса Кшатрия (Пахана), 4 Типа Дискурса Вайшьи (Торгаша) и 4 Типа Дискурса Шудры (Чухана)? Премодерн, Модерн, Постмодерн и, прости Господи, Метамодерн (Несвоевременность)? Дискурс Брахмана-премодерниста? Дискурс Брахмана-модерниста? Дискурс Брахмана-постмодерниста? Дискурс Брахмана-метамодерниста (Брахмана несвоевременного)? Плюс еще 12 Дискурсов сами догадайтесь каких? А почему бы и нет? Вопрос лишь в достоверном обозначении каждого логического оператора соответствующим Дискурсом? Платона и Аристотеля пока стоит вынести за скобки, только Буль? Нужно ли вообще сюда примешивать Платона, Аристотеля, Ньяя и Ицзин (См. Вложение)?

Логическая Таблица (16 Высказываний):

0000         x⊥y        FALSE         не есть x и x' суть y и y'

0001         x∧y        AND           есть x суть y

0010         x>y          NIMPLY     есть x суть y'

0011         xxy          X                 есть x суть y и y'

0100         x<y          NEXPLY     есть x' суть y

0101         xyy           Y                есть x и x' суть y

0110         x⊕y         XOR           есть x суть y' и есть x' суть y

0111         x∨y         OR             не есть x' суть y'

1000         x↓y           NOR          есть x' суть y'

1001         x≡y           XNOR       нет x суть y' и нет x' суть y

1010         xy'y          NY             не есть x и x' суть y

1011         x←y         EXPLY       не есть x' суть y

1100         xx'y          NX            не есть x суть y и y'

1101         x→y         IMPLY      не есть x суть y'

1110         x↑y           NAND      не есть x суть y

1111         x⊤y         TRUE        есть x и x' суть y и y'

Логическая Матрица (16 Операций):

0000        0001        0010        0011

0100        0101        0110        0111

1000        1001        1010        1011

1100        1101        1110        1111

x⊥y        x∧y        x>y          xxy

x<y          xyy         x⊕y         x∨y

x↓y          x≡y         xy'y          x←y

xx'y         x→y        x↑y          x⊤y

Логический Квадрат I (FX?T):

0000         0011

1100         1111

x⊥y         xxy

xx'y          x⊤y

Логический Квадрат II (IOAE):

0001         0010

1101         1110

x∧y         x>y

x→y         x↑y

Логический Квадрат III (????):

0100        0111

1000        1011

x<y        x∨y

x↓y         x←y

Логический Квадрат IV (Y???):

0101        0110

1001        1010

xyy        x⊕y

x≡y        xy'y

Дискурсивная Таблица (16 Дискурсов):

0000         x⊥y        Дискурс Шудры-премодерниста???

0001        x∧y         Дискурс Шудры-модерниста???

0010        x>y          Дискурс Шудры-постмодерниста???

0011         xxy         Дискурс Шудры-метамодерниста???

0100        x<y          Дискурс Вайшьи-премодерниста???

0101        xyy          Дискурс Вайшьи-модерниста???

0110        x⊕y        Дискурс Вайшьи-постмодерниста???

0111        x∨y        Дискурс Вайшьи-метамодерниста???

1000        x↓y          Дискурс Кшатрия-премодерниста???

1001         x≡y         Дискурс Кшатрия-модерниста???

1010         xy'y        Дискурс Кшатрия-постмодерниста???

1011         x←y       Дискурс Кшатрия-метамодерниста???

1100         xx'y        Дискурс Брахмана-премодерниста???

1101         x→y       Дискурс Брахмана-модерниста???

1110         x↑y         Дискурс Брахмана-постмодерниста???

1111         x⊤y       Дискурс Брахмана-метамодерниста???

ВложениеРазмерlogiko-semioticheskaya_matrica.pdf

В архив

Skachok, 15 Январь, 2024 - 19:35, ссылка

Khanov, 14 Январь, 2024 - 20:05, ссылка

То что «мной» якобы «предложено» это по вашему «модель»? Я еще толком «вопрошать» об «основаниях» квантовой логики не начинал, а вам уже какая-то «модель» мерещится?

0000=F (FALSE)=не есть x и x' суть y и y'

1111=T (TRUE)=есть x и x' суть y и y'

0011=X=есть x суть y и y'

0101=Y=есть x и x' суть y

0001=I=есть x суть y=∃x(Sx∧Px)

0010=O=есть x суть y'=∃x(Sx∧¬Px)

1101=A=не есть x суть y' (есть x суть y и есть x' суть y и y')=¬∃x(Sx∧¬Px)=∀x(Sx→Px)

1110=E=не есть x суть y (есть x суть y' и есть x' суть y и y')=¬∃x(Sx∧Px)=∀x(Sx→¬Px)

FFFF=x⊥!y=0000 0000 0000 0000

FFFT=x∧!y=0000 0000 0000 1111

FFTF=x>!y=0000 0000 1111 0000

FFTT=xx!y=0000 0000 1111 1111

FTFF=x<!y=0000 1111 0000 0000

FTFT=xy!y=0000 1111 0000 1111

FTTF=x⊕!y=0000 1111 1111 0000

FTTT=x∨!y=0000 1111 1111 1111

TFFF=x↓!y=1111 0000 0000 0000

TFFT=x≡!y=1111 0000 0000 1111

TFTF=xy'!y=1111 0000 1111 0000

TFTT=x←!y=1111 0000 1111 1111

TTFF=xx'!y=1111 1111 0000 0000

TTFT=x→!y=1111 1111 0000 1111

TTTF=x↑!y=1111 1111 1111 0000

TTTT=x⊤!y=1111 1111 1111 1111

Матрица:

FFFF     FFFT     FFTF     FFTT

FTFF     FTFT     FTTF    FTTT

TFFF     TFFT     TFTF     TFTT

TTFF     TTFT     TTTF     TTTT

Гиперконъюнкция? «∧!» (FFFT):

X!    Y!

F      F      F

F      T      F

T      F      F

T      T      T

???? (FFIF):

X!    Y!

F      F      F

F      T      F

T      F      I

T      T      F

???? (FFII):

X!    Y!

F      F      F

F      T      F

T      F      I

T      T      I

???? (FFIO):

X!    Y!

F      F      F

F      T      F

T      F      I

T      T     O

???? (FFIX):

X!    Y!

F      F      F

F      T      F

T      F      I

T      T      X

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

А теперь вопрос, какими Буквами обозначить другие базовые логические операции? Чем промаркивать все остальное? С потолка Буквы взять что-ли? Что тут может помочь? Грамматология, т. е. Наука о Письме в целом и о Буквах в частности (Деррида передает вам привет)? У вас имеются какие-то мысли по этому поводу?

Не пора ли на время воздержаться от излишней болтовни и немного задуматься об этих самых «основаниях» квантовой логики?

В архив

Skachok, 18 Январь, 2024 - 18:54, ссылка

Khanov, 17 Январь, 2024 - 21:25, ссылка

Совершенно верно, о Правильности и Неправильности как таковой тут и речи быть не может, был осуществлен условный побитовый «расчет» лишь одним из 16 базовых операторов, в данном случаи Конъюнкцией, без учета среднего термина (Медиума), поэтому тут «Правильно» и «Неправильно» взято в кавычках, могло ли быть иначе?

Побитовый расчет Умозаключений с учетом среднего термина это уже отдельный разговор, если учитывать средний термин, то тут уже осуществляется Конъюнкция не Суждений Типа 0011=D и 0101=F, а Суждений Типа 00001111=[AP] и 00110011=[DD], т. е. Суждений в формате Трех Кругов Эйлера с Субъектом (S), Предикатом (P) и Медиумом (M), тут мы имеем уже не 4096 (16*16*16) Типов «Правильных» и «Неправильных» Умозаключений (AAA, BBB, CCC, DDD и т. д.), а целых 16777216 (256*256*256) Типов «Правильных» и «Неправильных» Умозаключений ([AA][AA][AA], [BB][BB][BB], [CC][CC][CC], [DD][DD][DD] и т. д.), которых 99% неизвестны современной Науке Логики, мне ли вам об этом рассказывать?

В архив

Skachok, 3 Февраль, 2024 - 11:27, ссылка

Khanov, 3 Февраль, 2024 - 08:52, ссылка

так теории или модели?

А не все ли равно как это называется? Называйте как хотите, хоть Теория, хоть Модель, хоть Теоретическая Модель, хоть Матрица, в Словах ли Суть Дела? Суть Дела в Гологоле, поскольку Гологол это и Слово, и Дело (Глагол обозначает Действие), и Понятие в придачу, разве не так ли?

и самое главное - как истина связана с её моделью и теорией?

Какая именно Истина из 16 вариантов?

Как Возможная Практическая Истина связана с Моделью? А о какой Модели идет речь? О Необходимой Непротиворечивой Модели, о Случайной Фактичной Модели, о Действительной Договорной Модели или о чем-то другом? Или может речь вообще идет о Противоречивой Модели, т. е. о Ложной Модели? Про Ложь это уже отдельная «дискуссия», это уже Псевдология (Псевдос в переводе с греческого это Ложь), об этом ли сейчас речь?

Если Модель сама по себе связная/когерентная/непротиворечивая, то она полностью соответствует Когерентной Концепции Истины, что тут непонятного?

Вязь/Связность/Когерентность/Непротиворечивость - это лишь один из четырех алетических критериев, неужели это не очевидно? Мало того, Вязь бывает Возможной, Случайной, Необходимой и Действительной, разве не так ли? Если Модель непротиворечива необходимым образом, то это Необходимая Непротиворечивая Модель, а если Модель непротиворечива случайным образом, то это Случайная Непротиворечивая Модель, неужели это не очевидно?

Если Возможная Практическая Истина связана с Необходимой Непротиворечивой Моделью действительным образом, то это Действительная Непротиворечивая Метаистина как Связность Возможной Практической Истины и Необходимой Непротиворечивой Модели, разве не так ли? КАК связана данная Истина и данная Модель? Конъюнктивно, Дизъюнктивно, Импликативно или иначе, разве не так ли?

Как вам такие «ответы» на два вопроса? Удовлетворительны? Стало ли все «яснее»?

В архив

Skachok, 13 Март, 2024 - 08:36, ссылка

Khanov, 6 Март, 2024 - 10:56

Значения:

¬T        0        Значение Лжи (Не есть)

T        1        Значение Истины (Есть)

�        *        Значение Неопределенности

________________________________________________________________

Понятия (Базовые Кванторы):

¬∀        00        Квантор Невсеобщности (Не есть x и x')

∃        01        Квантор Существования (Есть x)

¬∃        10        Квантор Несуществования (Есть x')

∀        11        Квантор Всеобщности (Есть x и x')

�        **        Квантор Неопределенности

________________________________________________________________

Суждения:

A        0000        x⊥y        FALSE           Частно-Отрицательно-Гипотетически-Проблематическое Суждение

B        0001        x∧y        AND               Частно-Отрицательно-Гипотетически-Ассертотическое Суждение

C        0010        x>y        NIMPLY          Частно-Отрицательно-Категорически-Проблематическое Суждение

D        0011        xxy        X                     Частно-Отрицательно-Категорически-Ассертотическое Суждение

E        0100        x<y        NEXPLY        Частно-Утвердительно-Гипотетически-Проблематическое Суждение

F        0101        xyy        Y                     Частно-Утвердительно-Гипотетически-Ассертотическое Суждение

G        0110        x⊕y        XOR             Частно-Утвердительно-Категорически-Проблематическое Суждение

H        0111        x∨y        OR               Частно-Утвердительно-Категорически-Ассертотическое Суждение

I        1000        x↓y        NOR               Обще-Отрицательно-Гипотетически-Проблематическое Суждение

J        1001        x≡y        XNOR            Обще-Отрицательно-Гипотетически-Ассертотическое Суждение

K        1010        xy'y        NY               Обще-Отрицательно-Категорически-Проблематическое Суждение

L        1011        x←y        EXPLY        Обще-Отрицательно-Категорически-Ассертотическое Суждение

M        1100        xx'y        NX               Обще-Утвердительно-Гипотетически-Проблематическое Суждение

N        1101        x→y        IMPLY        Обще-Утвердительно-Гипотетически-Ассертотическое Суждение

O        1110        x↑y        NAND          Обще-Утвердительно-Категорически-Проблематическое Суждение

P        1111        x⊤y        TRUE          Обще-Утвердительно-Категорически-Ассертотическое Суждение

�        ****          Неопределенно-Неопределенно-Неопределенно-Неопределенное Суждение

________________________________________________________________

Умозаключения:

AAA        0000 0000 0000        Модус №1 по одной из четырех Фигур

AAB        0000 0000 0001        Модус №2 по одной из четырех Фигур

AAC        0000 0000 0010        Модус №3 по одной из четырех Фигур

AAD        0000 0000 0011        Модус №4 по одной из четырех Фигур

…

PPP        1111 1111 1111        Модус №4096 по одной из четырех Фигур

���        **** **** ****        Модус №**** по одной из четырех Фигур

________________________________________________________________

Есть какие-нибудь мысли насчет Квантора Неопределенности?

Что-нибудь определенное можете сказать о Кванторе Неопределенности?

А что-нибудь неопределенное можете сказать о Кванторе Неопределенности?