Парадокс (грец. Paradoxos - несподіваний, дивний) - в широкому сенсі: твердження, що різко розходиться з загальноприйнятим, усталеною думкою, заперечення того, що представляється "безумовно правильним"; в більш вузькому сенсі - два протилежних твердження, для кожного з яких є переконливі аргументи.
Парадоксально в широкому сенсі афоризми, подібні "Люди жорстокі, але людина добра", будь-які думки й судження, що протистоять загальновідомого, "ортодоксальному". Парадоксальним здавався свого часу закон всесвітнього тяжіння І. Ньютона, яка об'єднувала такі різні види руху, як падіння яблука і рух планет по орбітах. Безсумнівний відтінок П. мала і хвильова теорія світла, що стверджувала, що в центрі тіні, що відкидається невеликим непрозорим диском, має бути світла пляма.
Прискорення процесу розвитку науки привело до того, що парадоксальність стала однією з характерних рис сучасного наукового пізнання. Якщо ще сто років тому П. сприймаються як прикру перешкоду на шляху пізнання, то зараз стало ясно, що найбільш глибокі і складні проблеми нерідко встають в остропарадоксальной формі.
Особливу роль П. грають в логіці. Вони свідчать про те, що звичні прийоми теоретичного мислення самі по собі не забезпечують надійного просування до істини. П. можна розглядати як критику логіки в її наївній, інтуїтивної формі.
П. грають роль фактора, який контролює і ставить обмеження на шляху конструювання логічних систем. І тут їх можна порівняти з експериментом, перевіряючим правильність систем таких наук, як, напр. фізика і хімія, і які змушують вносити в них зміни.
П. в логічній теорії говорить про несумісність припущень, що лежать в її основі. Він виступає як своєчасно виявлений симптом хвороби, без якого останню можна було б довгий час не помічати.
Найбільш відому і складну групу П. становлять антиномії. У їх числі: антиномія "брехуна", антиномія Рассела, антиномія Греллінга - Нельсона і ін.
Дещо осібно стоїть знаменитий П. "Протагор і Еватл" і такі його версії, як "Крокодил і мати", "Санчо Панса" і ін. За переказами, філософ-софіст Протагор (5 ст. До н.е.) уклав зі своїм учнем Еватл договір: Еватл, що навчався праву, повинен заплатити за навчання лише в тому випадку, якщо виграє свій перший судовий процес. Закінчивши навчання, Еватл не став, однак, брати участь в процесах. Протагор подав на нього в суд, так аргументуючи свою вимогу: "Яким би не був результат суду, Еватл повинен буде заплатити. Він або виграє цей свій перший процес, або програє. Якщо виграє, то заплатить в силу укладеного договору. Якщо програє, заплатить згідно з рішенням суду ". На це Еватл відповів: "Якщо я виграю, рішення суду звільнить мене від обов'язку сплачувати. Якщо суд буде не на мою користь, це буде означати, що я програв свій перший процес і не заплачу в силу договору".
Якщо під рішенням даного спору розуміти відповідь на питання, повинен Еватл сплатити Протагору чи ні, то очевидно, що суперечка недозволено. Договір вчителя і учня внутрішньо суперечливий і вимагає реалізації логічно неможливого положення: Еватл повинен одночасно і сплатити за навчання, і разом з тим не платити.
Антиномії і подібні до них П. є міркуваннями, підсумок яких - протиріччя. У логіці відомі і багато ін. Типи П. Вони також вказують на якісь труднощі і проблеми, але роблять це в менш різкій формі. Особливий інтерес серед них представляють П. неточних, або розмитих, імен. В цьому випадку не ясно, які саме предмети підпадають під ту чи іншу назву, а які ні (див. Неточність).
Аналіз П. сприяв проясненню підстав логіки, вдосконалення конкретних її теорій. Що стосується центральних логічних антиномій, то в логіці знайдені досить ефективні методи їх усунення. Ще не відкрито жодного П. для якого не було б знайдено жодного рішення.
Допомога пошукових систем