Filosofia da lógica é a área da filosofia que estuda o alcance e a natureza da lógica. Investiga os problemas filosóficos levantados pela lógica, como os pressupostos muitas vezes implicitamente agindo nas teorias da lógica e em sua aplicação. Isto envolve questões sobre como a lógica deve ser definida e como diferentes sistemas lógicos se relacionam entre si. Inclui o estudo da natureza dos conceitos fundamentais usados pela lógica e a relação da lógica com outras disciplinas. De acordo com uma caracterização comum, a lógica filosófica é a parte da filosofia da lógica que estuda a aplicação de métodos lógicos a problemas filosóficos, muitas vezes na forma de sistemas lógicos estendidos como a lógica modal. Mas outros teóricos estabelecem a distinção entre a filosofia da lógica e a lógica filosófica de forma diferente ou não a estabelecem de forma alguma. A metalógica está intimamente relacionada à filosofia da lógica como a disciplina que investiga as propriedades dos sistemas lógicos formais, como a consistência e a completude.
Várias caracterizações da natureza da lógica são encontradas na literatura acadêmica. A lógica é muitas vezes vista como o estudo das leis do pensamento, raciocínio correto, inferência válida ou verdade lógica. É uma ciência formal que investiga como as conclusões decorrem das premissas de uma forma neutra ao tema, ou seja, independente do assunto específico discutido. Uma forma de investigar a natureza da lógica concentra-se nas semelhanças entre vários sistemas formais lógicos e em como eles diferem dos sistemas formais não lógicos. Considerações importantes a este respeito são se o sistema formal em questão é compatível com as intuições lógicas fundamentais e se é completo. Diferentes concepções da lógica podem ser distinguidas de acordo com se definem a lógica como o estudo da inferência válida ou da verdade lógica. Outra distinção entre as concepções da lógica é baseada em se os critérios de inferência válida e verdade lógica são especificados em termos de sintaxe ou semântica.
Diferentes tipos de lógica são frequentemente distinguidos. A lógica é geralmente entendida como lógica formal e é tratada como tal na maior parte deste artigo. A lógica formal está interessada apenas na forma dos argumentos, expressos em uma linguagem formal, e se concentra em inferências dedutivas. A lógica informal, por outro lado, aborda uma gama muito mais ampla de argumentos encontrados também em linguagem natural, que incluem argumentos não dedutivos. A correção dos argumentos pode depender de outros fatores além de sua forma, como seu conteúdo ou seu contexto. Vários sistemas formais lógicos, ou lógicas, foram desenvolvidos no século XX e a tarefa da filosofia da lógica é classificá-los, mostrar como se relacionam entre si e abordar o problema de como pode haver uma multiplicidade de lógicas em contraste com uma lógica universalmente verdadeira. Estas lógicas podem ser divididas em lógica clássica, geralmente identificada com a lógica de primeira ordem, lógicas estendidas e lógicas desviantes. As lógicas estendidas aceitam o formalismo básico e os axiomas da lógica clássica, mas os estendem com um novo vocabulário lógico. As lógicas desviantes, por outro lado, rejeitam certas suposições centrais da lógica clássica e, portanto, são incompatíveis com ela.
A filosofia da lógica também investiga a natureza e as implicações filosóficas dos conceitos fundamentais da lógica. Isto inclui o problema da verdade, especialmente da verdade lógica, que pode ser definida como verdade dependendo apenas dos significados dos termos lógicos usados. Outra questão diz respeito à natureza das premissas e conclusões, ou seja, se devemos entendê-las como pensamentos, proposições ou sentenças, e como elas são compostas por constituintes mais simples. Juntas, as premissas e uma conclusão constituem uma inferência, que pode ser ou dedutiva ou ampliativa, dependendo se é necessariamente preservadora da verdade ou introduz informações novas e possivelmente falsas. Uma preocupação central na lógica é se uma inferência dedutiva é válida ou não. A validade é frequentemente definida em termos de necessidade, ou seja, uma inferência é válida se e somente se for impossível que as premissas sejam verdadeiras e a conclusão seja falsa. Inferências e argumentos incorretos, por outro lado, não suportam sua conclusão. Podem ser categorizados como falácias formais ou informais, dependendo se pertencem à lógica formal ou informal. A lógica tem se preocupado principalmente com regras definitórias, ou seja, com a questão de quais regras de inferência determinam se um argumento é válido ou não. Um tema separado de investigação diz respeito às regras estratégicas da lógica: as regras que governam como chegar a uma conclusão pretendida dado um certo conjunto de premissas, ou seja, quais inferências precisam ser tiradas para chegar lá.
A metafísica da lógica se preocupa com o estado metafísico das leis e objetos da lógica. Uma disputa importante neste campo é entre realistas, que sustentam que a lógica é baseada em fatos que têm existência independente da mente, e antirrealistas como os convencionalistas, que sustentam que as leis da lógica são baseadas nas convenções que governam o uso da linguagem. A lógica está intimamente relacionada com várias disciplinas. Uma questão central em relação à ontologia diz respeito aos compromissos ontológicos associados ao uso da lógica, por exemplo, com termos singulares e quantificadores existenciais. Uma questão importante na matemática é se todas as verdades matemáticas podem ser fundamentadas nos axiomas da lógica juntamente com a teoria dos conjuntos. Outros campos relacionados incluem a ciência da computação e a psicologia.
Definição e disciplinas relacionadas A filosofia da lógica é a área da filosofia que estuda a natureza da lógica. Como muitas outras disciplinas, a lógica envolve vários pressupostos filosóficos que são abordados pela filosofia da lógica. A filosofia da lógica pode ser entendida em analogia com outros ramos da filosofia específicos de uma disciplina: assim como a filosofia da ciência investiga problemas filosóficos levantados pela ciência, a filosofia da lógica investiga problemas filosóficos levantados pela lógica.
Uma questão importante estudada pela filosofia da lógica é como a lógica deve ser definida, por exemplo, em termos de inferência válida ou de verdade lógica. Isto inclui a questão de como distinguir os sistemas formais lógicos dos não lógicos. É especialmente relevante para esclarecer a relação entre os vários sistemas lógicos propostos, clássicos e não clássicos, e para avaliar se todos esses sistemas realmente se qualificam como sistemas lógicos. A filosofia da lógica também investiga como entender os conceitos mais fundamentais da lógica, como verdade, premissas, conclusões, inferência, argumento e validade.Lowe, E. J.. Forms of Thought: A Study in Philosophical Logic. New York: Cambridge University Press, 2013. Tenta esclarecer a relação entre a lógica e outros campos, como a ontologia, a matemática e a psicologia.
A filosofia da lógica está intimamente relacionada à lógica filosófica, mas não há um acordo geral sobre como estas disciplinas se relacionam entre si. Alguns teóricos usam estes dois termos para a mesma disciplina, enquanto outros os veem como disciplinas distintas. De acordo com esta última visão, a lógica filosófica contrasta com a filosofia da lógica na medida em que é geralmente vista como a aplicação de métodos lógicos a problemas filosóficos, muitas vezes desenvolvendo lógicas desviantes ou estendidas. Neste sentido, a lógica filosófica é uma área de investigação dentro da filosofia da lógica, ou seja, uma parte do estudo geral dos problemas filosóficos levantados pela lógica. Mas esta forma de distinção não é universalmente aceita e alguns autores propuseram caracterizações diferentes. A conexão íntima entre lógica e filosofia também se reflete no fato de que muitos lógicos famosos também foram filósofos. A filosofia da lógica está intimamente relacionada com a metalógica, mas não é idêntica a ela. A metalógica investiga as propriedades dos sistemas lógicos formais, como se um determinado sistema lógico é consistente ou completo. Geralmente inclui o estudo da semântica e sintaxe das linguagens formais e sistemas formais.
Natureza da lógica O termo "lógica" é baseado na palavra grega "", que está associada a vários sentidos diferentes, como razão, discurso ou linguagem. Há muitas discordâncias sobre o que é a lógica e como ela deve ser definida. Várias características são geralmente atribuídas à lógica, como que estuda a relação entre premissas e conclusões e que o faz de maneira neutra ao tema. Uma tarefa importante da filosofia da lógica é investigar os critérios segundo os quais um sistema formal deve contar como uma lógica. Diferentes concepções da lógica a entendem como baseada em inferência válida ou em verdade lógica. Os critérios de inferência válida e verdade lógica podem, por sua vez, ser especificados de diferentes maneiras: com base em considerações sintáticas ou semânticas.
Características gerais Tradicionalmente, a lógica é muitas vezes entendida como a disciplina que investiga as leis do pensamento. Um problema para esta caracterização é que a lógica não é uma disciplina empírica que estuda as regularidades encontradas no pensamento humano real: este tema pertence à psicologia. Isto é melhor captado por outra caracterização às vezes encontrada na literatura: que a lógica diz respeito às leis do pensamento correto ou, mais especificamente, do raciocínio correto. Isto reflete o significado prático da lógica como uma ferramenta para melhorar o raciocínio, ao tirar boas inferências e ao tomar consciência de possíveis erros. A lógica também foi definida como a ciência da argumentação válida. Isto reflete a definição em termos de raciocínio, já que a argumentação pode ser entendida como uma expressão externa do raciocínio interno.
A lógica é frequentemente vista como uma base formal de todo o conhecimento. Como uma ciência formal, contrasta com as ciências materiais ou empíricas, como a física ou a biologia, já que está principalmente preocupada com as relações inferenciais entre proposições, mas não com se essas proposições são realmente verdadeiras. Por exemplo, deduzir da proposição "todas as luas são feitas de queijo" que "a lua da Terra é feita de queijo" é uma inferência válida. O erro neste exemplo é devido a uma premissa falsa pertencente à astronomia empírica.