
También llamada lógica matemática, o logística. A veces se denomina, sencillamente, lógica moderna, o formal o cálculo lógico[1]. Se llama “lógica simbólica” o “lógica formal” a la lógica moderna que, mediante el simbolismo lógico, o mediante un lenguaje formal...
El hombre siempre ha perseguido la idea de razonar de un modo correcto, sin ambages, procurando deshacerse de todos los malentendidos y errores. De ahí la búsqueda de un método que nos permita confiar en la coherencia interna de lo que se nos comunica...
1. Definición y funcionamiento de los sistemas formales axiomáticos: Una teoría axiomatizada es una teoría deductivamente ordenada en axiomas y teoremas según reglas de inferencia. Todo sistema formal axiomático debe contar, al menos, con estos cuatro...
1. La verdad en las matemáticas. Entre las definiciones que se han dado de la matemática cabe destacar cuatro: 1) La matemática como ciencia de la cantidad; 2) La matemática como ciencia de las relaciones; 3) La matemática como la ciencia de lo posible...
Cassirer dice que El hombre es un animal simbólico. El lenguaje sería su aparato simbólico fundamental. Wittgenstein que El límite de mi lenguaje es el límite de mi mundo...