¿Existe una taxonomía de la lógica, como en una representación visual de cómo todos los conceptos de razonamiento y lógica están conectados?

Answer 1

¡Esta es una pregunta tan obviamente brillante que debe haber algo fundamentalmente difícil! Me gustaría que hubiera tal “representación visual”. No conozco ninguna que sea de alguna utilidad.

Si aborda su pregunta desde un ángulo ligeramente diferente, ¿no sería agradable aprender una lógica diagramática en la que, como usted dice, “todos los conceptos de razonamiento y lógica están conectados”? Esta sería una “lógica diagramática”, ¿no es así?

Hay una línea de pensamiento de Ehresmann sobre el concepto de “esquisse” que significa “boceto” a través de Barr & Wells y Makkai & Pare, y Diskin, que toma el concepto de una pequeña gráfica como diagrama del vértice y la flecha como base. para una lógica que puede hacer todo lo que puede hacer una lógica ecuacional. El trabajo de estos autores sería difícil de entender sin un fundamento en la teoría de categorías.

La lista de ‘diagramas’ y las correspondientes ‘definiciones para cada diagrama’ podría constituir las visualizaciones y verbalizaciones centrales, respectivamente, de la estructura a la que se está aludiendo. Desde este núcleo, puede construir “hacia afuera” hacia la derecha, hacia la izquierda, hacia arriba y hacia abajo. Les dejo una imagen de lo que esos “espacios” serían rellenados.

Answer 2

Hmm Solo quería mencionar que he pasado muchos años estudiando este tema, explorando lo que supongo son enfoques “topológicos” de la lógica. Sí, hay una gama de términos enormemente abrumadora y superpuesta. ¿Por qué no se puede simplificar todo esto, en algo así como una taxonomía ontológica generalizada? En este momento, estoy mirando las gráficas de rayos solares porque parecen agregar características importantes a la comprensión de la jerarquía de los “niveles” (o “niveles de abstracción”) generales. Tiendo a suponer que la dimensión integradora primaria de toda lógica (deductiva / inductiva, sintética / analítica, parte / totalidad, particular / general) ES “nivel de abstracción”: el puente desde la totalidad absoluta (“ontología superior”) hasta la más baja. Niveles específicos. ¿Se pueden diagramar todos los procesos lógicos en un solo marco? Mi instinto es sí, pero es una cosa difícil de probar.

Answer 3

Quizás pueda crear uno, comenzando con este artículo en Logic, luego incluya los subtemas mencionados en este esquema (por ejemplo, tipos de lógica), y luego recursivo.