Una de las raíces de la filosofía es la lógica, pero la lógica misma es un sistema de axiomas injustificados; ¿Por qué se abraza la lógica sin pregunta ni justificación?

Answer 1

Pregunta originalmente respondida: como sistema de indagación, la lógica se acepta sin lugar a dudas como la raíz de la filosofía. ¿Por qué se abraza sin ninguna justificación?

La respuesta más simple a esta pregunta, sería otra pregunta. Sin lógica, ¿qué consecuencias podrían incluso derivarse de cualquier hecho o fe? Sin el uso de la lógica, que es, en esencia, una suposición de estructura, el mundo que nos rodea no sería más que una gran colección de hechos brutos, sin relación entre ellos.

No hay contradicción, real o aparente, entre lógica y fe. La lógica se refiere al razonamiento de un grupo de verdades asumidas, conocidas como axiomas. Existen varias razones por las cuales cualquier axioma en particular se asumiría o no, y una de estas razones podría ser la fe.

Más fundamentalmente, sin embargo, solo puede haber consideraciones pragmáticas, aceptar la lógica como la raíz fundamental de la filosofía. Esto se debe a que el uso de la lógica no puede justificarse lógicamente. Esto se conoce a menudo como el trilemma de Münchhausen.

Usamos la lógica porque, en nuestra experiencia, funciona, que es la consideración pragmática a la que me he referido anteriormente. En nuestra experiencia, el mundo realmente tiene estructura. Y al final, la lógica es simplemente un lenguaje que permite la descripción de la estructura (los modelos de la lógica) y un sistema para analizar las consecuencias de esa estructura.

Answer 2

En lugar de considerar que la lógica es un sistema axiomático, deje que la presentación canónica sea un sistema de deducción natural. En tal sistema, no hay axiomas en absoluto. En cambio, para cada conectivo, hay un par de reglas de inferencia: una que indica cuándo se puede deducir una instancia del conectivo a partir de fórmulas más simples, y la otra que indica cuándo se pueden deducir fórmulas más simples a partir de una instancia dada del conectivo. Estos pares de reglas pueden entenderse como definiciones de los conectivos, por lo que explican por qué tenemos la licencia para aceptarlos sin argumentos; las definiciones generalmente funcionan de esa manera.