SATISFACIBILIDAD

SATISFACIBILIDAD: La consistencia, la completitud y la decidibilidad de la ciencia bien formada se corresponde:

1. en grado de satisfacibilidad, con la visión que proporciona la razón fiducial, es decir, la razón formada por la FE ;

2. en grado de suficiencia, con la visión que proporciona la razón credencial, es decir, por la RAZÓN formada por la CREENCIA .

Para F. Rielo, la ciencia debe ser consistente, completa y decidible en grado de suficiencia o de satisfacibilidad. Estas son las características que debe tener una ciencia bien formada (Véase MÉTODO, Concepción genética del), sobre todo si se trata de las ciencias experienciales. Una ciencia bien formada debe poseer:

1. la nota de la consistencia, porque sus elementos deben hacer imposible la contradicción en cualesquiera enunciados dentro del universo del discurso GENÉTICO;

2. la nota de la completitud, porque la aplicación de los tres elementos metódicos (Véase Método) debe producir todos los enunciados de la teoría;

3. la nota de la decidibilidad, porque debe ser capaz de demostrar, dentro de su dominio, cualquier enunciado GENÉTICO y reducir a seudoenunciados los no genéticos.

Estas notas pueden darse:

1. en grado de suficiencia, a una razón formada por la CREENCIA;

2. en grado de satisfacibilidad, a una razón formada por la fe teologal.

Estas propiedades metódicas caracterizan la sistematización genética de la metafísica y teología; extensivamente, de una filosofía de la ciencia.

El EXCEDENTE METAFÍSICO [${\textstyle P_{3}}$] es un revelado stricto sensu, Espíritu Santo, que eleva al axioma a un orden translógico [${\textstyle P_{1}}$≑${\textstyle P_{2}}$≑${\textstyle P_{3}}$], aportando a las propiedades del orden racional una propiedad definitiva: la satisfacibilidad. Esta satisfacibilidad queda absolutamente cumplida por [${\textstyle P_{3}}$] en tal grado que un supuesto [${\textstyle P_{4}}$] resultaría vacío porque ya no cumpliría función alguna con el axioma [${\textstyle P_{1}}$≑${\textstyle P_{2}}$≑${\textstyle P_{3}}$]. Este [${\textstyle P_{3}}$] da sobrenatural respuesta [translogicidad] a la insatisfacibilidad de la logicidad natural de [${\textstyle P_{1}}$≑${\textstyle P_{2}}$].

© Reproducción reservada. Todos los derechos están reservados al editor.