a qué problema de la filosofía responde la disciplina de la lógica filosofófica
La filosofía de la lógica también investiga la naturaleza y las implicaciones filosóficas de los conceptos fundamentales de la lógica. Esto incluye el problema de la verdad, especialmente de la verdad lógica, que puede definirse como verdad dependiendo solo de los significados de los términos lógicos utilizados. Otra cuestión se refiere a la naturaleza de las premisas y conclusiones, es decir, si deben entenderlas como pensamientos, proposiciones u oraciones, y cómo se componen de constituyentes más simples. Juntas, las premisas y la conclusión constituyen una inferencia, que puede ser o deductiva o ampliativa, dependiendo de si preserva necesariamente la verdad o introduce información nueva y posiblemente falsa. Una preocupación central en la lógica es si una inferencia deductiva es válida o no. La validez se define a menudo en términos de necesidad, es decir, una inferencia es válida si y solo si es imposible que las premisas sean verdaderas y la conclusión falsa. Las inferencias y los argumentos incorrectos, por otro lado, no respaldan su conclusión. Pueden clasificarse como falacias formales o informales, dependiendo de si pertenecen a la lógica formal o informal. La lógica se ha ocupado principalmente de las reglas definitorias, es decir, de la cuestión de qué reglas de inferencia determinan si un argumento es válido o no. Un tema de investigación separado se refiere a las reglas estratégicas de la lógica: las reglas que gobiernan cómo llegar a una conclusión prevista dado un cierto conjunto de premisas, es decir, qué inferencias hay que hacer para llegar a ella.