Ha habido descubrimientos matemáticos, pero creo que (al menos hasta donde yo sé) los avances lógicos realmente básicos se han estancado principalmente en la corriente principal.
Los filósofos todavía discuten sobre si el lenguaje o la creación de premisas son más importantes, y en qué medida el lenguaje implica la creación de premisas. Ha habido un mayor giro hacia la lógica intuicionista, psicológica e incluso religiosa.
Una importante contribución reciente de alrededor de 2000 o antes, es la idea de contrafactualismo (idea de David K. Lewis).
En mi propia filosofía, he producido las siguientes ideas, aunque ninguna de ellas se ha publicado en revistas aún, a menos que tal vez alguien más haya estado pensando de manera similar o me haya presentado en una nota al pie de página, etc.
- Deducción categórica coherente que produce conocimiento absoluto de un grado.
- Excepciones formales como herramienta que guía la extensión de los sistemas en cuanto coherencia.
- Paroxismo, un nombre que le doy a la fórmula para resolver todas las paradojas (Baudrillard tiene un libro con este nombre, pero básicamente no está relacionado con el estudio de las paradojas formales).
- Formalización del romanticismo a través del concepto de irracionalidad formal.
- El concepto de relativismo relativo, que produce absolutismo (conectado a deducciones categóricas).
- El concepto de distinguir entre inferencia causal y no causal (nuevamente conectado a la deducción categórica y la coherencia).
- Algunos avances en generalización de la sistemaología en todas las disciplinas. Consulte la página de sistemas en: Teoría de sistemas (formal, aplicada, rúbrica, etc.).
- Una visión que extiende los problemas de Godel, Tarski, Russell en la relativización de las matemáticas y la introducción de las matemáticas basadas en qualia y la ciencia cualitativa, adeptas al nuevo campo de la ciencia emocionalizada, bajo el argumento de que es una aplicación necesaria.
- Una variedad de estructuras objetivas de inferencia, arquetipo, etc., que generalmente responden a la organización de listas o conjuntos dentro de un formato gráfico.
- El concepto de análisis gráfico gráfico simbólico selectivo: reducir sistemas filosóficos específicos comprensibles a símbolos gráficos, creando un nuevo sistema geométrico significativo que responda a las preferencias a nivel de sistemas (en particular la deducción categórica, que es análoga a la computación cuántica).
¡Y posiblemente más!
Hasta ahora, tengo la sensación de que soy más popular entre los estudiantes de secundaria y los estudiantes universitarios que entre los estudiantes de posgrado y los profesores. Sin embargo, he hecho algunos esfuerzos para difundir el conocimiento en línea y a través de algunos sorteos de libros, y animo a las revisiones gratuitas de mis libros.
Algunas de las ideas están disponibles como parte del borrador de artículos en una forma un poco más extensa en: Southern Connecticut State University – Academia.edu
Agruparía la ‘lógica difusa’ en herramientas de trabajo o métodos estadísticos sobre conceptos de lenguaje y matemáticas. Aparte de una aplicación matemática transitoria o un experimento de pensamiento de un filósofo experimental, no veo muchas aplicaciones para la lógica difusa. Se parece más a una herramienta de trabajo o una forma de crítica que a un sistema formal. Todavía tengo que encontrar reglas acordadas para la lógica difusa, y de esa manera es similar desde un punto de vista filosófico a teorizar sobre “qué es ser un murciélago” (el famoso trabajo de Thomas Nagel). Hay muchas cosas como esta, y Daniel Dennett es un famoso filósofo que se ha dedicado a investigar las herramientas de trabajo. Personalmente, creo que lo que he leído sobre el trabajo de Dennett es inspirador y decepcionante. Quizás es porque se enfoca en herramientas de trabajo en lugar de conocimiento real.
