Я постоянно сталкиваюсь с этим термином и был бы признателен, если бы кто-нибудь мог дать мне его определение, а также привести соответствующий пример.
Термин « эпистемическая замкнутость » используется в эпистемологии. Агент удовлетворяет замкнутости, когда он удовлетворяет следующему условию:
Вот пример агента, не способного выполнить закрытие:
В каком-то смысле это кажется довольно очевидным принципом. Но есть две причины отрицать это.
Во-первых, эпистемическая завершенность — важная часть скептических аргументов .
Во-вторых, выполнение эпистемического замыкания означает знание всех логических истин: знание всех истин математики. Так что это явно слишком сильный принцип вообще.
В более общем смысле «закрытие» в этом смысле означает что-то вроде «завершенности». Таким образом, в логике набор предложений «закрыт по следствию», если выполняется следующее условное условие:
В математике можно встретить людей, говорящих о множествах, «замкнутых относительно операции». Таким образом, набор чисел «закрыт от сложения», если a + b находится в наборе всякий раз, когда есть a и b .
Когда P подразумевает Q, Q является аспектом P. Пример с использованием вторника показывает это: будний день является неотъемлемой частью «вторника». Это означает: P (вторник) включает Q (будний день/не выходной). Дедукция может быть неисследованной, но все же познаваемой. Вторник может быть праздником или днем голосования и т. Д. Итак, если P подразумевает Q, знание P позволяет узнать все примеры Q. «Закрытие» в «эпистемическом закрытии» означает знание «всех возможных Q». Иногда «эпистемическое завершение» используется вместо того, чтобы сказать «ограниченный кругозор»: если вы знаете P, вы «выбираете не знать» Q.
Вот статья в New York Times об этом понятии; обратите внимание, что этот термин на самом деле не так часто используется в академической философии, а скорее в консервативной политической идеологии.
Джозеф Вайсман
пользователь 2664