Lógica Clássica e Consequência Lógica
A lógica clássica é o sistema formal padrão do raciocínio dedutivo, e a relação de consequência lógica — o que se segue do quê — é o objeto central que ela tenta capturar.
Definition
Consequência lógica é a relação que se estabelece entre premissas e uma conclusão quando a verdade das premissas garante a verdade da conclusão em virtude da forma lógica; a lógica clássica é o sistema bivalente e verofuncional no qual cada sentença é determinadamente verdadeira ou falsa.
Scope
Esta área abrange o aparato padrão da lógica dedutiva clássica e a análise filosófica da relação de consequência que ela formaliza. Ela trata tanto dos sistemas formais (lógica proposicional e de primeira ordem) quanto das questões conceituais sobre por que um argumento é válido: o que faz uma conclusão seguir-se necessariamente das premissas, quais expressões contam como lógicas e como as abordagens formais de teoria de modelos e teoria da prova se relacionam com a noção intuitiva de 'seguir-se de'.
Sub-topics
Core questions
- O que significa para uma conclusão seguir-se logicamente de um conjunto de premissas?
- A consequência lógica deve ser analisada modelar-teoricamente (preservação da verdade através de interpretações) ou prova-teoricamente (derivabilidade em um sistema dedutivo)?
- Quais expressões são as 'constantes lógicas' e o que as distingue do vocabulário não lógico?
- Existe uma única lógica correta, ou existem múltiplas relações de consequência igualmente legítimas?
Key concepts
- validade e correção
- preservação da verdade
- forma lógica
- consequência modelar-teórica vs. prova-teórica
- bivalência e a lei do terceiro excluído
- constantes lógicas
Key theories
- Consequência modelar-teórica (Tarskiana)
- Uma conclusão é uma consequência lógica das premissas quando não há interpretação (modelo) do vocabulário não lógico na qual as premissas são verdadeiras e a conclusão falsa; a validade é a preservação da verdade em todas as reinterpretações.
- Pluralismo lógico
- Existe mais de uma relação genuína de consequência lógica, porque a noção de um 'caso' em que as premissas se sustentam pode ser precisada de várias maneiras admissíveis (por exemplo, clássica, construtiva, relevante), cada uma produzindo uma lógica legítima.
History
A concepção moderna da lógica clássica descende da Begriffsschrift de Frege (1879) e recebeu uma fundação semântica precisa por Tarski na década de 1930, que definiu a consequência lógica modelar-teoricamente. Quine consolidou a visão ortodoxa da lógica como neutra em relação ao tópico e verofuncional em meados do século XX, enquanto debates posteriores (a crítica de Etchemendy a Tarski e o pluralismo lógico) reabriram a questão de saber se a definição formal captura plenamente a relação intuitiva.
Debates
- A definição modelar-teórica captura a consequência genuína?
- Etchemendy argumentou que a análise modelar-teórica de Tarski, na melhor das hipóteses, coincide extensionalmente com, mas não explica, as características modais e epistêmicas da consequência lógica real, uma vez que reduz a necessidade a uma mera generalização sobre interpretações.
- Monismo vs. pluralismo sobre a lógica
- Se existe exatamente uma lógica correta, ou se as lógicas clássica, intuicionista e relevante capturam cada uma uma relação de consequência igualmente legítima em relação a uma precisão diferente, mas admissível, de 'caso'.
Key figures
- Alfred Tarski
- W. V. O. Quine
- John Etchemendy
- Gottlob Frege
- JC Beall
- Greg Restall
Related topics
Seminal works
- tarski1936
- quine1986
- etchemendy1990
Frequently asked questions
- Qual é a diferença entre validade e verdade?
- Validade é uma propriedade de argumentos: um argumento é válido quando sua conclusão segue de suas premissas, independentemente de essas premissas serem realmente verdadeiras. Verdade é uma propriedade de sentenças individuais. Um argumento válido pode ter premissas falsas, e um argumento correto é aquele que é válido e tem premissas verdadeiras.
- Por que é chamada de lógica 'clássica'?
- O rótulo distingue o sistema bivalente e verofuncional ortodoxo — no qual cada afirmação é verdadeira ou falsa e a lei do terceiro excluído se mantém — de alternativas não clássicas posteriores, como lógicas intuicionistas, relevantes ou multivaloradas que rejeitam uma ou mais dessas suposições.