¿Qué es la lógica formal?
La “lógica formal” se refiere a la lógica tradicional, en sentido estricto se refiere a la lógica deductiva, y en sentido amplio también incluye la lógica inductiva. Dado que la "lógica formal" es esencialmente lógica intelectual, la lógica matemática moderna no va más allá del alcance de la "lógica formal", es decir, la lógica tradicional.
La teoría instrumental de Aristóteles es la base para el desarrollo de la lógica formal. Se puede decir que sin teoría instrumental no habría lógica formal.
El estudio de la lógica puede mejorar la capacidad de comprender, analizar, evaluar y construir argumentos. Por esta razón, la lógica ha hecho una contribución significativa a la enseñanza en las universidades modernas.
Definición
La "lógica formal" es un sistema disciplinario sobre los conceptos, categorías y leyes de la "lógica formal", es decir, la lógica tradicional.
La llamada "lógica formal" se refiere a la lógica tradicional, que hace referencia a la lógica deductiva en sentido estricto y a la lógica inductiva en sentido amplio. Dado que la "lógica formal" es esencialmente lógica intelectual, la lógica matemática moderna no va más allá del alcance de la "lógica formal", es decir, la lógica tradicional.
La llamada lógica es la ley del pensamiento, la lógica es la teoría sobre la ley del pensamiento y la ley del pensamiento es la unidad del contenido del pensamiento y la "forma" del pensamiento. La lógica "formal" es también una teoría que estudia las leyes del pensamiento a partir de la unidad de contenido y "forma", por lo que de ninguna manera es una lógica puramente "formal". Así como la descripción tradicional de los conceptos como la "forma" de pensamiento confunde los conceptos y el lenguaje, la teoría que describe la lógica tradicional como la "forma" de pensamiento confunde la lógica tradicional y la lingüística
Introducción
La ciencia de estudiar las leyes del pensamiento desde la estructura formal del pensamiento. Resume las experiencias y lecciones del pensamiento humano, se centra en mantener la certeza del pensamiento y utiliza una serie de reglas y métodos para ayudar a las personas a pensar en los problemas y expresar sus pensamientos correctamente. Es una herramienta necesaria para que las personas comprendan el mundo y lo transformen.