En la década de 1930, la lógica logró tres logros que marcaron época (el teorema de incompletitud de Gödel, la teoría de la verdad del lenguaje formal de Tarski, la máquina de Turing y su teoría de aplicación), que formaron la base del desarrollo vigoroso de la lógica moderna. fundamento teórico. Se puede decir que este período fue un punto de inflexión importante en la historia del desarrollo de la lógica. Con el rápido desarrollo y la aplicación cada vez más generalizada de la lógica moderna, ha atraído cada vez más atención.
La lógica moderna es relativa a la lógica tradicional fundada por Aristóteles y perfeccionada en la Edad Media, incluida la lógica inductiva moderna. Los métodos matemáticos se utilizan ampliamente en la lógica moderna, y la amplitud y profundidad de su investigación supera con creces la de la lógica tradicional. El surgimiento y desarrollo de la lógica moderna marca que la lógica ha entrado en una nueva etapa de desarrollo.
La lógica moderna se refiere principalmente a la lógica lógica y a la lógica desarrollada sobre la base de la lógica matemática. La lógica matemática es el estudio del razonamiento matemático y pertenece a la categoría de fundamentos matemáticos. En la actualidad, la lógica moderna se ha desarrollado gradualmente de una sola materia a un grupo de materias con una teoría rigurosa, numerosas ramas y amplias aplicaciones. Las teorías básicas de la lógica moderna son diversas, incluida la lógica matemática, la lógica filosófica, la lógica del lenguaje natural, la investigación de la intersección entre la lógica y la informática, la lógica inductiva moderna, la filosofía lógica, etc.
La tendencia de desarrollo de la lógica moderna, a juzgar por los resultados existentes, la lógica moderna mostrará la siguiente tendencia de desarrollo: diversificación. matemáticas. Aplicar.