Непознаваемость

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

Николас Решер представляет новейшую целенаправленную исследовательскую работу в этой области в книге « Непознаваемость: исследование пределов знания» . ^[1] где он предложил три категории высокого уровня: логическую непознаваемость, концептуальную непознаваемость и принципиальную непознаваемость.

Фон

Рассуждения о том, что познаваемо и непознаваемо, были частью философской традиции с момента зарождения философии. В частности, Баруха Спинозы . теория атрибутов ^[2] утверждает, что ограниченный разум человека не может понять бесконечную субстанцию; соответственно, бесконечная субстанция, как она есть сама по себе, в принципе непознаваема для конечного разума.

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

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

Категории непознаваемости Решера

Решер разделяет непознаваемость на три основные категории:

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

Принципиальная непознаваемость также может быть связана с необходимостью большего количества энергии и материи, чем доступно во Вселенной для ответа на вопрос, или из-за фундаментальных причин, связанных с квантовой природой материи. В физике специальной и общей теории относительности световой конус отмечает границу физически познаваемых событий. ^[3]^[4]

Проблема остановки

Проблема остановки, а именно проблема определения того, завершат ли когда-нибудь произвольные компьютерные программы, является ярким примером непознаваемости, связанной с устоявшейся математической областью теории вычислимости . В 1936 году Алан Тьюринг доказал, что проблема остановки неразрешима. Это означает, что не существует алгоритма, который мог бы принять программу на вход и определить, остановится ли она. В 1970 году Юрий Матиясевич доказал, что диофантова проблема (тесно связанная с десятой проблемой Гильберта ) также неразрешима, сведя ее к проблеме остановки. ^[5] Это означает, что не существует алгоритма, который мог бы принять на вход диофантово уравнение и всегда определить, имеет ли оно решение в целых числах.

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

В принципе, многие проблемы можно свести к проблеме остановки. См. список неразрешимых проблем .

Теоремы Гёделя о неполноте демонстрируют неявную принципиальную непознаваемость методов доказательства непротиворечивости и полноты основных математических систем.

Связанные понятия

Существуют различные степени непознаваемости, связанные с рамками обсуждения. Например:

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

Лечение знаний было широким и разнообразным. Arc.Ask3.Ru сама по себе является инициативой по сбору и записи знаний с использованием современных технологических инструментов. Более ранние попытки собрать и записать знания включали написание глубоких трактатов по конкретным темам, а также использование энциклопедий для организации и обобщения целых областей или всей совокупности человеческих знаний.

Пределы знаний

Сопутствующая тема, которая часто возникает, — это «Пределы знаний».

Примеры научных дискуссий, затрагивающих пределы знаний, включают:

Конец науки Джона Хоргана : столкновение с пределами знаний на закате научной эпохи . ^[6]

Тавел Мортон «Современная физика и пределы познания» . ^[7]

Кристофер Черняк. Пределы познания . ^[8]

Ignoramus et ignorabimus — латинская максима, означающая «мы не знаем и не будем знать», популяризированная Эмилем дю Буа-Реймоном . Провозглашение Буа-Реймона ignorabimus было сочтено Дэвидом Гильбертом неудовлетворительным и побудило Гильберта объявить на Международном конгрессе математиков 1900 года , что ответы на математические проблемы возможны с помощью человеческих усилий. Он заявил: «В математике нет невежд ». ^[9]. На проблему остановки и на диофантову проблему в конечном итоге был дан ответ, продемонстрировав принципиальную непознаваемость ответов на некоторые фундаментальные математические вопросы, а это означает, что утверждение Буа-Реймона на самом деле было правильным.

Григорий Чайтин обсуждает непознаваемость во многих своих работах.

Категории неизвестных

Популярная дискуссия о непознаваемости выросла после использования фразы « Есть неизвестные неизвестные» , произнесенной министром обороны США Дональдом Рамсфельдом на брифинге 12 февраля 2002 года. Помимо неизвестных неизвестных, существуют известные неизвестные и неизвестные известные. Эти метки категорий появились при обсуждении идентификации химических веществ. ^[10]^[11]^[12]

Теория хаоса

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

Ссылки

^ Решер, Николас. Непознаваемость: исследование пределов познания. Лексингтонские книги, 2009. https://www.worldcat.org/title/298538038.
^ «Теория атрибутов Спинозы» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета. 2018.
^ Хилари Патнэм, Время и физическая геометрия, Философский журнал, Vol. 64, № 8 (27 апреля 1967 г.), стр. 240–247 https://www.jstor.org/stable/2024493 https://doi.org/10.2307/2024493
^ Джон М. Майерс, Ф. Хади Маджид, «Логическая синхронизация: как доказательства и гипотезы управляют атомными часами», Proc. SPIE 9123, Квантовая информация и вычисления XII, 91230T (22 мая 2014 г.); https://doi.org/10.1117/12.2054945
^ Матий︠а︡севич И︠У︡. Десятая проблема В. Гильберта. MIT Press, 1993. https://www.worldcat.org/title/28424180.
^ Хорган, Джон. Конец науки: лицом к лицу с пределами знаний на закате научной эпохи. Паб Addison-Wesley, 1996. https://www.worldcat.org/title/34076685.
^ Тавель, Мортон. Современная физика и пределы познания. Издательство Университета Рутгерса, 2002. https://www.worldcat.org/title/47838409 .
^ Черняк, Кристофер. «Границы познания». Философские исследования: Международный журнал философии в аналитической традиции 49.1 (1986): 1–18. https://www.jstor.org/stable/4319805
^ Гильберт, Дэвид (1902). «Математические проблемы: лекция, прочитанная перед Международным конгрессом математиков в Париже в 1900 году» . Бюллетень Американского математического общества . 8 : 437–79. дои : 10.1090/S0002-9904-1902-00923-3 . МР 1557926 .
^ Литтл, Джеймс Л. (2011). «Идентификация «известных неизвестных» с использованием точных массовых данных и ChemSpider» (PDF) . Журнал Американского общества масс-спектрометрии . 23 (1): 179–185. дои : 10.1007/s13361-011-0265-y . ПМИД 22069037 .
^ МакИхран, Эндрю Д.; Собус, Джон Р.; Уильямс, Энтони Дж. (2016). «Идентификация известных неизвестных с использованием информационной панели CompTox Chemistry Dashboard Агентства по охране окружающей среды США». Аналитическая и биоаналитическая химия . 409 (7): 1729–1735. дои : 10.1007/s00216-016-0139-z . ПМИД 27987027 . S2CID 31754962 .
^ Шимански, Эмма Л .; Уильямс, Энтони Дж. (2017). «Открытая наука для идентификации «известных неизвестных» химических веществ» . Экологические науки и технологии . 51 (10): 5357–5359. Бибкод : 2017EnST...51.5357S . дои : 10.1021/acs.est.7b01908 . ПМК 6260822 . ПМИД 28475325 .

Дальнейшее чтение

Чайтин, Грегори Дж. Непознаваемое. Springer Science & Business Media, 1999. https://www.worldcat.org/title/41273107.
ДеНикола, Дэниел Р. Понимание невежества: удивительное влияние того, чего мы не знаем. МИТ Пресс, 2017.
https://www.worldcat.org/search?q=ti%3A%22limits+of+knowledge%22

[1] Решер, Николас. Непознаваемость: исследование пределов познания. Лексингтонские книги, 2009. https://www.worldcat.org/title/298538038.

[2] «Теория атрибутов Спинозы» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета. 2018.

[3] Хилари Патнэм, Время и физическая геометрия, Философский журнал, Vol. 64, № 8 (27 апреля 1967 г.), стр. 240–247 https://www.jstor.org/stable/2024493 https://doi.org/10.2307/2024493

[4] Джон М. Майерс, Ф. Хади Маджид, «Логическая синхронизация: как доказательства и гипотезы управляют атомными часами», Proc. SPIE 9123, Квантовая информация и вычисления XII, 91230T (22 мая 2014 г.); https://doi.org/10.1117/12.2054945

[5] Матий︠а︡севич И︠У︡. Десятая проблема В. Гильберта. MIT Press, 1993. https://www.worldcat.org/title/28424180.

[6] Хорган, Джон. Конец науки: лицом к лицу с пределами знаний на закате научной эпохи. Паб Addison-Wesley, 1996. https://www.worldcat.org/title/34076685.

[7] Тавель, Мортон. Современная физика и пределы познания. Издательство Университета Рутгерса, 2002. https://www.worldcat.org/title/47838409 .

[8] Черняк, Кристофер. «Границы познания». Философские исследования: Международный журнал философии в аналитической традиции 49.1 (1986): 1–18. https://www.jstor.org/stable/4319805

[9] Гильберт, Дэвид (1902). «Математические проблемы: лекция, прочитанная перед Международным конгрессом математиков в Париже в 1900 году» . Бюллетень Американского математического общества . 8 : 437–79. дои : 10.1090/S0002-9904-1902-00923-3 . МР 1557926 .

[10] Литтл, Джеймс Л. (2011). «Идентификация «известных неизвестных» с использованием точных массовых данных и ChemSpider» (PDF) . Журнал Американского общества масс-спектрометрии . 23 (1): 179–185. дои : 10.1007/s13361-011-0265-y . ПМИД 22069037 .

[11] МакИхран, Эндрю Д.; Собус, Джон Р.; Уильямс, Энтони Дж. (2016). «Идентификация известных неизвестных с использованием информационной панели CompTox Chemistry Dashboard Агентства по охране окружающей среды США». Аналитическая и биоаналитическая химия . 409 (7): 1729–1735. дои : 10.1007/s00216-016-0139-z . ПМИД 27987027 . S2CID 31754962 .

[12] Шимански, Эмма Л .; Уильямс, Энтони Дж. (2017). «Открытая наука для идентификации «известных неизвестных» химических веществ» . Экологические науки и технологии . 51 (10): 5357–5359. Бибкод : 2017EnST...51.5357S . дои : 10.1021/acs.est.7b01908 . ПМК 6260822 . ПМИД 28475325 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]