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