id: Гость   вход   регистрация
текущее время 14:27 28/03/2024
Автор темы: unknown, тема открыта 02/03/2015 15:44 Печать
Категории: разное, офф-топик
http://www.pgpru.com/Форум/Офф-топик/АльтернативнаяЛогика
создать
просмотр
ссылки

Альтернативная логика


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


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


Неужели для всё более изощрённой и навороченной математики и физики всё ещё возможно использовать только старую логику времён Аристотеля и двоичную булеву алгебру? Или новый понятийный аппарат требует и новой логики?


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


Про обычную логику: логика первого порядка, логика второго порядка, логика высшего порядка, универсальная логика, абстрактная алгебраическая логика.


Про метаязыки: метаматематика, метатеория, металогика.


Самые интересный вопрос: может ли существовать противоречивая логическая система? С т.з. классической логики — нет. Но противоречивые системы почему-то нужны в моделировании и искусственном интеллекте.


Вот это свойство, ключевое понятие: параконсистентность, параконсистентная логика (паранепротиворечивость, парапоследовательность).


Разной степени попытки реализации:
многозначная логика, в т.ч. нечёткая логика, логика Лукашевича,
отклоняющаяся (девиантная) логика, интуиционистская логика, вычислительная логика (истинно то, что можно вычислить и увязать с теорией вычислений?), линейная логика, квантовая логика.


Есть такое логико-философское направление как антиреализм из которого напрямую вытекает гипотеза математической Вселенной Тегмарка.


Интересное логико-философско-религиозное направление:
диалетеизм.


Dialetheism is the view that some statements can be both true and false simultaneously. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", or dialetheia.

В восточных философиях:


The Jain philosophical doctrine of anekantavada — non-one-sidedness — states that[4] all statements are true in some sense and false in another. Some interpret this as saying that dialetheia not only exist but are ubiquitous.

The Buddhist logic system named Catuṣkoṭi similarly implies that a statement and its negation may possibly co-exist.

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


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


Dialetheism may be a more accurate model of the physical world
This is a new area of study, so ideas are only just coming to light, but dialetheism allows the possibility that natural things may have contradictory properties. Whether Wave–particle duality is one such case is not established, but it is a possibility Are there non-semantic dialethia

Критика заключается в том, что диалетеизм упускает отрицания, не разрешает вопрос с собственным отрицанием себя как теории и не описывает иерархичность.


Контрарность:


В чань-буддизме наставник Ма-цзу давал следующие ответы на вопрос «Что есть Будда?»: «Этот ум — Будда» одному ученику и «Этот ум — не Будда» другому. Доктор философских наук А. С. Майданов пришёл к выводу, что итоговым определением, учитывающим контрарность и включающим одновременную истинность двух суждений, что является типичным для учения чань, будет «Будда есть и не есть этот ум»

Есть и субконтрарность, subcontrarity.


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


Дефляционная теория истины — в ней отдельно теории избыточности, раскавычивания, предформулирования и пр.


Принцип взрыва.
Приводится доказательство существования Санта-Клауса на основе того, что лимоны имеют жёлтый цвет.


The principle is not a universal rule; rather it exists as a consequence of a choice of which logic to use. It does not appear in some paraconsistent logics which allow localised 'gluts' of contradictory statements to be proved without affecting other proofs. In artificial intelligence and models of human reasoning it is common for such logics to be used. This can also occur in formal science, for example quantum mechanics and relativity lead to contradictions in extreme environments, but these contradictions do not imply that Santa exists – only that there are some scenarios where one or both theories are in need of alteration. Truth maintenance systems are AI models which try to capture this process.

Тривиализм:


Trivialism (from Latin trivialis, meaning "found everywhere") is the logical theory that all statements (also known as propositions) are true and that all contradictions of the form "p and not p" (e.g. the ball is red and not red) are true. In accordance to this, a trivialist is a person who believes everything is true.[1][2]

Таксономия тривиализма:


(T0) Minimal trivialism: At some world, all propositions are true and have a designated value.
(T1) Pluralist trivialism: In some worlds, all propositions are true and have a designated value.
(T2) Actualist trivialism: In the actual world, all propositions are true and have a designated value.
(T3) Absolute trivialism: In all worlds, all propositions are true and have a designated value.

Антитривиализм:


(AT0) Actualist minimal anti-trivialism: In the actual world, some propositions do not have a value of true or false.
(AT1) Actualist absolute anti-trivialism: In the actual world, all propositions do not have a value of true or false.
(AT2) Minimal anti-trivialism: In some worlds, some propositions do not have a value of true or false.
(AT3) Pointed anti-trivialism (or minimal logical nihilism): In some worlds, every proposition does not have a value of true or false.
(AT4) Distributed anti-trivialism: In every world, some propositions do not have a value of true or false.
(AT5) Strong anti-trivialism: Some propositions do not have a value of true or false in every world.
(AT6) Super anti-trivialism (or moderate logical nihilism): All propositions do not have a value of true or false at some world.
(AT7) Absolute anti-trivialism (or maximal logical nihilism): All propositions do not have a value of true or false in every world.[3]

Выбор между формами тривиализма и антитривиализма — покруче любых религиосрачей релиозных споров.


Возможные миры.


Универсальная алгебра + логика = теория моделей.


Более современное определение соотношений:
теория моделей = алгебраическая геометрияопределение поля.


Абстрактная теория моделей.


Системы поддержания истины: одноконтекстные — на классической логике, многоконтекстные — на параконсистентной (реализованы в виде LISP-машин). Перспективные модели AI — параконсистентны?


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


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


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



Релевантные темы: Продвинутые подходы поддержания ИБ: DSL, Metaprogramming etc, теория информации, идеальный шифр и черные дыры, Рациональное невежество – 2, Математическая вселенная Тегмарка (изменённого сознания тред).


Нерелевантные темы: Компьютер для секретного интернета и ИБ…[создать], ну в общем про это здесь не надо, хотя и там паралогичные концепции[создать] неосознанно упоминались.


 
На страницу: 1, 2, 3, 4, 5 След.
Комментарии
— Гость (09/03/2015 23:04)   <#>

Дейкстра уже всё сказал как нельзя лучше.
— тестерТьюринга (24/05/2016 15:14)   профиль/связь   <#>
комментариев: 301   документов: 8   редакций: 4
Часто заметно, что стандартная логика при построении моделей не работает, она годится для конечного доказательства, когда уже всё ясно, но что-то в ней всегда упускается. Часто формальная логика почему-то не срабатывает. Когда это в обычной жизни, то понятно. Но ведь её не хватает и в научных работах. Особенно если начать рассуждения об искусственном интеллекте, уровнях абстракций, физике на каком-то микроуровне или на уровне космологии. Или когда начинаются рассуждения о трудноформализуемых вещах (например, попытки логически понять искусство, политику, экономику). Но ведь просто отбросить формальную логику и скатиться до уровня гуманитария нельзя.

А гуманитарии – не люди, что ли? Всё ясно – и всё. Просто результат будет ложный. А на каждый ложный результат новых теорий не напосёшся.
Чтобы не было КЗ две параллельные линии электропередач не пересекаются. Лобачевский решил коротнуть – появилась новая геометрия. Теперь вопрос – во скольких местах две линии пересекаются за 5 лет. Теоретически, количество новых геометрий может быть по числу пересечений… Но в среднем за 5 лет число пересечений будет зависеть от средней зарплаты за предыдущие 5 лет в 5-ой степени.
— ОляВедьма (09/06/2016 18:21, исправлен 09/06/2016 18:31)   профиль/связь   <#>
комментариев: 57   документов: 7   редакций: 0

Виктор Рогожкин – То, что от нас скрывали...
Старая эзотерическая лекция, но Виктор рассказывает много интересного в том числе и по вашим темам! (заговор, оболванивание, чипирование)
Чтобы вам не слушать все кому не интересно, конкретно по минутам то что нашла:


(распределила по темам)


00:30:00: воровство ГИБДД
00:37:00: дороги в России)
00:31:30: закон об авторском праве (истоки)
02:05:30: идея о реализации закона об авторском праве воплощенная Михалковым
01:15:00: спецслужбы
00:06:00: лодка "Курск"
00:20:00: USA 09/11
01:35:00: опиум для народа)
00:09:00: психотроника
02:18:00: "торсионка" и прочие "поля"
01:17:00: ufo и прочие тарелки и пришельцы (вообще об этом он рассказывает много)


Там много чего еще. Но к сожалению много оффтопика тут будет.


Простите, если это не всем интересно, но лучше чем переливать из пустого в порожнее.

— просто_Гость (09/06/2016 21:53)   профиль/связь   <#>
комментариев: 92   документов: 0   редакций: 0
Детект! Проверка на троллинг
— cypherpunks (10/06/2016 22:54)   профиль/связь   <#>
комментариев: 300   документов: 33   редакций: 12

Олюша, а ты можешь делать выжимку из "эзотерики", которую ты пропускаешь через себя выбирая оттуда то, что может быть нам интересно без "таро", "потоков", "Сил", "заклинаний", "кармы", оставляя более ощущаемые и подтверждающиеся факты и выкладывать куда-нибудь?
На страницу: 1, 2, 3, 4, 5 След.
Ваша оценка документа [показать результаты]
-3-2-1 0+1+2+3