LÉXICOS DE FILOSOFIA

(in. Formula; fr. Formule, al. Formei; it. Formula).

1. elemento de um cálculo . Nesse sentido, a fórmula distingue-se da proposição, que é o elemento de um sistema semântico (Carnap, Foundations of Logic and Mathematics, § 9).

2. O mesmo que enunciado ou proposição.

3. Mais em geral: uma sequência finita linear de símbolos primitivos. Foi assim que A. Church definiu a fórmula, chamando de “fórmula Bem formada” a fórmula que atende a certas regras fundamentais de uma linguagem ilntr. to Mathematical Logic, 1956, § 7).