Уверенность

Вера без сомнений в суждения, которые на самом деле истинны

Определенность (также известная как эпистемическая определенность или объективная определенность ) — это эпистемическое свойство убеждений , в которых у человека нет рациональных оснований сомневаться. [1] Один из стандартных способов определения эпистемической определенности заключается в том, что убеждение определенно тогда и только тогда, когда человек, придерживающийся этого убеждения, не мог ошибаться, придерживаясь этого убеждения. Другие общие определения определенности включают несомненную природу таких убеждений или определяют определенность как свойство этих убеждений с максимально возможным обоснованием . Определенность тесно связана со знанием , хотя современные философы склонны рассматривать знание как имеющее более низкие требования, чем определенность. [1]

Важно отметить, что эпистемическая уверенность — это не то же самое, что психологическая уверенность (также известная как субъективная уверенность или убежденность ), которая описывает наивысшую степень, в которой человек может быть убежден в истинности чего-либо. Хотя человек может быть полностью убежден в истинности определенного убеждения и даже может быть психологически неспособен принять его ложность, это не означает, что само убеждение находится вне рациональных сомнений или не может быть ложным. [2] Хотя слово «уверенность» иногда используется для обозначения субъективной уверенности человека в истинности убеждения, философов в первую очередь интересует вопрос о том, достигают ли какие-либо убеждения когда-либо объективной определенности.

Философский вопрос о том, можно ли когда-либо быть по-настоящему уверенным в чем-либо, широко обсуждался на протяжении столетий. Многие сторонники философского скептицизма отрицают, что уверенность возможна, или утверждают, что она возможна только в априорных областях, таких как логика или математика. Исторически многие философы считали, что знание требует эпистемической уверенности, и, следовательно, необходимо иметь непогрешимое обоснование, чтобы считаться знающим истинность предложения. Однако многие философы, такие как Рене Декарт, были обеспокоены вытекающими из этого скептическими последствиями, поскольку весь наш опыт, по крайней мере, кажется совместимым с различными скептическими сценариями . Сегодня общепризнанно, что большинство наших убеждений совместимы с их ложностью и, следовательно, подвержены ошибкам , хотя статус уверенности по-прежнему часто приписывается ограниченному кругу убеждений (например, « Я существую »). Очевидная ошибочность наших убеждений привела многих современных философов к отрицанию того, что знание требует уверенности. [1]

Людвиг Витгенштейн – 20 век

Если бы вы попытались усомниться во всем, вы бы не дошли до сомнений ни в чем. Игра в сомнения сама по себе предполагает определенность.

«О достоверности» — серия заметок, сделанных Людвигом Витгенштейном незадолго до его смерти. Основная тема работы — то, что контекст играет роль в эпистемологии. Витгенштейн на протяжении всей работы утверждает антифундаменталистское послание: каждое утверждение может быть подвергнуто сомнению, но достоверность возможна в рамках. «Функция [предложений] в языке — служить своего рода рамками, в которых эмпирические предложения могут иметь смысл». [3]

Степени уверенности

Физик Лоуренс М. Краусс предполагает, что необходимость определения степеней уверенности недооценивается в различных областях, включая разработку политики и понимание науки. Это происходит потому, что разные цели требуют разных степеней уверенности, а политики не всегда осознают (или не дают ясно понять), с какой степенью уверенности мы работаем. [4]

Рудольф Карнап рассматривал уверенность как вопрос степени («степени уверенности»), которую можно объективно измерить, причем степень одна — это уверенность. Байесовский анализ выводит степени уверенности, которые интерпретируются как мера субъективной психологической веры .

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

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

Фундаментальный кризис математики

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

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

Одна за другой попытки предоставить неопровержимые основы математики страдали от различных парадоксов (например, парадокса Рассела ) и были непоследовательными .

Различные школы мысли противостояли друг другу. Ведущей школой была школа формалистского подхода , главным сторонником которого был Дэвид Гильберт , достигшая кульминации в так называемой программе Гильберта , которая стремилась обосновать математику на небольшом базисе формальной системы, надежность которой доказана метаматематическими финитными средствами. Главным оппонентом была интуиционистская школа во главе с Л. Э. Брауэром , которая решительно отвергла формализм как бессмысленную игру с символами. [5] Борьба была ожесточенной. В 1920 году Гильберту удалось добиться исключения Брауэра, которого он считал угрозой математике, из редколлегии Mathematische Annalen , ведущего математического журнала того времени.

Теоремы Гёделя о неполноте , доказанные в 1931 году, показали, что существенные аспекты программы Гильберта не могут быть достигнуты. В первом результате Гёделя он показал, как построить для любой достаточно мощной и непротиворечивой конечно аксиоматизируемой системы — такой, которая необходима для аксиоматизации элементарной теории арифметики  утверждение, истинность которого может быть доказана, но которое не следует из правил системы. Таким образом, стало ясно, что понятие математической истины не может быть сведено к чисто формальной системе, как это предусмотрено в программе Гильберта. В следующем результате Гёдель показал, что такая система недостаточно мощна для доказательства своей собственной непротиворечивости, не говоря уже о том, что более простая система могла бы выполнить эту работу. Это доказывает, что нет никакой надежды доказать непротиворечивость какой-либо системы, содержащей аксиоматизацию элементарной арифметики, и, в частности, доказать непротиворечивость теории множеств Цермело–Френкеля (ZFC), системы, которая обычно используется для построения всей математики.

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

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

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

Смотрите также

Ссылки

  1. ^ abc "Certainty". Стэнфордская энциклопедия философии . Получено 12 июля 2020 г.
  2. ^ Рид, Барон. «Определенность». plato.stanford.edu . Получено 22 июля 2022 г.
  3. ^ Витгенштейн, Людвиг . «О достоверности». SparkNotes .
  4. ^ "центр вопросов, SHA – когнитивные инструменты". edge.com. Архивировано из оригинала 2013-12-05 . Получено 2011-03-03 .
  5. ^ Майкл Халлетт (1994). "Аксиоматический метод Гильберта и законы мышления". В Alexander George (ред.). Mathematics and Mind . Oxford University Press. стр. 195, примечание 62. ISBN 0195079299.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Certainty&oldid=1186506545"