Usuario:Edgar Rodriguez Gonzalez/Taller

El realismo Lógico es una teoría epistemológica presentada por el epistemólogo autodidacta Mexicano Edgar Rodríguez González en sus obras:

• El error de Descartes: Las consecuencias lógicas de dudar de la lógica.​​​​
• El error lógico que frustró el sueño de Frege.: ¿Puede la lógica tradicional y la lógica simbólica ser ilógicas?
• El error epistemológico que frustró el sueño de la razón: : ¿Pueden las epistemologías modernas no cumplir con la epistemología?
• El limbo mental: Las consecuencias lógicas de la invalidez de la lógica.'

Generalidades en lógica

Esta teoría entre sus características postula que la lógica es auto-fundante, auto-inferible y auto-demostrable, ademas de que unifica todos los principios lógicos en un principio lógico fundamental, refutando así tres paradigmas actuales en la matemática, filosofía de la lógica:

1. La existencia de axiomas auto-evidentes, demostrando que en realidad solo hay axiomas auto fundamentes en matemáticos o que deben ser probados lógicamente pero nunca admitirse sin prueba.
2. Rompe con la idea de que la lógica es tautológica, demostrando que en realidad nunca lo fue pero en razón de que no se conocía la auto-implicación de los principios lógicos, este hecho no fue descubierto.
3. El tercer paradigma desterrado por la teoría es la idea de que existen "principios lógicos" ya que todos los principios son reducibles a un principio lógico fundamental.

Principio de Razón suficiente

En esta teoría el principio lógico de razón suficiente funciona de la siguiente manera: Cuando se postula una razón suficiente para algo, la razón suficiente son aquellas premisas implícitas sin las cuales el enunciado que se presupone como verdadero seria falso, ejemplo:

Premisa 1: A es A. Premisa 2: Todo debe cumplir con tener una razón suficiente.

Conclusión 1: A para ser A debe tener las mismas propiedades de lo contrario A podría no ser A. (Primera razón suficiente).

Conclusión 2: A para ser A debe tener las propiedades necesariamente unidas, ya que si no es así podría no ser A. (Segunda razón suficiente)

Conclusión 3: A para ser A necesita que las propiedades de A este unidas siempre, ya que si son contingentes A dejaría de ser A (Tercera razón suficiente)

Si cualquiera de estas tres premisas implícitas es falsa, el enunciado A es A no podría ser verdadero absolutamente y de hecho cada una de las premisas implícitas se pueden demostrar mediante reducción al absurdo. Por último el autor postula que esas tres razones suficientes juntas producen una razón necesaria.

Generalidades en la epistemología

El realismo lógico es una tesis epistemológica que se caracteriza por partir de la lógica como primer criterio de verdad, y sostener una postura realista y naturalista sobre el universo, dividida en un dualismo materialista-idealista, que es perfectamente cognoscible exclusivamente por la razón, usando la experiencia como fuente de información y que obtiene su conocimiento mediante procedimientos rigurosos lógicamente avalados sobre el yo, la lógica, la materia, la ontología, Dios y los valores de todo lo anterior, sosteniendo que sólo hay una forma de conocimiento posible.
La teoría es eminentemente racionalista y se suscribe en cuanto a la ontología de lo real en un realismo objetivo o Platonismo.

Fundamentos lógicos del realismo lógico

El realismo lógico tiene su soporte teórico en un total de 16 razonamientos mismos que constituyen las pruebas lógicas de sus fundamentos, todas las pruebas son mediante reducción al absurdo.

FUNDAMENTOS LÓGICOS DEL REALISMO LÓGICO

Las pruebas del realismo lógico son mediante argumentos de reducción al absurdo. Como tal los fundamentos logicos costan de 16 razonamientos:

Razonamientos del 1 al 4: Demuestra que al dudar de la lógica lo hacemos lógicamente.

Razonamiento 5: Pone en duda la validez del principio de identidad para analizar sus consecuencias.

Razonamiento 6: Pone en duda la validez del principio de no contradicción para analizar sus consecuencias.

Razonamiento 7: Pone en duda la validez del principio de razón suficiente para analizar sus consecuencias evidenciando que dicho principio se puede auto-demostrar.

Razonamiento 8: En este razonamiento se demuestra la necesidad epistemológica de la lógica, ante la imposibilidad de dudar de la lógica sin hacerlo lógicamente se abren dos posibilidades para explicar el fenómeno, que la lógica sea un ente real y trascendente o en su caso una categoría de la mente.

Razonamiento 9: En este razonamiento se valida el principio de identidad a través del principio de razón suficiente.

Razonamiento 10: En este razonamiento se demuestra que los principios lógicos se auto-implican de tal forma que la negación de uno implica la negación del otro, constituyendo la primera prueba de la necesidad ontológica de la lógica.

Razonamiento 11 y 12: Se demuestra que a partir de los principios lógicos de razón suficiente y el de identidad se puede deducir que son reales las esencias.

Razonamiento 13: En este razonamiento se presenta la segunda prueba de la necesidad ontológica de la lógica y se brinda una definicion de la logica que es la siguiente: La lógica es el axioma auto-fundante, auto-demostrativo y auto-inferible que consiste en la concordancia consigo misma y su verdad..

Razonamiento 14: Se demuestra directamente que la lógica debe tener una esencia, lo que constituye la tercera prueba de la necesidad ontológica de la lógica.

Razonamiento 15 : En este razonamiento a partir de el hecho de que todas las pruebas son ontológicas y una epistemológica se realiza un silogismo mediante la cual que se convierte la imposibilidad de dudar de la lógica en la cuarta prueba de la necesidad ontológica de la lógica, adicionalmente se presentan como pruebas quinta y sexta de la necesidad ontológica de la lógica la imposibilidad de falsiabilidad de los principios lógicos, o mejor dicho que sean imposibles las violaciones a los principios lógicos.

Razonamiento 16: En este razonamiento se explora la posibilidad de encontrar una paradoja irresoluble o una violación al principio de razón suficiente, mostrando las consecuencias lógicas de la invalidez de la lógica, inaugurando lo que llama el autor: El limbo mental.