Текущее время: Чт мар 28, 2024 5:14 pm

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 30 ] 
На страницу Пред.  1, 2, 3
Автор Сообщение
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Вт авг 09, 2022 6:46 am 
Не в сети
Аватар пользователя

Зарегистрирован: Ср июл 19, 2017 10:03 pm
Сообщений: 541
Любимый смешарик: Бараш
Заслуженная репутация: 77
Меркулов Владимир писал(а):
Человек, который всегда врёт сказал, что он всегда врёт. Будет ли это правдой?

На самом деле, так называемый парадокс лжеца (он же парадокс критянина) очень легко поддаётся деконструкции.

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

За разрешение этого парадокса спасибо Илье Николаевичу Храброву - выдающемуся русскому философу, рэперу и православному активисту.

Теперь, за неимением парадокса критянина, осталось только придумать парадокс курянина...


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Чт авг 11, 2022 11:21 am 
Не в сети
Супермодератор
Аватар пользователя

Зарегистрирован: Чт май 13, 2010 8:23 pm
Сообщений: 11424
Откуда: Екатеринбург
Любимый смешарик: Пин
Заслуженная репутация: 1701
МастерМастерМастерМастерМастерМастерМастерМастерМастерМастер
Возможно ли, что две красные машины марки Мазда, чьих водительниц зовут Натальями и они являются блондинками, работающими экономистами, окажутся в одном ДТП.

Возможно, и это будет совпадением.

Если допустить, что бывают совпадения с шестью переменными, то можно ли допустить, что бывают совпадения с 1 000 000 переменными? Конечно, а следовательно и с 1 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 переменными совпадения тоже могут быть.

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

Ибо человек в принципе не способен всеобъемлюще на 360 градусов исследовать какой-нить объект и всегда изучает его под ограниченным углом.

А это значит, что научное знание априори не может претендовать на стопроцентную истину.

_________________
Кузинатра - это я!


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Чт авг 11, 2022 11:54 am 
Не в сети
Супермодератор
Аватар пользователя

Зарегистрирован: Чт май 13, 2010 8:23 pm
Сообщений: 11424
Откуда: Екатеринбург
Любимый смешарик: Пин
Заслуженная репутация: 1701
МастерМастерМастерМастерМастерМастерМастерМастерМастерМастер
Pertak Alex писал(а):
Ну вот, например, парадокс. Сейчас я докажу, что вы - Крош.
1. Вы Крош.
2. Оба этих утверждения неверны.
Если мы верим 2-му утверждению, то это приводит к парадоксу, потому что оно говорит, что оба утверждения неверны, следовательно, это значит, что одно верно, но это никак не может быть вторым утверждением по причине, описанной выше. Следовательно, верно первое утверждение, и вы - Крош.

Хоть и назвал когда-то чушью, вновь наткнувшись на тему, захотел написать решение этого пародокса.

Нас интересует второе утверждение, которое гласит: "Об этих утверждения неверны":

1. Второе утверждение (допустим, что оно истинно) предписывает нам считать, что оно само по себе уже является ложным, ибо оно входит в состав двух неверных утверждений.
2. Если второе утверждение является ложным, то из этого следует, что либо оба утверждения являются истинными, либо только одно из утверждений - истина. Других вариантов нет.
3. Мы понимаем, что утверждение "Вы - Крош" точно ложно, ибо мы не Крош.
4. А значит второе утверждение является истиной.
5. Это возвращает нас к пункту 1.

Парадокс закольцован и решен.

_________________
Кузинатра - это я!


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Чт авг 11, 2022 4:16 pm 
В сети
Аватар пользователя

Зарегистрирован: Пт июн 04, 2021 2:58 pm
Сообщений: 2173
Откуда: Нижний Новгород
Любимый смешарик: Бараш
Заслуженная репутация: 128
НачинающийНачинающий
Artyom писал(а):
Pertak Alex писал(а):
Ну вот, например, парадокс. Сейчас я докажу, что вы - Крош.
1. Вы Крош.
2. Оба этих утверждения неверны.
Если мы верим 2-му утверждению, то это приводит к парадоксу, потому что оно говорит, что оба утверждения неверны, следовательно, это значит, что одно верно, но это никак не может быть вторым утверждением по причине, описанной выше. Следовательно, верно первое утверждение, и вы - Крош.

Хоть и назвал когда-то чушью, вновь наткнувшись на тему, захотел написать решение этого пародокса.

Нас интересует второе утверждение, которое гласит: "Об этих утверждения неверны":

1. Второе утверждение (допустим, что оно истинно) предписывает нам считать, что оно само по себе уже является ложным, ибо оно входит в состав двух неверных утверждений.
2. Если второе утверждение является ложным, то из этого следует, что либо оба утверждения являются истинными, либо только одно из утверждений - истина. Других вариантов нет.
3. Мы понимаем, что утверждение "Вы - Крош" точно ложно, ибо мы не Крош.
4. А значит второе утверждение является истиной.
5. Это возвращает нас к пункту 1.

Парадокс закольцован и решен.


Не понял №5.
А если утверждение #2 является истиной, то это приводит к парадоксу.
Ведь если утв. 2 верно, то оба утв.-я неверны. А 2 всё-таки должно быть верным!
Большое спасибо и долгую память покойному Р.-М. Смаллиану за шуточную книгу "Как доказать что угодно". Он смог не только доказать существование либо Траляля, либо Труляля (но не известно, кто именно существует), но и доказал, что Трулюлю существует!

_________________
Изображение
Эта фраза останется у меня в подписи до тех пор, пока ГиАР не начнёт делать хорошую и достойную музыку.


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Чт авг 11, 2022 4:44 pm 
Не в сети
Супермодератор
Аватар пользователя

Зарегистрирован: Чт май 13, 2010 8:23 pm
Сообщений: 11424
Откуда: Екатеринбург
Любимый смешарик: Пин
Заслуженная репутация: 1701
МастерМастерМастерМастерМастерМастерМастерМастерМастерМастер
Утверждение 2 истинно, а утверждение 1 ложно только и все.

Утверждение 2 является истиной.

Утверждение 2 нам истинно говорить о том, что оба утверждения являются ложными.

А значит второе утверждение, говорящее о том, что оба утверждения ложны, является ложным.

Значит одно или оба из этих утверждений должны быть истинными.

Утверждение "Вы - Крош" не может быть истиной. Оно ложно.

Значит утверждение 2 является истиной.

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

_________________
Кузинатра - это я!


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Чт авг 11, 2022 4:48 pm 
В сети
Аватар пользователя

Зарегистрирован: Пт июн 04, 2021 2:58 pm
Сообщений: 2173
Откуда: Нижний Новгород
Любимый смешарик: Бараш
Заслуженная репутация: 128
НачинающийНачинающий
Но поскольку логической цепочки не предполагается, мы все Крош.
Ну или Карыч на худой конец.

_________________
Изображение
Эта фраза останется у меня в подписи до тех пор, пока ГиАР не начнёт делать хорошую и достойную музыку.


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Чт авг 11, 2022 4:50 pm 
Не в сети
Супермодератор
Аватар пользователя

Зарегистрирован: Чт май 13, 2010 8:23 pm
Сообщений: 11424
Откуда: Екатеринбург
Любимый смешарик: Пин
Заслуженная репутация: 1701
МастерМастерМастерМастерМастерМастерМастерМастерМастерМастер
Pertak Alex писал(а):
Но поскольку логической цепочки не предполагается, мы все Крош.

Как это? Логические парадоксы как раз и решаются посредством составления логических цепочек.

_________________
Кузинатра - это я!


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Вс авг 14, 2022 2:50 pm 
Не в сети

Зарегистрирован: Сб июл 25, 2020 9:00 pm
Сообщений: 122
Откуда: Санкт-Петербург
Любимый смешарик: Совунья
Заслуженная репутация: 347
ЛюбительЛюбительЛюбительЛюбитель
Pertak Alex писал(а):
Ну вот, например, парадокс. Сейчас я докажу, что вы - Крош.
1. Вы Крош.
2. Оба этих утверждения неверны.
Если мы верим 2-му утверждению, то это приводит к парадоксу, потому что оно говорит, что оба утверждения неверны, следовательно, это значит, что одно верно, но это никак не может быть вторым утверждением по причине, описанной выше. Следовательно, верно первое утверждение, и вы - Крош.


Это всё, конечно, понятно: если утв. 2 истинно, то оно ложно => оно не может быть истинным => оно ложно, тогда истинность утв. 1 не противоречит ложности утв. 2, а вот ложность - противоречит. Ни откуда не следует только необходимость рассмотрения всей приведённой системы утверждений. Если я просто добавлю к системе любое истинное утверждение, то "доказательство" перестанет работать. Например:
1) 2 + 2 = 4
2) Вы Крош
3) Все эти утверждения неверны

Сразу возникает логичный вопрос - на каком основании я добавил ещё одно утверждение к рассмотрению? Ответ: ни на каком, как и автор, совершенно необоснованно добавивший к доказательству утв. 1 ещё одно утверждение. По-видимому, одновременное рассмотрение утв. 2 с любым другим докажет всё что угодно. Ну, почти, если только не приведёт к парадоксу, например:
1) Утв. 2 истинно
2) Оба утверждения неверны

Как и в классическом парадоксе лжеца, здесь содержание высказывания содержит отсылки к его истинности. К счастью, в математической логике такие утверждения не возникают - они ниоткуда не следуют, а добавление их в систему аксиом приводит к её противоречивости. Поэтому один из подходов к разрешению таких парадоксов - использование троичной логики, т.е. допущение, что некоторые утверждения могут быть не "истинными" и не "ложными", а "неопределёнными". По Расселу, утверждение парадокса лжеца не имеет смысла, поскольку если в логике определяется понятие "высказывания", естественно без использования внутри определения самого понятия "высказывание", то это даёт возможность рассматривать только те высказывания, в которых ничего не говорится о высказываниях (высказывания I типа). Далее мы можем ввести определение высказываний II типа, в которых говорится о высказываниях I типа. В утверждении парадокса лжеца говорится о нём самом тогда, когда оно само ещё не определено.

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

В любом случае, парадоксы такого типа совершенно бессмысленны. Они не следуют логическим путём из других утверждений и в математике не используются (ну, почти...). Могу предложить несколько, на мой взгляд, более полезных парадоксов для размышления:

1) Парадокс Ахиллеса и черепахи: Быстроногий Ахиллес никогда не догонит черепаху, если в начале она находится впереди него, поскольку "За то время, за которое Ахиллес пробежит это расстояние, черепаха в ту же сторону проползёт сто шагов. Когда Ахиллес пробежит сто шагов, черепаха проползёт ещё десять шагов, и так далее. Процесс будет продолжаться до бесконечности". (Зенон, V в. до н.э.)

2) Парадокс летящей стрелы: В любой момент времени стрела неподвижна, следовательно она неподвижна всё время. (Т.е. в любой момент времени стрела занимает фиксированное положение, так когда же она движется?)

3) "Парадокс" брадобрея: Деревенский брадобрей бреет всех, кто не бреется сам. Бреет ли брадобрей сам себя?

4) Парадокс Рассела: Назовём "обыкновенным" множество, которое не является своим элементом (т.е. не содержит само себя). Множество, содержащее само себя назовём "необыкновенным" (такие множества существуют, например, множество всех множеств). Составим множество Q, содержащее все "обыкновенные" множества. Содержит ли Q само себя?


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Вс авг 14, 2022 3:11 pm 
Не в сети
Аватар пользователя

Зарегистрирован: Сб июл 16, 2022 10:12 pm
Сообщений: 84
Откуда: Россия
Любимый смешарик: Лосяш
Заслуженная репутация: -35
От всех этих парадоксов голова кругом идёт...

_________________
Что бы тут не написал всё уберут. Так что напишу "Юбегеда :twisted: Юбегеда"


Discord: Belegro#5379
VK: https://vk.com/mister_belegro

Изображение
#Vlandon-v-zasluzhennye
#Gogoriki-v-zasluzhennye


Вернуться наверх
 Профиль  
Ответить с цитатой  
 Заголовок сообщения: Re: Парадоксы
СообщениеДобавлено: Сб окт 14, 2023 12:05 pm 
В сети
Аватар пользователя

Зарегистрирован: Пт июн 04, 2021 2:58 pm
Сообщений: 2173
Откуда: Нижний Новгород
Любимый смешарик: Бараш
Заслуженная репутация: 128
НачинающийНачинающий
На первый взгляд кажется, что вечное блаженство лучше, но в действительности это не так! Судите сами. Что лучше вечного блаженства? Ничто. А бутерброд с ветчиной лучше, чем ничего. Следовательно, бутерброд с ветчиной лучше, чем вечное блаженство.

Из Смаллиана.

_________________
Изображение
Эта фраза останется у меня в подписи до тех пор, пока ГиАР не начнёт делать хорошую и достойную музыку.


Вернуться наверх
 Профиль  
Ответить с цитатой  
Показать сообщения за:  Сортировать по:  
Начать новую тему Ответить на тему  [ Сообщений: 30 ] 
На страницу Пред.  1, 2, 3

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кто сейчас на форуме

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 7


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения

Найти:
Перейти:  
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group