Пес Ебленский - 'Об Интерпретации' Аристотеля 14: контрарные высказывания [entries|archive|friends|userinfo]
rex_weblen

[ website | Наши рисуночки ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Links
[Links:| update journal edit friends fif tiphareth recent comments ]

'Об Интерпретации' Аристотеля 14: контрарные высказывания [Jul. 23rd, 2020|11:12 am]
Previous Entry Add to Memories Tell A Friend Next Entry
[Tags|, , , , , , , , , , ]
[Current Mood | drained]
[Current Music |Carter Tutti Void - Triumvirate]

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

Как формализовать понятие контрарности? Вспомним, что множество всех высказываний порождает би-алгебру $B$ и что высказывание $S$ раскладывается в этой би-алгебре $B$ как $\Delta(S) = \sum_{S} S_1 \otimes S_2$. Для этого ко-умножения определим контрарное высказывание $S^\complement$ рекурсивно: пусть тривиально истинное высказывание, $\top^\complement = 0$, будет обнуляться, простое высказывание, то есть примитивный элемент би-алгебры $B$, отрицаться, $S^\complement = \neg S \iff \Delta(S) = S \otimes \top + \top \otimes S$, и наконец для произвольного сложного высказывания
$$
S^\complement = \frac{(\wedge)}{(n-1)n!} \sum_{S} S_1^\complement \otimes S_2^\complement,
$$
где $n$ это число простых высказываний в структуре сложного высказывания. Так мы формализовали просачивание контрарности сквозь ветви высказывания. Заметим, что чтобы реализовать эту конструкцию поле над которым мы строим би-алгебру $B$ должно иметь характеристику 0.

Наш подход верен, так как соответствует определению Аристотеля, если кванторы переписываются через простые логические операции как $\forall A . P = \bigwedge_{a \in A} P(a)$ и $\exists A : P = \sum_{a \in A} P(A)$. Однако, для работы моей конструкции тут требуется, чтобы рода и виды были конечными. Что и выполняется для субстанции по Аристотелю. Однако, не выполнятся для количества. Поэтому, видимо, понятие контрарности не применимо в математики, где могут существовать бесконечные множества, и как следствие сегодня почти забыто. И хотя можно определить контрарные к кванторам напрямую, это не решит вопрос о том, какие высказывания считать простыми, а какие сложными. На этот вопрос у логики современной математики ответа нет (нет такой структуры би-алгебры), а значит определить контрарность в аристотелевском смысле там нельзя.

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

На этой задумчивой ноте трактат 'Об интерпретации' или 'Герменевтика' заканчиваться.
LinkLeave a comment

Comments:
From:(Anonymous)
Date:July 23rd, 2020 - 01:02 pm
(Link)
в горф планируют деноминацию. разрешат наличный обмен 100:1 в течении 48 часов с лимитом в 1 млн. счета обменяют на облигации госзайма, остаток заберут по схеме накопительной пенсии.
[User Picture]
From:[info]rex_weblen
Date:July 23rd, 2020 - 01:09 pm
(Link)
пруф?
From:(Anonymous)
Date:July 23rd, 2020 - 01:13 pm
(Link)
инсайт
From:(Anonymous)
Date:July 23rd, 2020 - 01:28 pm
(Link)
Наебулина опровергла возможность деноминации
Матвиенко назвала это "абсолютной провокацией"
https://pbs.twimg.com/media/Ec0YwaLWkAAM1u5.jpg
[User Picture]
From:[info]rex_weblen
Date:July 23rd, 2020 - 01:45 pm
(Link)
Значит, теперь точно будет
From:(Anonymous)
Date:July 23rd, 2020 - 01:03 pm
(Link)
ебанашки с проблемами в распознании геометрических фигур,
овал и квадрат несколько разное.
а если у вас реально квадратные ёбла и вы продуцируете это на всех людей.
а не видя сходства, ловите анальный оргазм испуг, то сие
опять же лично ваши генетические траблы.
лечитесь, господа, а лучше убейте себя, блядь, сервак скоро из-за подобных
выходок просто закроют нахуй
вы говно тупое, вам говорили? убейте себя
убейте себя, нет, правда, вы же говно
гебоиды должны идти нахуй, акабы и все прочие, которые у гебоидов лижут,
тоже должны идти нахуй, все это говнюки и тупая обоссаная мразь
уебищам, не освоившим команды твит-сет, лучше убить себя о стену нахуй
макака блядь всегда говорит, что это не макака, но только тупое
гебешное говно ей верит
чмо мизулинское, жалуйтесь в попечительский совет
а еще лучше - убейте себя нахуй, вы уебище рогатое
убейте себя, чмо, я серьезно
вы говно, вы прекрасно знаете, что вы говно
вы никому нахуй не нужны, вы подлейшее, тупейшее существо, пакостнее не бывает
как все тупые ватники, вы умеете только гадить
нажритесь говна и убейте себя, хуле, сделайте мир лучше
хоть раз в жизни
блять, вы говно тупое
вы просто тупое чмо и дебил
убейте себя, и мир станет лучше, хоть на полпроцента
зачем мне нужно, чтоб мне "верило на слово" всякое говно?
говну место в толчке
убейте себя, действительно, вы тупое уебище и говно
да вы просто бляди ебаные, гебешные стукачи и макаки
вы приперлись сюда со своими мудацкими правилами и качаете права
да идите вы нахуй, чмо гебешное, нажритесь говна и убейте себя вообше
идите нахуй
вы мудак и говно
From:(Anonymous)
Date:July 23rd, 2020 - 01:58 pm
(Link)
всё так
[User Picture]
From:[info]rex_weblen
Date:July 23rd, 2020 - 02:03 pm
(Link)
Я не понял про что это
From:(Anonymous)
Date:July 23rd, 2020 - 04:07 pm
(Link)
про твое разъебаное дупло
From:(Anonymous)
Date:July 23rd, 2020 - 02:52 pm
(Link)
Итак, сказал он, на твоё лицо ложится нежный отблеск летнего дня. Вот так же и фронтальный сачок, нагреваясь под действием падающего на него потока впечатлений, передаёт тепло на решётку сейчас.