Mi Credo Lógico

• Soy deductivista. Creo que la relación de consecuencia lógica fundamental es la deductiva. En otras palabras, creo que toda inferencia lógicamente correcta es deductivamente válida.
• Creo que la relación de consecuencia lógica es simétrica en el sentido de que es su propio dual. Por lo tanto, pienso que la relación fundamental de consecuencia es muchos-muchos, no muchos-uno como se usa tradicionalmente.
• Soy realista. Creo que los frenómenos lógicos son objetivos. Por ejemplo, creo que las proposiciones se siguen unas de otras de manera objetiva, es decir, independientemente de nuestras convenciones, arquitectura cognitiva, contingencias históricas, etc.
• Soy inferencialista. Creo que la consecuencia lógica es más fundamental que la verdad lógica.
• En general, creo que la verdad está sobre-valorada en lógica por via triple. Por un lado, no creo que sea mas fundamental que la falsedad, por el otro tampoco creo que sea más fundamental que la consecuencia (aunque me inclino a pensar que, unida a la falsedad, es equivalente a una noción alética de consecuencia) y finalmente tampoco creo que sea el único valor (ni siquiera el valor fundamental) que, por decirlo así, se transmite de premisas a conclusiones en una inferencia deductivamente válida.
• Creo en la generalidad absoluta de la lógica y por ello no creo que las proposiciones son los portadores fundamentales de propiedades y relaciones lógicas, sino los conceptos.
• Creo que, de entre los valores de verdad, hay dos (y sólo dos) que son fundamentales: verdad y falsedad, aunque hay por lo menos otros dos derivados.
• Creo que las contradicciones explotan. Pero no creo que las teorías que contienen contradicciones son triviales, ya que no creo que las teorías son meros conjuntos de proposiciones.
• Creo que hay proposiciones, como la paradoja del mentiroso, que son tanto verdaderas como falsas, y proposiciones, como la paradoja del que siempre dice la verdad, que no son ni verdaderas ni falsas.
• Creo que la diferencia entre las teorías de pruebas y de modelos es muy superficial.
• Creo que la ley lógica fundamental es la de De Morgan.
• Soy molecularista/Gentzeniano. Creo que el contenido de las constantes lógicas fundamentales está dado en sus reglas de introducción (y/o de eliminación).
• Creo que las reglas de introducción y las de eliminación son sinónimas.
• Creo que no toda relación lógica es intrínseca. Tal vez ninguna lo sea.