La filosofía de la lógica es el área de la filosofía que estudia el alcance y la naturaleza de la lógica . Investiga los problemas filosóficos planteados por la lógica, como las presuposiciones que a menudo operan implícitamente en las teorías de la lógica y en su aplicación. Esto implica preguntas sobre cómo se va a definir la lógica y cómo se relacionan los diferentes sistemas lógicos entre sí. Incluye el estudio de la naturaleza de los conceptos fundamentales utilizados por la lógica y la relación de la lógica con otras disciplinas. Según una caracterización común, la lógica filosóficaes la parte de la filosofía de la lógica que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal. Pero otros teóricos trazan la distinción entre la filosofía de la lógica y la lógica filosófica de manera diferente o en absoluto. La metalógica está estrechamente relacionada con la filosofía de la lógica como disciplina que investiga las propiedades de los sistemas lógicos formales, como la coherencia y la completitud .
En la literatura académica se encuentran varias caracterizaciones de la naturaleza de la lógica . La lógica se ve a menudo como el estudio de las leyes del pensamiento , el razonamiento correcto , la inferencia válida o la verdad lógica . Es una ciencia formal que investiga cómo se derivan las conclusiones de las premisas de una manera tópica neutra, es decir, independiente del tema específico discutido. Una forma de indagar sobre la naturaleza de la lógica se centra en los puntos en común entre varios sistemas lógicos formales.y en qué se diferencian de los sistemas formales no lógicos. Las consideraciones importantes a este respecto son si el sistema formal en cuestión es compatible con las intuiciones lógicas fundamentales y si es completo. Se pueden distinguir diferentes concepciones de la lógica según definan la lógica como el estudio de la inferencia válida o la verdad lógica. Otra distinción entre las concepciones de la lógica se basa en si los criterios de inferencia válida y verdad lógica se especifican en términos de sintaxis o semántica.
A menudo se distinguen diferentes tipos de lógica . La lógica generalmente se entiende como lógica formal y se trata como tal en la mayor parte de este artículo. La lógica formal solo está interesada en la forma de argumentos , expresados en un lenguaje formal , y se centra en inferencias deductivas. La lógica informal , por otro lado, aborda una gama mucho más amplia de argumentos que se encuentran también en el lenguaje natural., que incluyen argumentos no deductivos. La exactitud de los argumentos puede depender de otros factores además de su forma, como su contenido o su contexto. En el siglo XX se han desarrollado varios sistemas lógicos formales o lógicas y es tarea de la filosofía de la lógica clasificarlos, mostrar cómo se relacionan entre sí y abordar el problema de cómo puede haber una multiplicidad de factores. lógicas en contraste con una lógica universalmente verdadera. Estas lógicas se pueden dividir en lógica clásica, generalmente identificadas con lógica de primer orden., lógicas extendidas y lógicas desviadas. Las lógicas extendidas aceptan el formalismo básico y los axiomas de la lógica clásica, pero los amplían con un nuevo vocabulario lógico. Las lógicas desviadas, por otro lado, rechazan ciertos supuestos centrales de la lógica clásica y, por lo tanto, son incompatibles con ella.