Metalógica
De Wikipedia, a enciclopédia encyclopedia
Metalógica é o estudo da metateoria da Lógica. Enquanto a Lógica estuda como sistemas lógicos podem ser usados para construir argumentos válidos e corretos, a Metalógica estuda as propriedades dos sistemas lógicos [1]. Lógica concerne as verdades que podem ser verificadas usando sistemas lógicos; Metalógica fornece afirmações que podem ser verificadas a partir de linguagens e sistemas que são usados para expressar tais afirmações [2]
Este artigo ou secção resulta, no todo ou em parte, de uma tradução do artigo «Metalogic» na Wikipédia em inglês, na versão original. |
Os objetos básicos do estudo da metalógica são as linguagens formais, sistemas formais, e suas interpretações. O estudo da interpretação de sistemas formais está no ramo da Lógica Matemática que é conhecida como teoria dos modelos, e os estudos de sistemas dedutivos faz parte do área de conhecimento da Teoria da Prova.