Filosofia da Lógica
De Wikipedia, a enciclopédia encyclopedia
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.