Constante lógica - Logical constant

Na lógica , uma constante lógica de uma linguagem é um símbolo que tem o mesmo valor semântico em todas as interpretações de . Dois tipos importantes de constantes lógicas são conectivos lógicos e quantificadores . O predicado de igualdade (geralmente escrito '=') também é tratado como uma constante lógica em muitos sistemas lógicos .

Uma das questões fundamentais na filosofia da lógica é "O que é uma constante lógica?"; isto é, que característica especial de certas constantes as torna lógicas por natureza?

Alguns símbolos comumente tratados como constantes lógicas são:

Símbolo Significado em inglês
T "verdade"
F " falso "
¬ " não "
" e "
" ou "
" implica ", "se ... então"
" para todos "
" existe ", "para alguns"
= " é igual a "
"necessariamente"
"possivelmente"

Muitas dessas constantes lógicas às vezes são denotadas por símbolos alternativos ( por exemplo , o uso do símbolo "&" em vez de "∧" para denotar o e lógico ).

Definir constantes lógicas é uma parte importante do trabalho de Gottlob Frege e Bertrand Russell . Russell voltou ao assunto das constantes lógicas no prefácio da segunda edição (1937) de The Principles of Mathematics, observando que a lógica se torna linguística: "Se quisermos dizer algo definido sobre elas, [elas] devem ser tratadas como parte do linguagem, não como parte do que a linguagem fala. " O texto deste livro usa relações R, suas conversas e complementos como noções primitivas , também tidas como constantes lógicas na forma aRb.

Veja também

Referências

links externos