Filosofia da lógica - Philosophy of logic

Seguindo os desenvolvimentos no estudo filosófico da lógica formal com a lógica simbólica no final do século XIX e a lógica matemática no século XX, tópicos tradicionalmente tratados pela lógica que não fazem parte da lógica formal tendem a ser chamados de filosofia da lógica ou lógica filosófica, se não mais simplesmente lógica .

Em comparação com a história da lógica, a demarcação entre a filosofia da lógica e a lógica filosófica é de cunhagem recente e nem sempre totalmente clara. As características incluem:

Este artigo descreve questões de filosofia da lógica ou fornece links para artigos relevantes ou ambos.

Introdução

Este artigo usa os seguintes termos e conceitos:

Verdade

Aristóteles disse Dizer que aquilo que é, não é ou aquilo que não é, é uma falsidade; e dizer que o que é, é e o que não é não é, é verdade

Esse aparente truísmo não se mostrou isento de problemas.

Portadores da verdade

A lógica usa termos como verdadeiro, falso, inconsistente, válido e autocontraditório. As questões surgem enquanto Strawson (1952) escreve

(a) quando usamos essas palavras de avaliação lógica, o que exatamente estamos avaliando? e (b) como a avaliação lógica se torna possível?

A definição de verdade de Tarski

Ver:

Verdades analíticas, verdade lógica, validade, consequência lógica e implicação

Uma vez que o uso, o significado, se não o significado, dos termos faz parte do debate, só é possível dar as seguintes definições de trabalho para os fins da discussão:

  • Uma verdade necessária é aquela que é verdadeira independentemente do estado do mundo ou, como às vezes se diz, em todos os mundos possíveis.
  • As verdades lógicas são aquelas verdades necessárias que são necessariamente verdadeiras devido ao significado de suas constantes lógicas apenas.
  • Na lógica formal, uma verdade lógica é apenas uma "afirmação" (sequência de símbolos em que nenhuma variável ocorre livremente) que é verdadeira sob todas as interpretações possíveis .
  • Uma verdade analítica é aquela cujo conceito predicado está contido em seu conceito de sujeito.

O conceito de verdade lógica está intimamente ligado àqueles de validade , consequência lógica e implicação (bem como autocontradição, necessariamente falso etc.).

  • Se q for uma verdade lógica, então p, portanto , será um argumento válido.
  • Se p1, p2, p3 ... pn, portanto, q é um argumento válido, então sua condicional correspondente será uma verdade lógica.
  • Se p1 & p2 & p3 ... pn implica q, então Se (p1 & p2 & p3 ... pn) então q é uma verdade lógica.
  • Se q é uma consequência lógica de p1 & p2 & p3 ... pn se e somente se p1 & p2 & p3 ... pn implica q e se e somente se If (p1 & p2 & p3..pn) então q é uma verdade lógica

Os problemas que surgem incluem:

  • Se existem verdades que devem ser verdadeiras, o que as torna verdadeiras?
  • Existem verdades analíticas que não são verdades lógicas?
  • Existem verdades necessárias que não são verdades analíticas?
  • Existem verdades necessárias que não são verdades lógicas?
  • A distinção entre verdade analítica e verdade sintética é espúria?

Veja também [1]

Paradoxo

Significado e referência

Ver

Nomes e descrições

Consequência formal e material

Constantes lógicas e conectivos

Quantificadores e teoria quantificacional

Lógica modal

Lógicas desviantes

Lógica clássica x não clássica

Teorias filosóficas da lógica

Outros tópicos

Veja também

Figuras importantes

Figuras na filosofia da lógica incluem (mas não estão limitadas a):

Filósofos da lógica

Referências

Fontes

Leitura adicional

links externos