Nihilismo Lógico Generalizado
La estrategia nihilista que G Russell ilustra con su uso de los enunciados PREM y SOLO es generalizable a cualquier regla de inferencia normal: Toda regla inferencial impone ciertas condiciones de aplicación a las variables proposicionales que ocurren en su formulación. Por ejemplo, una regla que contiene entre sus premisas a la siguiente fórmula (1) impone por lo menos las siguientes condiciones (i) - (vi) a su variable proposicional: ¬ ¬ P (i) Ocurrir (ii) Ocurrir negada (iii) Ocurrir dóblemente negada (iv) Ocurrir en alguna premisa (v) Ocurrir negada en alguna premisa (vi) Ocurrir dóblemente negada en alguna premisa Todo patrón inferencial clásicamente válido no tiene contraejemplos, pero tiene lo que podemos llamar pseudo-contraejemplos, a saber, asignaciones inconsistentes de valores de verdad a sus variables que harían a las premisas verdaderas y a la conclusión falsa. Por ejemplo, separación del condicional material aka Modus Ponens tiene el siguiente pseudo-contr