↓
 ↑
Регистрация
Имя/email

Пароль

 
Вход при помощи VK ID
временно не работает,
как войти читайте здесь!
Waruna Онлайн
16 февраля в 13:49
Aa Aa
«Научитесь разбираться: гид по интеллектуальному газлайтингу»

​На просторах сети, в ходе дискуссии о Бритве Оккама, мы с собеседником достигли точки сингулярности. Когда аргументы по существу закончились, в ход пошла тяжелая артиллерия — попытка переписать саму базу человеческого мышления.

​На мой тезис о том, что Бритва Оккама — это логико-методологический принцип, сабж решил выдать «праведную отповедь»:

​«В логике нет "принципов", давайте с самого простого начнём. Некоторые теоремы, конечно, можно назвать принципами, но это именно что называние».

​Звучит солидно, правда? Чувствуете этот холодный технарский профессионализм? Но как только мы открываем любой учебник по формальной логике (даже не для вузов, а просто для общего развития), реальность начинает предательски крошиться.

​Минутка «несуществующего»:
​Оказывается, то, на чем стоит всё здание рационального мышления уже пару тысяч лет, по мнению моего оппонента — просто «называние». Давайте вспомним этих «призраков»:

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

​Как неловко получилось. Как неловко, ай-ай-ай... Целый пласт фундаментальной философии и логики был только что аннигилирован в одном комментарии просто потому, что сабжу «не пришло в голову», как это вписать в свою картину мира.
16 февраля в 13:49
91 комментариев из 121 (показать все)
Warro Онлайн
Waruna
Я уже готова на всё, даже на плазменную пушку Клайва Баркера.😁
Нет уж, давайте БФГ9000 из Дума притащим :)
Waruna Онлайн
Warro
А давайте! БФГ9000 — это единственный «принцип достаточного основания», который не требует доказательств. В любой непонятной ситуации — херач и получай эндорфинчики!
Вставлю кое-что тоже.

Математики называют набором аксиом фундамент, на основе которого строится абстрактная теория. Аксиомы могут выглядеть нелепо, а порожденная ими теория может не иметь никакого отношения к реальности, но все равно быть интересной.

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

Если некий учёный хочет использовать конкретную абстрактную теорию, которую создали математики, для изучения реального объекта, то именно на него ложится задача сначала доказать, что эта абстрактная теория похожа на объект достаточно, чтобы ее имело смысл здесь применять.

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

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

Читателю, когда он пытается разгадать замысел автора? Лучше не стоит, потому что большинство авторов предпочтут более интересное решение, а не более простое.

Автору во время написания? Но он создаёт новое, а не пытается найти объяснение чему-то уже существующему. Пусть создаёт что хочет.

Персонажам внутри книги? Книги отражают жизнь, так что если в жизни люди применяют бритву Оккама, то и персонажи могут.
Waruna Онлайн
C17H19NO3
Голубиные шахматы.
Waruna Онлайн
nullitte

Думаю, что именно имел в виду Матемаг, может прояснить только сам Матемаг.
Но, например, если для того, чтобы спасти героя, автору одновременно требуются инопланетяне, магия, гигантские орлы и кот Матроскин, то резонно предположить, что часть из этого — лишние сущности.
И тут приходит Бритва! Тыдыщ!🙃
palen Онлайн
Waruna
nullitte

Думаю, что именно имел в виду Матемаг, может прояснить только сам Матемаг.
Но, например, если для того, чтобы спасти героя, автору одновременно требуются инопланетяне, магия, гигантские орлы и кот Матроскин, то резонно предположить, что часть из этого — лишние сущности.
И тут приходит Бритва! Тыдыщ!🙃
Тут не бритаа нужна уже, а санитары...
Waruna Онлайн
palen

Но такое бывает🤷‍♀️

Представьте, что вам нужно забить гвоздь. Нормальный человек берет молоток. Автор плохого фанфика строит адронный коллайдер, вызывает дух Наполеона, кормит его магической поганкой, и тот в порыве галлюцинаций случайно попадает по гвоздю.


Гарри приходит в банк Гринготтс, делает проверку крови и... Он оказывается лордом Поттером, Блэком, Певереллом, Слизерином, Гриффиндором и (внезапно) Мерлином. У него 40 сейфов, 15 родовых поместий и «магическое ядро» размером с Юпитер.

А самое смешное — по сюжету для сбора личного гарема и победы над Волдемортом всё это в итоге не понадобится.
Nalaghar Aleant_tar Онлайн
Waruna
palen

Но такое бывает🤷‍♀️

Представьте, что вам нужно забить гвоздь. Нормальный человек берет молоток. Автор плохого фанфика строит адронный коллайдер, вызывает дух Наполеона, кормит его магической поганкой, и тот в порыве галлюцинаций случайно попадает по гвоздю.


Гарри приходит в банк Гринготтс, делает проверку крови и... Он оказывается лордом Поттером, Блэком, Певереллом, Слизерином, Гриффиндором и (внезапно) Мерлином. У него 40 сейфов, 15 родовых поместий и «магическое ядро» размером с Юпитер.

А самое смешное — по сюжету для сбора личного гарема и победы над Волдемортом всё это в итоге не понадобится.
Но зато оно всё - ЕСТЬ!!!(с)
Waruna
если для того, чтобы спасти героя, автору одновременно требуются инопланетяне, магия, гигантские орлы и кот Матроскин, то резонно предположить, что часть из этого — лишние сущности.
И тут приходит Бритва! Тыдыщ!🙃
Ну, бритва все-таки про процесс поиска истины. Творческий процесс создания чего-либо - это не поиск истины.
Warro Онлайн
Waruna
И тут приходит Бритва! Тыдыщ!🙃
Борис Бритва :)))
Waruna Онлайн
Warro
Вот ты! Именно ты! Вдохновил меня своей BFG9000 на самую гадкую вещь. Следующий фанфик я посвящу тебе, клянусь своей магией!
Nalaghar Aleant_tar Онлайн
nullitte
Waruna
Ну, бритва все-таки про процесс поиска истины. Творческий процесс создания чего-либо - это не поиск истины.
В тексте скальпель Оккама маскируется и берёт псевдонимы: *сэр Обоснуй* и *мадмуазель Логика произведения*)))
Nalaghar Aleant_tar
В тексте скальпель Оккама маскируется и берёт псевдонимы: *сэр Обоснуй* и *мадмуазель Логика произведения*)))
Это-то конечно)
Warro Онлайн
Waruna
Вдохновил меня своей BFG9000 на самую гадкую вещь.
Более гадкую, чем персонажи фанфиков kraa?
Следующий фанфик я посвящу тебе, клянусь своей магией!
Если не слешарики, тогда не страшно :)
Waruna Онлайн
Warro

Более гадкую, чем персонажи фанфиков kraa?

Не читала. Там всё так страшно?
Warro Онлайн
Waruna
Там всё так страшно?
Скорее мерзковато(ИМХО)...
Waruna Онлайн
Warro
Нужно опуститься в глубины)
Warro Онлайн
Waruna
Тут недавно в блогах был обзорчик в многих частях. Осторожно, со дна могут постучать...
Математики называют набором аксиом фундамент, на основе которого строится абстрактная теория. Аксиомы могут выглядеть нелепо, а порожденная ими теория может не иметь никакого отношения к реальности, но все равно быть интересной.

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

Если некий учёный хочет использовать конкретную абстрактную теорию, которую создали математики, для изучения реального объекта, то именно на него ложится задача сначала доказать, что эта абстрактная теория похожа на объект достаточно, чтобы ее имело смысл здесь применять.
nullitte
Я без заточки, просто спросить: а можете назвать математическую теорию, которая вообще не имеет отношения к реальности? Математика, конечно, дает абстрактное описание объектов, но это не означает, что матмодели не имеют отношения к реальности.
Translate
Я не так много знаю о современной передовой науке, чтобы точно ответить на вопрос, нашло ли что-то уже своё применение или нет. Но, насколько я знаю, теория кардинальных чисел пока не нашла применения к реальности, так что, возможно, здесь нет ничего, что могло бы описываться ею. Теория категорий, опять же, насколько я знаю, применялась в программировании, но смоделированная програмно абстрактная модель - всё ещё остается абстрактной моделью, так что это не считается, и в квантовой физике, но только очень малая её часть, самая простая, так что более полная теория может и не иметь применений. В современной передовой математике, которая создается прямо сейчас, наверняка есть что-то ещё.

Но это всё, конечно, не значит, что они не найдут своё применение к реальности позже. Многие штуки (типа кватернионов, функции вейерштрасса, р-адических числел) казались абсолютно бесполезными абстракциями многие годы, а потом внезапно очень пригодились в разделах физики, которые раньше не существовали. Так что я не говорю, что кардинальные числа никогда не найдут применения в будущем (я даже не уверена, что они уже его не нашли, потому что, повторюсь, я не знаю всей физики, которая существует сейчас в мире, и могла что-то написать ошибочно). Я просто говорю, что сам математик, который создает новую абстракцию, может не знать, как именно она будет применена и будет ли вообще. Он просто создает её, и она есть. Может быть, она найдёт своё применение завтра или через тысячу лет или вообще никогда, но это применение - уже не задача математика. Вот и всё, что я пыталась сказать.
Показать полностью
Waruna
Круги на воде
Нет у меня никакого пафоса. Всё началось с заявления о том, что бритву Оккама некорректно применять к художественной литературе. А я сказала, что почему бы и нет. Вот и весь сыр-бор.
Ну вот газлайтинг, переписать базу мышления - эти выражения мне кажутся пафосными.

palen
Обожаю фанфикс. Ну где еще так легко и просто соседствуют ветки с такими вот диспутами и треды про шмотки, котиков, картинки и черт еще знает что.
О-бо-жа-ю.
Да! +100500:)

По теме: по-моему, вы тупо говорите о разном (точнее, умно, но СЛИШКОМ умно, погрузились в научные глубины и не заметили, что обсуждаете вообще разные вещи). Матемаг говорит про бритву Оккама как философский хрен его знает принцип или что, короче, в исходном философском значении зтого понятия. А Варуна имела в виду бритву в разговорном смысле, в котором она вошла в обиход - что надо отсекать все лишнее, без чего можно обойтись. Эта идея прекрасно применима к литературе, но это уже не философская идея. А у термина есть два значения, философское и обыденное. Как и у многих других. Если вы загуглите, например, прагматизм, оно вам выдаст словари, где написано, что это философское течение и т.д. и т.д. Но вне философии, а в обычной речи, в быту и в худлите под прагматизмом понимают просто практичность. И таких примеров дофига, когда термин уходит в народ.
Показать полностью
nullitte
Ахаха, ну да, у нас был препод, которого если спросить, где применяется теория категорий, отвечал, что в параллельном программировании, а если спросить, где применяется ПП, то в теории категорий. Кардинальные числа - это же вроде про мощность множеств. Ну, видимо, они используются для сравнения множеств, где нельзя посчитать количество элементов. Но кватернионы изначально задумывались для применения в физике. В общем, я не уверена, что математики создают абстракции от фонаря, даже не предполагая, где их можно применить. Часто это костыли, которые необходимо добавить, чтобы решать реальные задачи с помощью какой-то существующей теории.
Круги на воде
Матемаг изначально утверждал, что бритва Оккама не имеет отношения к логике, поскольку Варуна называет её логическим методом. Причем Матемаг говорит о логике высказываний, а Варуна я не очень поняла, о какой. В принципе логика высказываний используется и для анализа дискуссий, там своя специфика - именно там фигурируют принципы, о котороых говорит Варуна и которые в матлогике даются как законы. Но я читала пару учебников для гуманитариев и не видела там ничего про бритву Оккама, так что хз.
Translate
Кардинальные числа - это же вроде про мощность множеств.
Кардинальные числа содержат разного рода бесконечности, и чем более сложными эти бесконечности становятся, тем более странные и интересные свойства у них появляются. Это изучается, хотя эти бесконечности могут не иметь никакого отношения к нашей реальности.
В общем, я не уверена, что математики создают абстракции от фонаря, даже не предполагая, где их можно применить. Часто это костыли, которые необходимо добавить, чтобы решать реальные задачи с помощью какой-то существующей теории.
Мне кажется, это зависит от раздела математики. Некоторыми разделами занимаются очень узкие специалисты, которые изучают её годами. Они могут не разбираться ни в современной продвинутой физике, ни даже в стоящих по соседству современных продвинутых областях математики, потому что информации сейчас слишком много, чтобы каждый мог быть специалистом во всём.

А ещё, думаю, мы гораздо больше знаем о том, что уже нашло своё применением, чем о том, что пока не нашло. Какая-нибудь теория может существовать в нескольких математических статьях и даже не иметь страницы не википедии. Потому что без применения она не интересна никому, кроме других математиков.
Показать полностью
Очевидно, что это философский принцип, который чаще всего действует, но, в общем, не обязателен.
А о чём вообще спор?
nullitte
Да, разбираться во всем нереально. Я думаю, что вот эти узкие специалисты, которые занимаются тем, о чем никто не знает - это типа наука на кончике пера. Мусолили какие-то теории, а потом фигак и рассчитали положение Нептуна XD.
Waruna Онлайн
Translate
Всё так и было. Правда-правда 😉
Матемаг изначально утверждал, что бритва Оккама не имеет отношения к логике, поскольку Варуна называет её логическим методом.
Блин, да какая разница, если речь о создании литературного произведения, имеет или не имеет оно отношения к логике) я бы убрала научный термин "логический метод", раз он триггерит тех, кто изучал логику. Тем более что лично я в этом контексте употребила бы его в рпзговорном, а не научном смысле х)) потому что и слово "метод", и даже слово "логический" (а не только "логичный") имеют и разговорное значение. Когда говорят "рассуждай логически", имебт в аиду не "соблюдай правила логики (науки)", а "рассуждай рационально и непротиворечиво" (т.е. соблюдай бытовую "логику").

Меня с одной стороны впечатляет серьезный уровень дисскуссии,а с другой - зачем тратить силы на спор о том, что вам изначально даже не было нужно?)
Круги на воде
Меня с одной стороны впечатляет серьезный уровень дисскуссии,а с другой - зачем тратить силы на спор о том, что вам изначально даже не было нужно?)
В смысле тратить силы? Я тут развлекаюсь после трудовыебудней вообще-то XD. Ну и я думала, что, может, Варуна уточнит, в какой логике есть бритва Оккама, потому что я такую не знаю, как и Матемаг.
Waruna Онлайн
Translate
А где я такое говорила?)

Варуна уточнит, в какой логике есть бритва Оккама, потому что я такую не знаю, как и Матемаг
Waruna
Тут столько всего, что, честно говоря, не очень понятны рамки беседы.

Кстати,
Ты пытаешься использовать закон исключенного третьего там, где он бессилен — на границе фазового перехода.
А в чем проблема с терминатором? Если терминатор "не день, и не ночь", то он просто "не ночь".
Waruna Онлайн
nullitte
Не я предложила обсудить тему, связанную с физикой, где закон исключённого третьего не работает. Участники разговора сами расширили её рамки.
Waruna
А с его бы закону исключенного третьего в этом случае не работать? Где он тут не работает-то?
Waruna Онлайн
Translate
Круги на воде
В смысле тратить силы? Я тут развлекаюсь после трудовыебудней вообще-то XD. Ну и я думала, что, может, Варуна уточнит, в какой логике есть бритва Оккама, потому что я такую не знаю, как и Матемаг.


Я назвала Бритву Оккама — "логико-методологическим принципом". Это вполне устоявшийся академический термин, который используется в философии науки и эпистемологии.
Waruna Онлайн
nullitte
Не ночь и не день. Это буквально пограничное состояние сумерек. Это и не то и не это. Это граница.😁
Waruna
Ладно, напишу максимально чётко.

Отрицанием "терминатор - это ночь" будет "терминатор - это не ночь". Терминатор не считается ни ночью, ни днём, поэтому первое утверждение - неверно, а второе утверждение - верно.

Высказывание "терминатор - это день" не является отрицанием высказывания "терминатор - это ночь" и к исключенному третьему такая пара никакого отношения не имеет.
Waruna Онлайн
nullitte
Закон исключенного третьего требует жестких рамок. Но где именно заканчивается «день» и начинается «ночь»? Если мы определим день как «солнце над горизонтом», а ночь как «солнца нет», то сумерки становятся ловушкой. Солнца уже нет, но светло. Это «не-день» и «не-ночь» одновременно.
Терминатор — это физическое воплощение перехода. В это называется «проблемой кучи» (парадокс сорита): сколько песчинок нужно убрать из кучи, чтобы она перестала быть кучей? Так и здесь: сколько фотонов нужно убрать, чтобы день стал ночью?
Warro Онлайн
nullitte
Ай-ай, терминатор притащил я. И притащил для иллюстрации, как для решения противоречий начинается игра с исходными данными. Началось все вообще с "На Марсе ХХХ". Я притащил вариант, который при неопределенном значении переменной "На марсе" - дает на выходе ерунду, а не вывод. Ок, подровняли "На марсе"="Точка на марсе". Я притащил терминатор. Который в каком-то понятии точка, в каком-то - граница. И вот начинается прелесть, когда вместо доказательств чего либо внутри одной модели каждый участник начинает подбирать удобную модель под свою точку зрения. Разве не прелестно?
Waruna
Но где именно заканчивается «день» и начинается «ночь»?
Мы говорим о законе исключенного третьего. Отрицанием высказывания "терминатор - это ночь" является высказывание "терминатор - это не ночь", а не высказывание "терминатор - это день". Если вы начинаете говорить о "дне", то вы уходите от изначального высказывания и его отрицания, в которых понятия "день" вообще не фигурировало, и начинаете рассуждать о других высказываниях. Всё это уже к закону исключенного третьего никакого отношения не имеет.

В вашем примере. Если мы определим ночь как "солнца нет", то "светло, но солнца нет" подойдёт под определение ночи и будет считаться ночью. Твёрдо и чётко.
Warro Онлайн
И еще кстати один моментик, упущенный с терминатором - в зависимости от того, атмосферное ли тело или нет, терминатор малость по разному проявляется. На какой-нить Луне он скорее резкая граница, а на атмосферных телах - в меру протяженная зона "среднего состояния". И в каком месте тогда проводить границу "это ночь, а вот это уже не ночь"? Посередине зоны сумерек или на её границе с однозначно ночной зоной? "Это ночь, но это неправильная ночь"? :)))
Warro
Я не особенно поняла, зачем вы принесли терминатор. И ещё меньше поняла, что и каким образом он опровергает.
Waruna Онлайн
Warro
Ай-ай, терминатор притащил я. И притащил для иллюстрации, как для решения противоречий начинается игра с исходными данными. Началось все вообще с "На Марсе ХХХ". Я притащил вариант, который при неопределенном значении переменной "На марсе" - дает на выходе ерунду, а не вывод. Ок, подровняли "На марсе"="Точка на марсе". Я притащил терминатор. Который в каком-то понятии точка, в каком-то - граница.


Так тут ноль вопросов. Если для задачи не подходит молоток, это не делает его плохим инструментом — просто сейчас нужен гаечный ключ. Закон исключенного третьего не универсальная отмычка, и на примере с терминатором мы просто видим границы его применимости
Warro Онлайн
nullitte
Отрицанием высказывания "терминатор - это ночь" является высказывание "терминатор - это не ночь", а не высказывание "терминатор - это день".
Тадамс. И это работает исключительно на уровне "для высказывания", как для абстрактной такой концепции, которую мы заранее оторвали от реального мира. А вот когда начинаем прикладывать к реальности, тут уже идут чудеса. И тем более криво зададим исходные данные и определения, тем чудесатее.
Warro
И в каком месте тогда проводить границу "это ночь, а вот это уже не ночь"?
Каким образом вопрос того, как именно следует дать определение "ночи" связан с абстрактным вопросом о законе исключенного третьего? Те, кто этим занимается, дадут этому удобное определение, которым будут пользоваться. Всё, что подходит под это определение, будет считаться ночью, а всё, что не подходит, будет считаться не ночью.

Если это была попытка привести пример "опровергающий" закон исключенного третьего, то этого "опровержения" я тут не вижу.
А вот когда начинаем прикладывать к реальности, тут уже идут чудеса.
А в чём чудеса-то? Терминатор - это и не день, и не ночь? Отлично, значит он не ночь. Где чудо?
Warro Онлайн
Waruna
Закон исключенного третьего не универсальная отмычка, и на примере с терминатором мы просто видим границы его применимости
Вот именно. Это в определенной модели оно работает так, потому что модель так задумана - для решения каких-то задач "на одном языке", так сказать. Мы же не тащим правила русского в китайский, так? А вот когда начинают неглядя прикладывать к реальности кто русский, кто китайский, кому как удобно, чудеса начинают переть косяками...
Warro
Закон исключенного третьего не универсальная отмычка
С этим-то я не спорю, но
и на примере с терминатором мы просто видим границы его применимости
нет, на этом примере ничего такого не видно.
Warro Онлайн
nullitte
Терминатор - это и не день, и не ночь? Отлично, значит он не ночь. Где чудо?
Еще раз - это "как высказывание" все просто, если мы называем что-то терминатором, значит оно уже не ночь. А вот в реальности где провести границы определений? Еще разок напомню про "терминатор в атмосфере", который градиентиком переходит из одного в другое. Так вот где там граница "ночь/не ночь"? Вот ткнули мы в определенную точку, и как мы поймем, мы в ночь попали, или тут уже сумерки? Или еще какой вариант?
Waruna Онлайн
nullitte

Так.
Закон исключенного третьего требует, чтобы мы разделили мир на "А" и "не-А" без остатка. Но терминатор — это физический процесс перехода. Попытка применить этот закон к нему — это как попытка измерить объем воды линейкой. Линейка (закон) — отличный инструмент, но она предназначена для четких отрезков, а не для текучих состояний.
Терминатор по определению — это зона перехода. Пытаться применить к нему закон исключенного третьего — это как требовать, чтобы серый цвет был либо чисто черным, либо чисто белым. Он не то и не другое, он — третье.
Warro Онлайн
Waruna
Попытка применить этот закон к нему — это как попытка измерить объем воды линейкой. Линейка (закон) — отличный инструмент, но она предназначена для четких отрезков, а не для текучих состояний.
Именно, применяя подход за пределами того, для чего он был задуман - получим хрен знает чего. Это не инструмент плохой, это применение категории "не подумал". И когда начинается спор между прикладывающими то линейку, то термометр к электрическому току - "на лад их дело не пойдет"(с)
Waruna Онлайн
Warro
Корень, из которого вырос весь этот сыр-бор, это заявление Матемага о том, что применять
Бритву Оккама к худлиту некорректно.

И пошло-поехало поехало.
З. Ы. Это разобрка литарская😁
Waruna
Закон исключенного третьего требует, чтобы мы разделили мир на "А" и "не-А" без остатка
Именно это он и делает.

Пытаться применить к нему закон исключенного третьего — это как требовать, чтобы серый цвет был либо чисто черным, либо чисто белым. Он не то и не другое, он — третье.
Если разделить мир на "черный" и "не черный", то серый попадет в " не черный".

Если разделить мир на "белый" и "не белый", то серый попадет в "не белый".

Все нормально тут с законом исключенного третьего, если не совершать ошибку и не пытаться разделить мир на "белый" и "черный".
Waruna Онлайн
nullitte

Вводные были про день или ночь, а не про сумерки или ночь.
Warro Онлайн
Waruna
Ну, Матемаг вообще-то любитель, ИМХО, все усложнять хрен знает зачем, наверное из любви к процессу...
И пошло поехало.
Но я говорю - мне как раз происходящее напомнило прикладывание каких попало инструментов (причем у каждого своих) к параметру, который вообще чем-то другим измеряется - тут не стоит удивляться, что показания какие-то не такие. Так-то, объем в некоторых случаях можно померить линейкой, не напрямую, а померив линейные размеры емкости либо "трубы", но такое работает не всегда и может содержать погрешности, в зависимости от того, "как считаем".
Waruna
Вводные были про день или ночь, а не про сумерки или ночь.
Нет, не были.

Были про ночь или не ночь.

С точки зрения формальной логики. Если мы зафиксируем конкретную координату. В точке X в момент времени Y действительно либо ночь, либо не ночь.

Ок, прелестно, точка на марсе в момент замера попала на терминатор, едем дальше.
Warro Онлайн
nullitte
Вот смотрим. Один прикладывает к реальности бинарную схему "день и все остальное", второй "ночь и все остальное" - в таком случае в реале терминатор - это будет то самое мифическое "третье", которое по отдельности ни в одной, ни в другой логике не существует, а в реальности прекрасно был, есть "и будет есть"(с), на его существование или не существование никак не влияет, какую логику вы выбираете для "бинаризации". Но в зависимости от выбранной, попадет по ту или другую сторону.
Waruna Онлайн
nullitte

Представь, мы спорим: платье черное или белое. Я приношу серое. Ты говоришь: "Серое — это не черное, значит, по закону исключенного третьего, это платье — белое". Понимаешь, как нелепо это звучит? Мы просто проигнорировали само существование серого цвета, чтобы формула сошлась».
Waruna Онлайн
Warro
Надо зафиксировать. Она права. Сумерки — это не ночь.
Конечно, в таком случае мы объясняем реальность через «не», и это игнорирует суть переходного явления. То есть логически всё верно. Я зациклилась на точности описания.
Waruna
Ты говоришь: "Серое — это не черное, значит, по закону исключенного третьего, это платье — белое".
Нет, я так не говорю. Я говорю, что закон исключенного третьего работает с высказыванием и его отрицанием, а отрицанием высказывания "серое - это черное" будет высказывание "серое - это не черное".

Если вы берете высказывания "серое - это черное" и "серое - это белое", ни одно из которых не является отрицанием другого, то закон исключенного третьего к ним никакого отношения не имеет.
Waruna Онлайн
nullitte
Признаю свою вину:
Меру, степень, глубину.
Вы правы.🖖❤️🖖
Warro Онлайн
Waruna
То есть бинарно всё верно, хоть мир аналоговый.
Вот именно - верно пока мы остаемся в рамках бинарной модели. Но любая бинарная модель - это, условно, договоренность "проводим границу тут". А если одна модель проводит тут, другая там, а оппоненты пользуются разными и считают, что только их модель правильно накладывается на реальность (хотя это не так, модель делается "из реальности", а не наоборот, так что накладывая модель обратно, мы по любому что-то упускаем), получается эталонный кавардак. В котором "что и как есть" - никого давно не интересует, идет битва моделей.
Waruna
*удивленно радуется*
Warro
Вот именно - верно пока мы остаемся в рамках бинарной модели.
Одно высказывание - это ещё не модель. Мы может сказать много разных высказываний, и модель перестанет быть бинарной.

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

В смысле, вы же не пытаетесь применять закон исключенного третьего к высказываниям "число N начинается на 3" и "число N заканчивается на 3", потому что в зависимости от N они могут быть оба верны (N=33) и оба не верны (N=10). Они его не опровергают, он просто не об этом.
Waruna Онлайн
Warro
Ты прав по существу, nullitte права в рамках поставленной задачи.
И важно это только пока мы эту реальность фиксируем, потому что ей всё равно на нас, на модели и на «на самом деле»
Waruna Онлайн
Короче, в конце дискуссии из-за ширмы выходит Виктор Пелевин и уводит Оккама к Чапаеву в пустоту. 😁😁😁
Warro Онлайн
nullitte
Одно высказывание - это ещё не модель.
Еще какая модель. Это модель "берем аналоговый параметр и проводим границу вот тут". Пока все согласны - все хорошо. Параметр не стал бинарным, бинарным стало наше восприятие. Вот если брать "черное платье": к примеру, у нас по дресс коду требуется черное платье - это не значит, что нам требуется платье исключительно цвета #000000. Нам подойдут все варианты, которые будут определены как "достаточно черные", чтобы так их определить. Это не будет означать, что вариантов не существует(или они равны при любых условиях), просто они не ломают НАШЕ определение.
Waruna Онлайн
*Выхожу отседа тихо, на цыпочках, чтобы не мешать*
Warro Онлайн
Waruna
*Выхожу отседа тихо, на цыпочках, чтобы не мешать*
"А вас, Штирлиц, я попрошу остаться"(с) :)))
Translate
Круги на воде
В смысле тратить силы? Я тут развлекаюсь после трудовыебудней вообще-то XD.
А, тогда все отлично хдд
Я искала начало дискуссии вне этого поста, но так и не нашла) с другой стороны, нужно ли оно мне...
Waruna Онлайн
Круги на воде
https://fanfics.me/message754056

Возможно не нужно. Оно и мне-то уже не нужно, скоро шашлыки приедут... Вот это дело!
Waruna
Спасибо)
Хороших вам шашлыков))
Я назвала Бритву Оккама — "логико-методологическим принципом". Это вполне устоявшийся академический термин, который используется в философии науки и эпистемологии.
Ну вот, теперь понятно. Я же не философ и вообще не слышала такое :D. Вы просто там где-то наверху сказали что-то вроде "а я-то думала, что логико-методолигический принцип имеет отношение к логике", я и не поняла, какое именно он к ней имеет отншение.
Ладно, напишу максимально чётко.

Отрицанием "терминатор - это ночь" будет "терминатор - это не ночь". Терминатор не считается ни ночью, ни днём, поэтому первое утверждение - неверно, а второе утверждение - верно.

Высказывание "терминатор - это день" не является отрицанием высказывания "терминатор - это ночь" и к исключенному третьему такая пара никакого отношения не имеет.
Там был вопрос, на Марсе день или ночь. То есть, если брать бинарную логику, то не ночь и день - это одно и тоже. Ну или не день и ночь. Если появляется значение, когда не ночь, а про день ничего не известно, то это уже троичная логика, там классический закон исключенного третьего из бинарной логики не работает.
Короче, я вам сейчас расскажу, как надо было: измерять день и ночь освещенностью. До определенного значения освещенности считать день, а после него - ночь. Тогда бы не было этого выноса мозга XD.
Translate
Не нужна там никакая троичная логика. Истины и лжи вполне достаточно, чтобы среди высказываний "это день" и это "это ночь" могла быть одна истина и одна ложь, а могли быть две лжи. Этого уже достаточно, не усложняйте.
Warro Онлайн
nullitte
Не нужна там никакая троичная логика. Истины и лжи вполне достаточно, чтобы среди высказываний "это день" и это "это ночь" могла быть одна истина и одна ложь, а могли быть две лжи. Этого уже достаточно, не усложняйте.
Этого достаточно, когда разговор идет о высказываниях. Попытка применить правила для высказываний к реальному миру ведет к косякам. Ну не предназначено оно для этого. В реальности у нас может быть день, ночь, пыльная буря какая-нить, где хрен пойми день или ночь, терминатор ака граница, померили освещенность не на поверхности, а в пещере, и т.д. Все эти ситуации невозможно правильно обработать в рамках "логики высказываний", хотя где-то, как-то может и получиться, но без гарантий. Как говорится - и стоящие часы два раза в сутки показывают точное время. А ведь начинал-то я с чего, напоминаю - было определение "на марсе". Для высказывания - нет проблем, а вот реальная планета в один и тот же момент имеет точки, с такими параметрами, что сложить их "в кучку" для определения "день или ночь" некорректно. Приходится уточнять определение, чтоб сходилось.
З.Ы. Черт с ним, с Марсом, вы мне скажите, на Солнце день или ночь? ;)))
Показать полностью
Warro
Все эти ситуации невозможно правильно обработать в рамках "логики высказываний", хотя где-то, как-то может и получиться, но без гарантий.
Вы сначала напишите высказывание, в котором все слова определены и про которое нельзя сказать, истинно оно или ложно, а уже потом говорите, что вам логики высказываний не хватает.
Waruna Онлайн
Warro

Черт с ним, с Марсом, вы мне скажите, на Солнце день или ночь?
На Солнце сегодня солнечно, скорость ветра не превышает 800 км/с. Хорошее время для того, чтобы выгулять своих зайчиков.
Waruna Онлайн
Translate
Вы просто там где-то наверху сказали что-то вроде "а я-то думала, что логико-методолигический принцип имеет отношение к логике", я и не поняла, какое именно он к ней имеет отншение

Она часть теории аргументации и неформальной логики. Это инструмент для соблюдения закона достаточного основания: если сущность не нужна для вывода, её присутствие в аргументации логически неоправданно. Это не математика, это методология построения доказательств.
Warro Онлайн
nullitte
в котором все слова определены
Ок, давайте начнем с простого, давайте определим "что есть день". И ответим на парочку вопросов - а в помещении без окон день или ночь? А в тени горы/в пятне полного затмения? Там, где облачность такая плотная, что свет до поверхности не доходит? Там где твердой поверхности вообще нет? А с самим светилом как быть, там день или нет? Освещенности-то там хоть отбавляй, а вот как оно лезет в определение - вопрос...
Не нужна там никакая троичная логика. Истины и лжи вполне достаточно, чтобы среди высказываний "это день" и это "это ночь" могла быть одна истина и одна ложь, а могли быть две лжи. Этого уже достаточно, не усложняйте.
Не нужна, чтобы определить наличие и отсутствие состояния, а чтобы напрямую определить, какое именно состояние из трех, нужна. В дискуссии же речь об этом, если не придираться к формулировкам. Warro говорит о том, что если в системе больше, чем два состояния, то их невозможно корректно описать дихотомией состояний. Если вы возьмете дихотомию "ночь-не ночь", её применение будет ограничено, поскольку ответ на этот вопрос ничего не говорит о том, какое именно состояние вы наблюдаете: день или не день. Но это не означает, что такая логика не годится для подобного описания. Надо просто взять n-местный кортеж по числу состояний и дихотомию "да-нет". Ну типа (1,0,0) - день; (0,1,0) - ночь, (0,0,1) - неопределенное состояние. А если вы хотите описать три и более состояний без их перечисления и определения наличия, а с помощью дихотомии состояний, то у вас не получится, хоть какое определение давайте понятиям.
Она часть теории аргументации и неформальной логики. Это инструмент для соблюдения закона достаточного основания: если сущность не нужна для вывода, её присутствие в аргументации логически неоправданно. Это не математика, это методология построения доказательств.
Вот теперь вообще зашибись. Как говорится, дихотомия "математика-не математика" не позволяет определить, что именно, если не математика XD.
померили освещенность не на поверхности, а в пещере, и т.д.
Ну если считать день и ночь по уровню освещенности на улице, то это будет состояние "ошибка измерения", его тоже можно запихать в кортеж и спокойно обработать в рамках четкой бинарной логики. Чтобы вам не читать другие комментарии для понимания этого, я о кортеже типа такого: (1,0,0,0) - день; (0,1,0,0) - ночь; (0,0,1,0) - терминатор; (0,0,0,1) - ошибка измерения. Длина кортежа не ограничена, и если у вас есть еще параметры, ни в чем себе не отказывайте.
Waruna Онлайн
Translate
Как скажете. Никакого интереса это продолжать у меня не осталось.
Warro Онлайн
Translate
Ну если считать день и ночь по уровню освещенности на улице
Косяк. Мы собираем какую-то комбо-конструкцию (уровень освещенности+"на улице") и имеем один какой-то параметр. Так оно не работает (по крайней мере корректно не работает). Если у нас датчик освещенности - у нас на выходе параметр "освещенность", датчику глубоко параллельно, в пещере он, на поверхности или в атмосфере/космосе. Это не его задача, с положением разбираться. И вот у нас на выходе получается занятное: "два яблока плюс четыре литра минус два часа" - так вычисления корректно не работают же. То есть какой-то результат на выходе конечно получится...
Чтобы вам не читать другие комментарии для понимания этого, я о кортеже типа такого: (1,0,0,0) - день; (0,1,0,0) - ночь; (0,0,1,0) - терминатор; (0,0,0,1) - ошибка измерения.
Ок, а что скажет система, если у нее какое-нить (1,1,0,1) получится?
Translate
Кортеж из трёх бинарных значений - это все еще бинарная логика.
Warro
Ок, а что скажет система, если у нее какое-нить (1,1,0,1) получится?
Точно так же, как не любой набор букв является осмысленным словом, не любой набор высказываний должен быть непротиворечивым.
Warro Онлайн
nullitte
не любой набор высказываний должен быть непротиворечивым.
Я до сих пор даже непротиворечивого определения "дня" не увидел...
(1,1,0,1) получится?
Между прочим, я не от балды единички-то с нулем ставил, там вполне непротиворечиво с точки зрения измерителя: померили "день" - подходит, записали, померили "ночь" - подходит, записали, терминатор не подошел - по нулям, проверили контрольную сумму - не сходится, ставим флаг "ошибка измерения", а дальше не наши проблемы :)))) А кто как задавал рамки для определений и почему в данном случае наложились - это уж вообще не дело измерителя.
ПОИСК
ФАНФИКОВ











Закрыть
Закрыть
Закрыть