¡Bien hecho! Un maravilloso Quine. ¿En qué validación confiaremos para nuestro razonamiento cuando intentemos responderla?
El resultado de la el voto es en realidad No – basado en un resultado de 2: 1 – es decir, de los famosos teoremas de Gödel, dos invalidan la capacidad de la lógica para demostrar su propia integridad mientras que uno muestra su consistencia interna para demostrarla en sus propios términos.
Otra buena forma de formular esta pregunta es hacerla ontológica: ¿cómo sabemos qué es la lógica?
Los silogismos forman los ejemplos tradicionales de formas lógicas, pero tampoco pueden definir qué los hace así. Existen varios tipos de lógicas, pero todas comparten la característica de demostrar la inferencia válida. Sin embargo, la explicación de por qué sus formas constituyen una inferencia válida sigue siendo inaccesible para los sistemas formales y esta es la materia de Gödel y Tarski.
- ¿Cómo pueden las carreras de econometría y filosofía ayudar a mi carrera empresarial?
- ¿Cuál es el tema esencial de Eurípides?
- ¿Qué argumentos no circulares apoyan la existencia del libre albedrío? Todo en neurociencia y neurología indica que no tenemos ninguno, pero incluso la mayoría de los neurocientíficos dejarán de lado estos argumentos y abogarán por el libre albedrío. ¿Por qué?
- ¿Las letras X, Y, Z son inútiles?
- ¿Cómo se le paga a uno por ser un filósofo?
Personalmente, me gusta mucho el trabajo de Vern Poythress. Aunque probablemente sea desagradable para muchas mentes, me parece que su triperspectivalism ejemplifica una estética lógica más potente (¡ahí lo dije!) Que algunas otras explicaciones del fenómeno de la lógica.
¿Es la belleza verdad y la verdad belleza? El vaso de Keats es tan transitorio como el de Theseus. ¿Dónde encontraremos nuestra piedra filosofal a la que podríamos atar nuestro ancla en la tormenta?