Diderik Batens

Como todas las lógicas paraconsistentes, sostiene que de A y -A no puedo deducir cualquier cosa.

Estas consecuencias pueden ser canceladas si otras premisas determinan que las fórmulas que necesitaban ser consistentes no lo eran; esto sucede en un método dinámico de prueba.

Por ejemplo: Entonces, dado que A no se comporta de manera consistente (ya que las premisas prueban A y -A), no podrá deducirse B, y el paso 4 será cancelado.

Aunque parece extraño, con este proceder llegaremos a un conjunto estable (aunque obviamente inconsistente) de consecuencias de las premisas.

Según Batens, las lógicas adaptativas tienen su mayor utilidad en teorías que tienen algunas inconsistencias pero no pretenden ser triviales, como muchas teorías científicas o los intentos de unificación de teorías incompatibles.