¿Podemos crear un nuevo lenguaje o sistema basado en la lógica además de las matemáticas? ¿Como podríamos hacerlo?

Si su objeción es a la notación matemática, entonces, cualquiera puede proponer una nueva notación. Sin embargo, puede ser difícil conseguir la adopción de la notación. Estas cosas tienden a cambiar lentamente o en absoluto.

Sin embargo, si está buscando eliminar las matemáticas por completo, entonces tendrá algunas dificultades. En particular, si desecha la lógica matemática, pierde el álgebra booleana, la teoría de conjuntos, etc. No está claro si quedaría mucho sobre lo que construir.

Podría ser posible definir un nuevo tipo de lógica. Por ejemplo, la lógica modal se desarrolló en la década de 1960. Sin embargo, una vez que se desarrolló, se convirtió en otro tipo de lógica matemática. Entonces, realmente no hay escapatoria matemática cuando se trata de lógica.

Desarrollar un nuevo lenguaje basado en la lógica es ciertamente posible. La mayoría de los lenguajes de programación encajarían perfectamente. Sin embargo, la operación y el análisis de los lenguajes de programación se basan en las matemáticas, incluso si no comparten notaciones similares.

¿Cómo sería un mundo sin matemáticas? Nada como el nuestro. No hay escapatoria.