* Об отличии определения понятия парадокса от формулировки содержания конкретного парадокса mp_gratchev, 19 октября, 2012 - 11:03. Об отличии определения понятия парадокса от формулировки содержания конкретного парадокса
boldachev пишет: Ну что ж вы такой упертый :)) Возьмите все формулировки логических парадоксов со страницы список парадоксов: Имеем: Парадокс (от др.-греч. ... — неожиданный, странный от др.-греч. ... — кажусь) — ситуация (высказывание, утверждение, суждение или вывод), которая может существовать в реальности, но не имеет логического объяснения. Например, парадокс "Лжец". Имеет ли он признаки, обозначенные в общем определении парадокса? Да, имеет. 2. И одну из частных формулировок определения парадокса, которая конкретизирует общее определение: Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики [прояснить]. Что здесь надо прояснить? Прояснить нужно следующий момент: Откуда взялось упоминание противоречия, если нет не то что взаимоисключения - нет даже просто двух суждений (например, в "Лжеце")? Тем не менее, парадокс основан на противоречии. И это показывает ход аналитического расследования. Противоречие заложено в сущности феномена "парадокс" вещью-самой-по-себе. Именно в корень этой сущности заглянул автор самой первой, выложенной в Вики формулировки парадокса. В процессе анализа это противоречие является нам вещью-для-нас. А именно, на выходе анализа получаем два взаимно отрицающих суждения, предикатами которых выступают исключающие друга оценки "истинно" и "ложно" (например, в "Лжеце"). Здесь работает обратная логика: раз в выводе мы выявили реальное противоречие, то неявно противоречие изначально было заложено в данную конкретную ситуацию. Ну, а прояснение момента несовершенства существующих методов логики - это уже отдельная тема. -- Блог mp_gratchev
• Добавить комментарий
• Printer friendly version
• цитировать
• 455 просмотров
• В закладки 2 mp_gratchev
У вас просто страсть упираться и оправдываться. А вам не хочется просто сделать лучше? Если вы понимаете, что "парадокс основан на противоречии", то этого уже достаточно, что бы не писать "парадокс есть противоречие". Противоречие в логике вполне строгая конструкция и парадоксы в общем случае не записываются как противоречие - достаточно просто посмотреть на их список. Ну и потом сколько раз вам надо писать, что в приведенном вами определении просто грубейшая логическая ошибка: "это противоречие ... приводящее к взаимно исключающим заключениям". Ведь написано ни что иное как "это взаимно исключающие заключения ... приводящие к взаимно исключающим заключениям". Ну хоть этот ляп надо убрать. Не говоря уж о том, что в логике противоречия не имеют никакого статуса ("противоречие, имеющее статус"), тем более "статус вывода", и уж подавно, противоречие не есть не рассуждение (" это противоречие ... представляющее собой рассуждение"). Приведенное определение - это алогичный набор фраз. Даже не понимаю, о чем здесь спорить: сказать спасибо и бежать исправлять ошибки :). mp_gratchev, 19 октября, 2012 - 12:22. ссылка
И что? Давайте по существу. Вы согласны с тем, что в принципе парадокс основан на противоречии? Или не согласны? Скажите прямо. Если согласны, то словарная формулировка вполне адекватная, более того парадоксальная: говорится о противоречии, а взглянешь на конкретный парадокс, то увидишь там не два противоречивых суждения, а одно непротиворечивое, например, "я лгу". Смотрите шире на вещи. А не с одной лишь анти-диалектической колокольни. Итак.
Вам про русский язык, про элементарную логику, а вы ... :)
Безусловно, основан. Как скажем, дом основан на фундаменте. Но так и пишите Х есть нечто основанное на Y. А то у вас получается "Дом - это фундамент".
Аргумент mp_gratchev, 19 октября, 2012 - 14:26. ссылка
Аргументы "про-" и "контра-" (1)
Уже написано. И что написано пером, то не вырубишь топором. Определение то, какое сейчас есть, - хорошее. Лаконичное, схватывает суть. А лучшее - враг хорошего. С тем "Что напечатано, то напечатано", согласились. Согласились и с тем, что определение вполне укладывается в рамки сущностного понимания парадокса как противоречия. Ваше подтверждение: "Безусловно, основан". С оговоркой (новым аргументом): "Как скажем, дом основан на фундаменте". Фудамент - противоречие, а дом - формулировка парадокса.
Ваше предложение противоречиво, хотя и не записано в виде строгой конструкции, состоящей из двух, а не одного суждения. В данном контексте, противоречие у Вас выражено в виде оговорки "в общем случае". То есть возможны исключения. Ох как формальная логика не любит исключения из общего правила. Итак. Тот факт, что по мнению некоторых аналитиков философская категория противоречие (сущностное отношение, распространяющееся на природу, общество и мышление) конфликтует с узконаучным термином противоречие (два взаимно отрицающих суждения) - это не более чем метафизическая иллюзия: сравниваю свое представление о противоречии с реальным противоречием, которое опять же всего лишь мое представление. Грачев:
Я с этим не соглашался - это просто подлог.
Надеюсь вам понятно, что основан на противоречие не есть противоречие.
Почему вы обрезали цитату - продолжим ее дальше:
Вы согласны, что дом, основанный на фундаменте есть фундамент? Толь в случае согласия вы можете писать, что парадокс есть противоречие.
А это что такое? Вы понимаете что написали? "Стул это предмет для сидения на четырех ногах" - вам говорят, но не все стулья на четырех ногах, так нельзя давать определение - а вы в ответ: это исключение, формальная логика не любит исключения из общего правила. :)). Итак очередной вопрос: считаете ли вы, что если есть парадоксы, которые не записаны в виде противоречия (а таких большинство), то в определении это надо игнорировать? Ответьте просто да согласен, да считаю. mp_gratchev, 19 октября, 2012 - 23:51. ссылка
ОК. Пройдусь по Вашим аргументам. Аргументы "про-" и "контра-" (2)
Грубейшая ошибка усекать цельную мысль: "противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям" . О чём здесь говорится? О том, что в логическом парадоксе имеем ситуацию логически корректного вывода двух суждений, но взятые вместе они исключают друг друга.
Нет, тавтологию не усматриваю: читаю - процесс вывода корректный, а результат вывода нет, поскольку рассуждение (вывод) приводит к взаимно исключающим заключениям.. Речь идет о разных вещах.
Так что никакого ляпа в действительности нет.
Имеется ввиду, что, скажем, софизм - он имеет статус логически некорректного вывода. То есть противоречие может предстать в виде софизма и в виде корректного вывода.
Это возражение несколько туманное. Имеем, две ситуации: в одной вывод некорректный (софизм), в другой вывод корректный - стандартное представление о выводе. Так вот парадокс как противоречие исключает статус софизма и имеет статус нормы в выводе. Другое дело, что, скажем, в "Лжеце" при углубленном анализе обнаруживается нарушение закона тождества. Это сразу лишает "Лжеца" статуса парадокса и переводит его в статус софизма.
Надеюсь мой комментарий проясняет логику рассматриваемого определения.
На мой взгляд, Ваши доводы неосновательны. Поэтому спешить некуда. Хорошо. Кстати, а где про дом? mp_gratchev, 20 октября, 2012 - 10:08. ссылка
Нет. Ломать не строить. Карёжете цельную мысль, а потом удивляетесь, что "Логика и русский язык могут отдыхать". Википедия: Речь идет о парадоксе, который, с одной стороны есть противоречие, но в статусе "логически корректного вывода". А с другой стороны, есть нечто "представляющее собой рассуждение, приводящее к взаимно исключающим заключениям". Как анти-диалектика, так и тянет обездвижить содержание определения. Тогда как посредством речевого оборота "вместе с тем" в понятии "парадокс" осуществляется переход от фиксации процессуальной корректности вывода в ситуации парадокса к неожиданному противоречивому результату - "к взаимно исключающим заключениям". То есть движение к экспликации противоречия, которое латентно (скрытно) как сущностная основа уже содержится в парадоксе. В своем комментарии в в очередной раз проигнорировали мое замечание:
Вы считаете допустимым оборот (тем более в определении) "это противоречие ... представляющее собой рассуждение ... приводящее к противоречию?" Вот вам предельно точное и объемлющее определение парадокса в логике
Ощутите разницу :)
Смысл, конечно, один. Но ведь надо еще и по-русски писать внятно (и без грубых логических ошибок "противоречие есть рассуждение, приводящее к противоречию" :) Проведем голосование? Сергей Александров, 19 октября, 2012 - 16:06. ссылка
Парадокс это высказывание или система высказываний, которые внутренне непротиворечивы, но из которых можно сделать противоречивые , неоднозначные выводы. По-моему как-то так. mp_gratchev, 19 октября, 2012 - 16:57. ссылка
Хорошее определение. Только за что боремся? За то, чтобы дать непротиворечивое определение парадокса. Ваша фраза (А) однозначно противоречивая. Не бывает такой формально-логической ситуации, когда система высказываний внутренне непротиворечива, а выводы из неё противоречивы. Это означает лишь то, что такие выводы никак не связаны с исходной логической системой. Либо, исходная логическая система, репрезентируемая фразой (А), всё-таки противоречивая. Сергей Александров, 19 октября, 2012 - 17:03. ссылка
Сформулируйте в нескольких фразах апорию Зенона об Ахиллесе. mp_gratchev, 19 октября, 2012 - 17:34. ссылка
Есть разница между апорией и парадоксом:
Поэтому творения Зенона называются апориями, а не парадоксами. Сергей Александров, 19 октября, 2012 - 17:47. ссылка
Приведите пример парадокса. Грачев:
Грачев:
Не перестаю поражаться парадоксальности вашего мышления :)) Вернее на какие парадоксы (подмены, подлоги, увертки, противоречия) вы согласны пойти, только бы не произнести фразу "я ошибся". mp_gratchev, 19 октября, 2012 - 18:05. ссылка
Между (1) и (2) противоречия нет. В первом случае берется внутренне непротиворечивая система высказываний. А во втором случае, в логической системе заведомо присутствует противоречие. На что открытым текстом так прямо и указано (Парадокс в логике — это противоречие, потому-то и потому-то; состоящее из того-то и того-то). В самой системе генерируются два вывода с противоречащими результатами. Это противоречие внутри системы, а не противоречие вывода из системы. Сергею Александрову (откуда извлечено (1)) однозначно указано: [Либо, исходная логическая система, репрезентируемая фразой (А), всё-таки противоречивая]. Обратите внимание
Это существенный содержательный момент не учтенный вами: в большинстве логических парадоксов не генерятся два вывода - а только один, противоречащий эмпирически явным фактам (суждениям) - см. примеры парадоксов. mp_gratchev, 19 октября, 2012 - 18:36. ссылка
Этого мало. Нужно выложить на стол дискуссии сам предметный аргумент, чтобы его можно было проанализировать и уже тогда согласиться или не согласиться. А так Вы послали на деревню дедушке. Выберите хотя бы один из списка и внятно изложите его. Вам что, лень посмотреть соседние комментарии? Ладно приведу еще раз
В каждом из приведенных парадоксов вывод один. P.S. Неужели я и тут не дождусь фразы "Александр, вы были правы, в большинстве логических парадоксов не генерятся два вывода - а только один, спасибо за указанную неточность, я обязательно постараюсь исправить определение". Ну Михаил, сделайте старику приятно. Поверьте, и вам это тоже понравиться - признавать свои ошибки. Главное начать. mp_gratchev, 19 октября, 2012 - 21:42. ссылка
Парадокс Гемпеля содержит логическую ошибку. Имеем:
Надо так: "все не черные вороны не являются воронами". Поэтому все песни о некоем "увеличении уверенности от встречи с не черными предметами", а также мутное суждение "должно увеличить и его уверенность в том, что все вороны чёрные" следует отнести к не прожеванной каше во рту. Четко будет в следующей записи: Предъявили альбиноса - белую ворону.
Согласно Гемпелю, должны сказать, что белая ворона не ворона. Вот
тут-то и возникает недоумение: "Как так?!". 1. Белая ворона не ворона. Далее ищем, на каком шаге рассуждения возникла логическая ошибка. Или доказываем, что ошибки в рассуждениях не было.
Обращаюсь к духу покойного Карла Густава Гемпеля, и к родственникам
немецкого и американского философа - приношу свои извинения за то, что в
вашу сторону посыпались неожиданные оскорбления, по сути, они
предназначались мне, Александру Болдачеву, это я имел неосторожность
упомянуть парадокс "Ворон" в дискуссии с Михаилом Грачевым, а поскольку
по существу проблемы (во всех ли логических парадоксах генерятся два вывода)
Михаил ответить боится (хотя знает, что не прав), то он и разразился
бранью. Еще раз приношу свои извинения, не обижайтесь на Михаила, с ним
это бывает, когда ничего даже похожего на логические аргументы он
придумать не может. mp_gratchev, 19 октября, 2012 - 23:32. ссылка
А по существу "Итак" есть что возразить, кроме фиксации внимания на коннотациях? Очень удобно прятаться за широкую спину классика, представив его в виде оскорбленной "священной коровы", вместо того, чтобы защитить с аргументами наперевес поставленную под сомнение позицию. Вы поднимитесь по ветке чуть выше и станет ясно, что вы просто уходите от темы - вы избегаете ответить на мой тезис: "в большинстве логических парадоксов не генерятся два вывода - а только один". И навязываете обсуждение проблем парадокса, не имеющих никакого отношения к вопросу (он был упомянут в ряду парадоксов, у которых в качестве выводов есть только одно суждение). При этом вы попутно оскорбили его автора. Прошу вас вернитесь к исходной проблеме. А так же напишите, что погорячились высказавшись о покойном человеке в оскорбительной форме. Стыдно действовать такими методами. mp_gratchev, 20 октября, 2012 - 00:20. ссылка
В Вашей ситуации, за отсутствием действенных аргументов по существу, остается только стыдить собеседника (риторика нижайшего уровня).
А где аргументы в поддержку Вашего тезиса? Я же вверху предупредил, "Нужно выложить на стол дискуссии сам
предметный аргумент, чтобы его можно было проанализировать и уже тогда
согласиться или не согласиться".
Если Вам нечего возразить, то приведите другой парадокс. Только, пожалуйста, представьте внятное изложение, а не так, как получилось с Гемпелем. Пьеса Грачев: В самой системе генерируются два вывода с противоречащими результатами. Болдачев: Это существенный содержательный момент не учтенный вами: в большинстве логических парадоксов не генерятся два вывода - а только один Грачев: Этого мало. Нужно выложить на стол дискуссии сам предметный аргумент, чтобы его можно было проанализировать. Болдачев: [выкладывает три примера парадокса из вики] В каждом из приведенных парадоксов вывод один. Если этого мало - прочитайте другие парадоксы на странице . Грачев: Парадокс Гемпеля содержит логическую ошибку. ... Поэтому все песни о некоем "увеличении уверенности от встречи с не черными предметами", а также мутное суждение "должно увеличить и его уверенность в том, что все вороны чёрные" следует отнести к не прожеванной каше во рту. Болдачев: извиняется перед покойным философом за грубость Грачева. Грачев: А по существу "Итак" есть что возразить, кроме фиксации внимания на коннотациях? Болдачев: вы избегаете ответить на мой тезис: "в большинстве логических парадоксов не генерятся два вывода - а только один". И навязываете обсуждение проблем парадокса, не имеющих никакого отношения к вопросу (он был упомянут в ряду парадоксов, у которых в качестве выводов есть только одно суждение). ... Прошу вас вернитесь к исходной проблеме. А так же напишите, что погорячились высказавшись о покойном человеке в оскорбительной форме. Стыдно действовать такими методами. Грачев: [делает вид, как-будто не было трех примеров с выводом из одного суждения] А где аргументы в поддержку Вашего тезиса? ... Если Вам нечего возразить, то приведите другой парадокс. Только, пожалуйста, представьте внятное изложение, а не так, как получилось с Гемпелем. А Гемпелем получилось то, что Грачев ничего не понял в его парадоксе воронов. Парадокс, действительно сложный, но непонимание этого известного парадокса, никак не может служить аргументом для того, чтобы не признать, что у парадокса один, а не два вывода. И уж никак не может служить оправданием оскорбления умершего философа.
Где-то так. Вместо "высказывание или система высказываний, которые внутренне непротиворечивы" лучше использовать "строгое доказательство", поскольку речь идет не просто о парадоксе, а о логическом парадоксе - в котором доказательство обязательно - да и короче. Плюс, в некоторых парадоксах доказательство содержит скрытые ошибки - для включения этих парадоксов я добавил "или кажущееся строгим". mp_gratchev, 20 октября, 2012 - 10:34. ссылка
Формальная логика любит однозначность, за что и боретесь. Есть ошибка - нет ошибки. А не серединка наполовинку [добавил "или кажущееся строгим"]. Противоречите сами себе. Если признается наличие логической ошибки (скрытой или явной), то ситуация теряет статус парадокса и приобретает статус софизма. mp_gratchev, 19 октября, 2012 - 16:33. ссылка
Не пойдет. 2. Если рассуждение вступает в противоречие с законами логики, то имеем дело с софизмом, а не с парадоксом. Именно, как раз обнаружение нарушения законов логики переводит ту или иную ситуацию из статуса "парадокс" в статус "софизм".
То и значит:
Достаточно?
Где вы прочитали в моем определении, что исходное описание парадокса является суждением? (это у вас оно почему-то является противоречием). Читайте "строгое или кажущееся строгим доказательство суждения, вступающего в противоречие". Парадоксом называется доказательство - нет доказательства - нет логического парадокса.
Где вы прочитали про "рассуждение вступает в противоречие"? - в определении и слова "рассуждение" нет, ведь четко написано "суждение [вывод доказательства], вступает в противоречие" (см. примеры выше).
Не понял. Так прожуйте и проглотите :) mp_gratchev, 19 октября, 2012 - 19:26. ссылка
Если в отношении ситуации, описанной в логических терминах, доказано "противоречит закону логики о не противоречии", то ни о каком парадоксе речи не может идти - будет иметь место 'софизм'.
Но тогда и
софизм, поскольку противоречит закону логики о не противоречии. mp_gratchev, 19 октября, 2012 - 22:04. ссылка
Нет. Софизм, он под условием, что доказано "противоречит закону логики о не противоречии". А в случае рассуждения "приводящего к взаимно исключающим заключениям", имеются два противоречащих суждения, но не доказано, что они получены с нарушением закона непротиворечия. Строгое рассуждение "приводящее к взаимно исключающим заключениям" в университетском курсе логики у Бочарова и Маркова здесь: Бочаров В.А., Маркин В.И. Основы логики. - М., (МГУ) 2005, С.85-87. Повторяю вопросы, которые вы проигнорировали:
Сергей Александров, 20 октября, 2012 - 02:15. ссылка
Александр,
если у Вас соревнование с Михаилом , то я признаю за Вами
интеллектуальное превосходство. Но лукавите Вы больше чем Михаил. Все
парадоксы , которые Вы взяли из Вики, относятся к индуктивной или
модальной логике. Но если Вы признаёте существование других логик , по
мимо формальной, то что Вам мешает признать существование
диалектической?
Вы необоснованно расширяете предмет дискуссии - он не выходит за рамки обсуждения определения логического парадокса. Задача утилитарна: дать такое определение логического парадокса, под которое подходили бы все известные логические парадоксы - совершенно независимо от типа логики - формальная, индуктивная, модальная и пр., и уж точно от того, как я или Михаил представляем, что такое логика и где ее границы :). Ведь все началось с того, что Михаил привел в качестве образца определение парадокса в логике из вики, а я отметил, что определение плохое и впоследствии дал свое. То есть еще раз подчеркну речь вообще не идет о соотношении логик, а только и исключительно об определении логического парадокса. Ну а дальше вообще все примитивно - есть два вопроса на которые
Михаилу надо ответить, и которые уж точно не касаются никаких
предпочтений в логиках, а требует лишь элементарной честности: О казусе "противоречие есть рассуждение, приводящее к противоречию" я молчу - нравится он Михаилу - пусть. Тут уж у каждого свое чувство языка и логики.
И тут вы не правы. Какие ловушки? Я обсуждаю только заявленную тему, задаю вопросы по теме и прошу Михаила придерживаться ее. Если Михаил оказывается в тупике, то только по причине того, что он не хочет признать, что в каких-то моментах был не прав. А от этого еще больше запутывается.
И где тут место диалектике? При чем тут диалектика? Банальная рутинная проблема: рассмотреть максимальное число доступных логических парадоксов и попытаться корректно составить общее определение. Тут не места для лукавства. Или укажите мне конкретный момент, где я слукавил, добиваясь результата: получить максимально точное определение. Да, проблема выеденного гроша не стоит - согласовать некоторые моменты определения можно было в нескольких комментариях, но когда пошли подлоги в аргументации, попытки увести тему в сторону (скажем, на обсуждение состоятельности конкретных парадоксов), оскорбления, я решил довести дискуссию до хоть какого-то логического финала - что-то вроде открытого урока. В первую очередь урока для Михаила, поскольку нельзя уж так откровенно превращать обычное обсуждение в плохую пьесу. Спасибо за поддержку. mp_gratchev, 20 октября, 2012 - 10:54. ссылка
"нет чёткого понимания границ логики" - В частности,
путаетесь в значении "ошибка" для парадокса. Если признается наличие
логической ошибки (скрытой или явной), то ситуация теряет статус
парадокса и приобретает статус софизма. Что следует из Вашей сентенции [Плюс, в некоторых парадоксах доказательство содержит скрытые ошибки - для включения этих парадоксов я добавил "или кажущееся строгим"]. Какие в этом случае могут быть парадоксы? - Только софизмы.
Да, еще хотелось бы внести ясность в проблему интеллектуальности - интеллект в этой дискуссии абсолютно не нужен - лишь логика на уровне средних классов.
Вопрос тут не в интеллекте. Не следует так принижать умственные способности Михаила. Думаете, у него не хватает интеллекта дать ответы на все эти детские вопросы? Проблема в честности - элементарной человеческой, а самое главное философской честности. Я стараюсь быть предельно честным перед материалом, перед собеседником, перед собой - и наверное, лишь в этом мое превосходство. :) А то, что люблю буффанаду - так это, думаю, простительно - ведь так веселее, да и не обижаю никого лично. (Хотя понимаю, что для многих указание на ошибки худшее унижение, чем прямые оскорбления). А посмотрите сколько личных оскорблений на этой странице сделал Михаил... И не только мне, но и умершему философу. Все от нечестности. Даже покойному привести извинения не хватает духа. mp_gratchev, 20 октября, 2012 - 13:06. ссылка
С рефери не спорят. Только уточняют. Время от времени будируется вопрос о нравственном превосходстве ("Проблема в честности - элементарной человеческой, а самое главное философской честности"): один-де честный, а другой нет. mp_gratchev, 20 октября, 2012 - 14:28. ссылка
Любит Александр Болдачев апеллировать к знания школьников. Ученик средних классов также знает, что в процессе рассуждения следует соблюдать закон тождества. Если говорю о чёрных воронах в первом предложении, то не вправе во втором предложении говорить о "черных предметах". Подмена рода видом есть логическая ошибка. А что Болдачев? Он сочувственно цитирует из Вики на тему парадокса "Ворон" следующее: "Предположим, что существует теория, согласно которой все вороны чёрные. Согласно формальной логике, эта теория эквивалентна теории, что все предметы, не являющиеся чёрными, не являются воронами". http://www.philosophystorm.org/mp_gratchev/2995#comment-29682 Ученик средних классов, знакомый с законом тождества, посмотрев на предъявленный Болдачевым текст, вполне резонно заявит: "Что мне тут впаривают?" - "Сначала речь шла о чёрных воронах, а в следующем за ним предложении о чёрных предметах". Но какое дело Болдачеву? Он некритически лишь воспроизводит чужой
печатный текст. На этом месте школьник закрывает Болдачева и идет
смотреть пьесу Грибоедова "Горе от ума". Сергей Александров, 20 октября, 2012 - 14:32. ссылка
Михаил, знаете почему белым воронам достаётся? Если чёрный ворон видит что-то чёрное,то он может предположить, что это возможно ворон. Но если он видит, что-то белое, красное,сиреневое, короче не чёрное,то он точно знает , что это не ворон. И былый ворон, даже если он ворон не сможет среди чёрных воронов стать своим. "Если не чёрный, то точно не ворон!"( Аксиома чёрного ворона) Сергей Александров, 19 октября, 2012 - 19:36. ссылка
Если честно говоря, я не понял в чём парадокс "Ворон" mp_gratchev, 19 октября, 2012 - 22:06. ссылка
Согласен. Мутный парадокс. И подан собеседником на рабочий стол дискуссии с не прожёванной кашей во рту. Разъяснение здесь: Парадокс - неожиданное явление, не соответствующее обычным представлениям.
Тут четкое условие - речь идет о логических парадокса (парадоксах в логике). Тут чётко сказано: не всё ладно в формальной логике. Сергей Александров, 19 октября, 2012 - 17:50. ссылка
Расширьте понятие "летать" и всё у вас получиться. Дискуссия
о парадоксе началась на блоге Борчикова "Метафизические иллюзии (часть
4)" с комента Грачева, где было приведено синтетическое определение
парадокса. Это определение было раскритиковано и теперь дискуссия идет
на отдельном блоге. Начиналось с простого определения парадокса как
наличия двух взаимоисключающих сужденийоб одном предмете.
mp_gratchev, 19 октября, 2012 - 23:03. ссылка
Текст прикрепленного файла от Пермский, 19 октября, 2012 - 22:07. ссылка
В данном тексте, на мой взгляд, ничего такого о парадоксе не говорится. Поясните, пожалуйста, где здесь решение парадокса? Поясню на примере парадокса Зенона о неподвижной в полете стрелы. Евгений Волков, 19 октября, 2012 - 23:47. ссылка
В мире нет и быть не может ни каких парадоксов, как взаимоисключающих суждений об одном предмете. Есть лишь непонимание тех или иных явлений. Сергей Александров, 19 октября, 2012 - 17:27. ссылка
Парадоксы случаются и выводах физиков. Например парадокс близнецов, или полудохлая кошка. Но они не отменяют теории. Просто есть над чем задуматься. mp_gratchev, 20 октября, 2012 - 01:15. ссылка
По поводу Парадокса Гемпеля. В действительности там два взаимно отрицающих суждения: 1. Белая ворона не ворона. "Доказательство одноцветности всех лошадей". Сама Вики слово "доказательство" берет в иронических кавычках. Подсовываете заведомо ошибочное доказательство.
Вот описание Парадокс воронов
Где вы тут нашли про "белую ворону"?
Во-первых, не в доказательстве дело, а в количестве выводов в парадоксе - сколько их там? То есть вы настаиваете на тезисе, что во всех логических парадоксах два противоречащих друг другу вывода? Да или нет? А за вами еще ответ про дом и извинения перед Гемпелем - я переживу, а он уже нет. Сергей Александров, 20 октября, 2012 - 02:25. ссылка
"интуитивному
восприятию ситуации человеком — в реальной жизни так не происходит" -
это вывод из логического суждения? Но причём здесь интуиция? Причём
здесь восприятие? Причём здесь реальная жизнь? Повторю, вы не понимаете суть проблемы. Какое нам дело до содержания самих парадоксов - они есть такие как есть: приведены в учебниках, энциклопедиях, в той же вики. Я их не придумываю и у меня нет цели их анализировать с позиции доказательности или какой другой. Задача одна - сформулировать определение, под которое подойдет максимальное число известных парадоксов. Если они кому-то не нравятся - это отдельная проблема. Ну и потом, прочитайте, что вы пишите
Вами процитирован не вывод, а эмпирическое суждение, которое фиксирует реальные ощущения человека.
И тут подумайте: причем тут противоречие в реальности? речь идет о противоречие между двумя суждениями: одно выведено из парадокса, а второе эмпирическое. Понятнее на парадоксе с лошадями: парадокс якобы доказывает, что все лошади одного цвета, а эмпирическое суждение (наш опыт) говорит лошади разного цвет. Вот и противоречие, на котором основан парадокс. Что здесь сложного? mp_gratchev, 20 октября, 2012 - 04:45. ссылка
Мой комментарий здесь: mp_gratchev, 20 октября, 2012 - 04:24. ссылка
Текст из Вики:
Про белую ворону в Вики действительно нет. Про белую ворону написано у меня в качестве контр довода. В самом деле. Если Вы отлистаете вверх, то прочтете: mp_gratchev пишет:
Белая ворона - не фантазия, а реальный факт:
Вот против чего Вам следует возражать. И защищать позицию, приведенную в Вики (тезис А). К сожалению, слепо следуете за Вики. Поэтому и белую ворону в упор не видите, поскольку в Вики о ней ничего не говорится. Тезис А: После того как защитите тезис А (или признаете верность тезиса не-А), поговорим уже о самом парадоксе по существу. В последнем случае всё-таки придется рассмотреть два ранее приведенных суждения: 1. Белая ворона не ворона.
Ну, здесь коль скоро вошли в дискурс о парадоксе, то будьте готовы к необходимости изложить собственное мнение, а не следовать патефонной иглой по озвученному тексту Вики.
Поэтому без разбора валите в одну кучу "Доказательство одноцветности всех лошадей", которое по признанию самой Вики доказательством не является. И после этого, ещё беретесь утверждать о наличии/отсутствии в парадоксе противоречащих суждений, не вникая в суть дела.
Как же Вы будете формулировать определение, не владея предметом (или владеть на уровне патефонной иглы)?
Противоречие в реальности не видите так же, как не видите в упор белую ворону.
Конечно есть. Противоречие их суть. В том числе апорий - вымышленных
парадоксов. Они, те и другие, отличаются от банальных ситуаций с
противоречиями тем, что диковинны, поражают, как говорится, воображение.
К ним не подходит обычное решение... Что Вы, Михаил Петрович,
убедительно доказали: парадокс - это формально-логическое противоречие,
которое возникает в формальной логике (и теории множеств) при сохранении
логической правильности хода рассуждений. Например. Остаётся вскрыть причину возникновения противоречий в формальной логике... mp_gratchev, 20 октября, 2012 - 04:51. ссылка
Моя гипотеза такая. Формальная логика представляет собой зауженную модель рационального мышления. И там, где требуется выход в более широкую область рациональности, там у формальной логики не хватает ни средств, ни понятийного аппарата. Парадоксы - это болевые точки формальной логики.
Согласен. Надежда на диалектическую. Поясню на примере парадокса Зенона о неподвижной в полете стрелы.
Для наглядности другой пример: шагающий человек. На одну ногу
опирается (покой) - другую выносит вперёд (движение)... далее, опирается
на неё, а выносит ту, что осталась позади него. За время шага центр
тяжести тела перемещается по дуге. Так же перемещается центр тяжести
стрелы... Полёт стрелы олицетворяет собой один шаг человека. mp_gratchev, 20 октября, 2012 - 11:13. ссылка
Хороший пример. Именно так перемещается циркуль по линейке ( в задачах на построение циркуль и линейка считались идеальными инструментами у античных греков). Предлагаю перейти к следующему аспекту понятия парадокса в его определении, вытекающем из недостаточного знания о предмете исследования. Предлагаю следующий вариант парадокса (как следствия недостаточности знаний). Полет шмеля по известным законам физики невозможен, но шмель, тем не менее летает, хотя не должно хватать (по теории) подъемной силы. (если я отстал от развития науки в вопросе полета шмеля, поправьте меня) Смотрел фильм, в котором раскрывалась тайна шмеля. Суть дела в том, что он машет крыльями и ещё одновременно их поворачивает. Какая там механика - не знаю, но так создаётся подъёмная сила как у крыла самолёта: сверху низкое давление, снизу высокое. Сергей Александров, 20 октября, 2012 - 12:51. ссылка
Логически А всегда тождественна А. Продолжение плохой пьесы:
Болдачев:
Акт 2 Грачев:
Болдачев:
Грачев:
Немая сцена
Зрители в недоумении: спектакль закончился или еще будет третий акт? Болдачев:
Опускается занавес mp_gratchev, 20 октября, 2012 - 11:08. ссылка
"Он стал поэтом - для математики у него не хватило фантазии" (крылатое выражение).
См. последние три записи в моем блоге :)
Если так, то все посетительницы дамской комнаты - женщины. Все другие - не женщины. mp_gratchev, 20 октября, 2012 - 15:52. ссылка
Но тут патефонную иглу "заело" и, чтобы не терять время,
собеседник уселся за сочинение пьесы "Страдания юного неофита старого
Хемпеля":
Болдачев:
Зрители в недоумении: Здесь что? Спектакль в спектакле?
Зрители аплодируют стоя. На сцену выходит соавтор пьесы и раскланивается.
Философский штурм | Совместное философское творчество © 2006-2012 ** |
Болдачев:
Какое нам дело до содержания самих парадоксов - они есть такие как есть: приведены в учебниках, энциклопедиях, в той же вики.
Грачев:
Ну, здесь коль скоро вошли в дискурс о парадоксе, то будьте готовы к необходимости изложить собственное мнение, а не следовать патефонной иглой по озвученному тексту Вики.
Но тут патефонную иглу "заело" и, чтобы не терять время, собеседник уселся за сочинение пьесы
"Страдания юного неофита по Хемпелю"
Завязка пьесы: предъявлена Википедийная формулировка парадокса в логике.
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса в отличие от паралогизма и софизма не обнаружена пока из-за несовершенства существующих методов логики
(Болдачев Грачеву):
Болдачев:
Ну что ж вы такой упертый :)) Возьмите все формулировки логических парадоксов со страницы список парадоксов:Парадокс импликации: Несовместные посылки делают аргумент верным.
Парадокс воронов (или Вороны Хемпеля): Существование красного яблока увеличивает вероятность того, что все вороны чёрные.
Первый акт заканчивался так
Грачев:
Только, пожалуйста, представьте внятное изложение, а не так, как получилось с Гемпелем.
Болдачев:
А Гемпелем получилось то, что Грачев ничего не понял в его парадоксе воронов. Парадокс, действительно сложный, но непонимание этого известного парадокса, никак не может служить аргументом для того, чтобы не признать, что у парадокса один, а не два вывода. И уж никак не может служить оправданием оскорбления умершего философа.
Жуткое "оскорбление": было указано на подмену 'черных воронов' черными 'предметами'.
Акт 2
Грачев:
По поводу Парадокса Гемпеля. В действительности там два взаимно отрицающих суждения:
1. Белая ворона не ворона.
2. Неверно, что "Белая ворона не ворона" (ворона любого цвета есть ворона).
Болдачев:
[приводит описание парадокса воронов...]
"Предположим, что существует теория, согласно которой все вороны чёрные. Согласно формальной логике, эта теория эквивалентна теории, что все предметы, не являющиеся чёрными, не являются воронами". http://www.philosophystorm.org/mp_gratchev/2995#comment-29682[комментирует]
интеллект в этой дискуссии абсолютно не нужен - лишь логика на уровне средних классов.
Грачев:
Ученик средних классов, знакомый с законом тождества, посмотрев на предъявленный Болдачевым текст, вполне резонно заявит: "Что мне тут впаривают?" - "Сначала речь шла о чёрных воронах, а в следующем за ним предложении о чёрных предметах".Но какое дело Болдачеву? Он некритически лишь воспроизводит чужой печатный текст. На этом месте школьник закрывает Болдачева и идет смотреть пьесу Грибоедова "Горе от ума".
Зрители в недоумении: Здесь что? Спектакль в спектакле?
Болдачев:
Вот поэтому я никогда не ссылаюсь на вику - ну если это не касается ударения в фамилии или координат географического места (хотя и там встречаются ляпы).
(в сторону: а тут как черт попутал)
Грачев:
Про белую ворону в Вики действительно нет. Про белую ворону написано у меня в качестве контр довода.
Немая сцена: в Вики про факт существования белой-то вороны как раз и забыли. А это в контексте "Ворона" делает все рассуждения о неких "черных предметах" вокруг хохмы, что мол "Существование красного яблока увеличивает вероятность того, что все вороны чёрные", логически ничтожными.
Грачев:
Итак.
В обсуждаемой дефиниции определяемое слово 'парадокс' подведено под более общее понятие - философскую категорию "противоречие". Противоречие - это сущностное отношение. Оно не светится на поверхности, лежит в основании (фундаменте) диалектической ситуации, в частности, - в ситуации парадокса. Что демонстрирует и формулировка определения парадокса, и содержание конкретных парадоксов.
Зрители аплодируют стоя. На сцену выходит соавтор пьесы и раскланивается.
Болдачев:[демонический голос сверху] Парадокс не есть противоречие, то есть буквально не "отношение двух суждений, каждое из которых является отрицанием другого" - парадокс приводит к противоречию или к противоречиям. Противоречие не может иметь никакого статуса - у него один статус "быть противоречием". Тем более противоречие не может иметь статус корректного вывода. Ну и понятно, что противоречие не может быть рассуждением. А так получили: "это противоречие ... приводящее к взаимно исключающим заключениям" - полная бессмыслица. Не надо было синтезировать :))) http://www.philosophystorm.org/sergei_borchikov/2992#comment-29526
Итого от Болдачева:
Болдачев:
Вот вам предельно точное и объемлющее определение парадокса в логике(1) Парадокс в логике - строгое или кажущееся строгим доказательство суждения, вступающего в противоречие с очевидными эмпирическим суждениям и законами логики.
Акт 3. Синтез:
Грачев:
Лаконичное определение (1) хорошо вписывается в понятие апории:(1.1) Апория - строгое или кажущееся строгим доказательство суждения, вступающего в противоречие с очевидными эмпирическими суждениями.
На основании определения (1.1) можно сортировать (сепарировать) парадоксы и апории. Всё, что противоречит опыту, хотя и представляет собой строгое логическое доказательство, есть не парадокс, а апория.
За парадоксом же, закрепляется именно внутреннее противоречие логической системы, которое выражается в выводе, хотя и логически строгом, взаимно исключающих суждений.
Опускается занавес
Зрители пошли в буфет
*