Principio epistémico según el cual el conocimiento está cerrado bajo implicación lógica conocida: si un sujeto sabe p, y sabe que p implica lógicamente q (y puede deducir q competentemente), entonces está en posición de saber q, salvo factores que lo defean.

Principio

El conocimiento puede transmitirse a través de consecuencias válidas reconocidas: poseer una creencia justificada de p y reconocer justificadamente que p implica q confiere derecho prima facie a q, sujeto a defeaters como la falta de conciencia de la implicación, evidencia que la refuta o incompetencia para razonar.

Demostración

Escenario ilustrativo → Reconocimiento → Acción → Consecuencia: Una conductora sabe que tiene la llave en el bolsillo (Reconocimiento) y sabe que si la llave está en el bolsillo entonces puede arrancar su coche (implicación reconocida). Por ello está justificada para creer que podrá arrancar el coche esta mañana (Acción). Si no existen defeaters (p. ej. razones para creer que el coche está averiado), su creencia inferida está justificada (Consecuencia).

Aplicación incorrecta

Usar el cierre para deducir conclusiones escépticas encadenando conocimientos ordinarios hasta hipótesis escépticas remotas (p. ej. desde conocer apariencias sensoriales hasta conocer que uno no es un cerebro‑en‑una‑cubeta) sin reconocer que puede fallar alguna premisa—la implicación reconocida o la ausencia de defeaters. El error es tratar la implicación formal como suficiente para el conocimiento sin verificar competencias y defeaters.

Consecuencia

Sostiene la transmisión de la justificación mediante relaciones lógicas y fundamenta muchas atribuciones de conocimiento ordinarias e inferencias prácticas. También intensifica los desafíos escépticos al mostrar cómo afirmaciones ordinarias pueden implicar hipótesis escépticas si se aceptan premisas sin escrutinio.

Inversión

El cierre se califica cuando el sujeto carece de competencia epistémica para captar o retener la implicación, cuando existen defeaters relevantes o cuando la implicación invoca condiciones altamente hipotéticas o epistémicamente remotas; en tales casos la proposición inferida puede no ser conocida a pesar de conocerse el antecedente.

Límite

Claramente dentro: inferir de conocer «la calefacción está apagada» y saber que «si la calefacción está apagada entonces la habitación estará fría» a conocer que la habitación estará fría, siempre que no haya defeaters. Caso límite: inferir sobre el mundo externo a partir de creencias perceptuales—depende de defeaters y acceso epistémico. Claramente fuera: tratar el cierre como cierre deductivo formal en un sistema lógico sin atender condiciones psicológicas o justificativas.

Tensión semántica

Tensión con visiones falibilistas o no‑closureistas que enfatizan que la justificación puede no transferirse en contextos epistémicos ordinarios, y con enfoques pragmáticos que vinculan la atribución de conocimiento a la acción más que a la transmisión lógica estricta.

Síntesis

El cierre es una regla sobre la transmisión potencial de la pretensión epistémica mediante implicaciones reconocidas; su fuerza depende de la capacidad del sujeto para reconocer la implicación y de la ausencia de factores que la destruyan, de modo que condiciona pero no determina mecánicamente las atribuciones de conocimiento.