Respuestas
Respuesta:
Ramas
Lógica matemática
Esta sección es un extracto de Lógica matemática[editar]
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,27 es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas.
Lógica computacional
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
Lógica filosófica
La lógica filosófica se refiere a aquellas áreas de la filosofía en la que reconocidos métodos de la lógica tradicionalmente, han sido utilizadas para resolver o avanzar en la discusión de los problemas filosóficos.28 Entre estos, Sybil Wolfram destaca el estudio del argumento, el significado y verdad,29 mientras Colin McGinn presenta las nociones de identidad, existencia, predicado, estado de necesidad y verdad como ideas principales en su libro sobre este tema.30 La lógica se usa únicamente para pensamientos sobre existencias relacionadas con nosotros, en el caso de la filosofía esto es en relación a todo lo posiblemente imaginativo.
Lógica informal
La lógica informal, o lógica no formal, es el estudio de los argumentos a posteriori en oposición al estudio técnico y teórico de la lógica matemática. Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada, sin importar su forma lógica. Parte de que el pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso. Surgió en la década de los 70's como un sub-campo de la filosofía. La primera obra en hablar acerca de esta disciplina fue La lógica y la retórica contemporánea (1971) de Howard Kahane.
.