179
1
Em meados do sculo XIX, George Boole teve a ideia de levar a
cabo a matematizao da lgica ou da racionalidade tal como ela era
ento encarada na rea a que se chama, ainda hoje e no seguimento de
Aristteles, Lgica. A ideia conduziu Boole a escrever essencialmente
dois livros. O primeiro, de 1847, tem por ttulo The Mathematical
Analysis of Logic, Being an Essay towards a Calculus of Deductive
Reasoning [MAL]; o segundo, publicado em 1854, An Investigation of
the Laws of Thought on which are Founded the Mathematical Theories
of Logic and Probabilities [LT]. Nos dois casos, a concretizao da
ideia de matematizao da lgica assume uma forma algbrica de
acordo com a qual Boole falou, desde logo, de uma lgebra da lgica
(LT, pp. 37-38) e, depois, passou a falar-se tambm de lgebra(s)
booleana(s) ou, mais geralmente e hoje em dia, de uma lgica algbrica.
Esta concretizao da ideia contrasta parcialmente com as tentativas
de matematizao da lgica que assumiam uma forma geomtrica em
Gottfried Leibniz, Leonhard Euler e Joseph D. Gergonne mas que
culminaram, por confluncia com o trabalho desenvolvido por Boole,
em John Venn e de modo muito mais rico nas investigaes lgicas de
Charles S. Peirce.
A prpria ideia de uma matematizao da lgica, porm, contrasta
radicalmente com a ideia de logificao da matemtica que est
presente em Gottlob Frege. O primeiro livro de Frege foi publicado em
1879 com o ttulo Begriffsschrift, eine der arithmetischen nachgebildet
Formelsprache das reinen Denkens [BS], i. e. notao (ou escrita)
conceptual (ou, ainda, ideografia) uma linguagem formal (ou, mais
literalmente, uma linguagem de frmulas) para o pensamento puro
construda como a (ou imagem da) aritmtica (ou, de modo muito
mais revelador, segundo o modelo proporcionado pela (linguagem da
aritmtica). A tentativa de concretizao da ideia de Frege assenta na
inveno de uma nova lgica ou numa quase completa renovao da
anterior imagem da racionalidade pela articulao desta ltima com um
avano decisivo na prpria Lgica (BS, p. 7). Sob clara inspirao
leibniziana (BS, pp. 6-7), Frege props-se assim criar uma lgica capaz
de aparecer simultaneamente como uma (lngua) characteristica
universalis e como um calculus ratiocinator que abrangesse aqueles
fenmenos tratados no mbito da lgica anterior, mas tambm capaz de
revelar (ou, simplesmente, de tornar imaginvel) o carcter lgico dos
conceitos da matemtica pura tal como sejam, por exemplo e em
primeira instncia, os conceitos aritmticos de ordem numa srie e de
180
nmero. Sem pensar nas vicissitudes que atingiram este ltimo aspecto
o aspecto conceptual e propriamente logicista das posies de
Frege, parece razovel considerar que a distino rgida entre a
justificao e a descoberta de uma verdade (BS, p. 5) solidria em
Frege da ideia de uma logificao generalizada do saber (BS, p. 7):
...we can with the greatest expectation of success proceed to fill the
gaps in the existing formula languages, connect their hitherto separated
fields into a single domain, and extend this domain to include fields that
up to now have lacked such a language. Deste ponto de vista, no de
admirar muito que Frege (BS, p. 7) se revelasse confiante no facto de
que a sua ideografia podia ser ...successfully used wherever special
value must be placed on the validity of proofs em qualquer lugar ou
contexto, quer se tratasse de lugares ou contextos matemticos, quer se
tratasse de lugares ou contextos no matemticos. Tambm se
compreende bem que Frege tivesse que pensar sempre na sua lgica
como universal no sentido em que essa lgica devia servir para
esclarecer o que uma prova quaisquer que fossem os objectos a em
causa. De acordo com isto, a lgica apresentada por Frege no BS no
possui ento, para alm de trs funes (propriamente) lgicas que
correspondem negao, condicionalizao e quantificao
universal, seno variveis. Estas variveis podem ser variveis
proposicionais, notacionalmente assimiladas por Frege a nomes (de
objectos) arbitrrios, variveis funcionais (para conceitos arbitrrios)
autorizando uma quantificao pelo menos de segunda ordem ou, claro,
variveis individuais para absolutamente todos os objectos ou para
um objecto qualquer da totalidade de objectos que h e no para
objectos deste ou daquele tipo especfico.
O modo de pensar de Frege contrasta com a ideia avanada por
Boole (LT, p. 42) no momento em que retomava a noo de universo
do discurso j antes usada por Augustus De Morgan: In every
discourse, whether of the mind conversing with its own thoughts, or of
the individual in his intercourse with others, there is an assumed or
expressed limit within which the subjects of its operation are confined.
The most unfettered discourse is that in which the words we use are
understood in the widest possible application, and for them the limits of
discourse are co-extensive with those of the universe itself. But more
usually we confine ourselves to a less spacious field. Pode certamente
pensar-se que assim como a universalidade (fregeana) presente, antes
de mais, em para todo o x ... faz (pelo menos) sentido para Boole,
tambm acaba por ser relativamente fcil proporcionar um sentido para
181
182
183
184
185
186
xy=yx ;
x+y=y+x ;
x(yz)=(xy)z ;
x+(y+z)=(x+y)+z ;
x(y+z)=xy+xz ;
x(yz)=xyxz ;
1x=x ;
0x=0 ;
x(1x)=0 ;
x+(1x)=1 ;
xx=x .
187
A ideia volta a ocorrer nos manuscritos destinados ao terceiro livro sobre lgica de
Boole. Numa determinada passagem destes textos, Boole (George Boole Selected
Manuscripts on Logic and its Philosophy, p. 153) escreve que alguns dos seus resultados
relate to thought as occupied about things but there is also a theory or doctrine of
thought as exercised upon propositions just as in the common logic we have the
distinction between the logic of categoricals and that of hypotheticals. In all formal
respects however, these theories are the same. Only it is to be observed that the science of
the forms of thought as exercised about propositions, the fundamental conceptions of
truth and falsehood take the place of the fundamental conceptions of existence and non-
188
3
Cerca de cem anos depois da publicao de MAL, comeava a
tornar-se evidente a diferena entre a chegada lgica matemtica que
Boole tinha concretizado em meados do sculo XIX e aquela outra
especfica forma de lgica matemtica (ou logstica, como ento era
comum dizer-se tambm) que surgiu apenas com o BS de Frege.
Ainda assim, uma anlise da terminologia consolidada
precisamente desde meados do sculo XX para falar de linguagens
formais em vez de linguagens simblicas permite realar a novidade
do pensamento de Boole. Escreve Alonzo Church (Introduction to
Mathematical Logic, p. 48), de modo bastante similar ao usado por
Boole para formular o primeiro aspecto do princpio de invarincia da
forma aquele aspecto que assegura as caractersticas de um verdadeiro
clculo: ...we begin by setting up, in abstraction from all
considerations of meaning, the purely formal part of the language [cujo
estudo ...is called syntax (p. 58)], so obtaining an uninterpreted
calculus or ... system. A seguir, Church (Introduction to Mathematical
Logic, pp. 54, 55) complementa a anterior ideia e observa que, diante de
um tal ...system [the purely formal part of the language] ..., we still
do not have a formalized language until an interpretation is provided. ...
(This lead us to the subject of semantics.) Por fim e um pouco adiante,
Church (Introduction to Mathematical Logic, p. 56) nota que a parte
puramente formal (ou sintctica) de uma linguagem formal pode ser
desenvolvida (ou estudada) com uma ou mais interpretaes especficas
em vista designada(s) ento interpretao(es) principal(is) mas
existence in the science of thought as exercised by things. A terminologia usada por
Boole completamente coerente e atendendo a esta ltima passagem, bem como
passagem de LT (p. 159) j citada, tm-se
(1) leis formais que so as leis de combinao dos smbolos, s
quais Boole (MAL, p. 3) se refere para formular o primeiro aspecto do
princpio de invarincia da forma,
(2) leis cientficas, agora reveladas no mbito de um certo
inqurito, teoria ou doutrina simblica que de acordo agora com o segundo
aspecto do princpio de invarincia da forma est dependente de
interpretao (George Boole Selected Manuscripts on Logic and its
Philosophy, pp. 191-192) ou expressa pensamento sob condies de
interpretao (George Boole Selected Manuscripts on Logic and its
Philosophy, p. 148)
e
(3) mtodos ou procedimentos ou instrumentos fundados (LT,
p. 159) sobre essas leis.
189
190
191
192
193
language as consisting of primitive symbols and a definition of wellformed formula, together with an interpretation ... and to take the
axioms [se algum existir] and rules of inference as constituing a logic
for the language [ou, de outro modo, como constituindo a componente
dedutiva ou o aparato dedutivo (para a linguagem formal em causa)].
Um pouco depois, surge a posio do prprio Church (Introduction to
Mathematical Logic, p. 50) sobre este modo de pensar: But we reject it
here, partly because of reluctance to change a terminology already
fairly well established, partly because the alternative terminology leads
to a twofold division in each of the subjects of syntax and semantics ...
according as they treat of the object language alone or of the object
language together with a logic for it which ... seems unnatural, and of
little use so far as can now be seen.
Em primeiro lugar e no seguimento destas observaes de Church,
pode-se ver o que uma interpretao para qualquer um dos dois
modos de pensar. Uma interpretao uma atribuio de referncia ou
de significado a smbolos primitivos de um clculo (sistema formal) ou
de uma linguagem formal consagrando nesta ltima alternativa,
respectivamente, os modos de pensar preferido e dispensado por
Church. Nos termos em que Boole formulou o princpio de invarincia
da forma (MAL, p. 3) e falou da natureza de um verdadeiro clculo
(MAL, p. 4), importa que uma (ou vrias) interpretao(es) seja(m)
consistente(s) em dois sentidos: no sentido em que a(s)
interpretao(es) conserva(m) invariantes certas regras (ou leis, na
terminologia de Boole) de combinao dos smbolos; no sentido
adicional ao anterior em que, se isso ocorrer com vrias
interpretaes, ento todas estas interpretaes so igualmente
admissveis. De acordo com o princpio de invarincia da forma, aquilo
que Boole chamou um verdadeiro clculo , por um lado,
sintacticamente isolvel podendo ser encarado como uma combinao
sob determinadas regras (ou leis, como diz Boole) dos smbolos
primitivos de um clculo (sistema formal) ou de uma linguagem formal
e, por outro lado, atendendo agora ao que Boole (George Boole
Selected Manuscripts on Logic and its Philosophy, p. 148) chamou
condies de interpretao, semanticamente interpretvel de um modo
capaz de assegurar uma referncia ou um significado no s para os
smbolos primitivos, como para os resultados da aplicao das regras
(ou da conservao da verdade das leis, na terminologia de Boole) a que
esto sujeitos esses smbolos primitivos.
Em segundo lugar, deve-se notar que a diferena entre os dois
194
Por vezes e no mbito do segundo modo de pensar, usam-se os termos sistema formal
e clculo (lgico) apenas para aquilo que, no seguimento da nota acima citada de
Church, a lgica ou, ainda e de novo, a componente dedutiva ou o aparato dedutivo
de uma linguagem formal.
7
Mesmo que se prefiram usar os termos sistema formal e clculo (lgico) para esta
outra linguagem formal. Nesta situao, torna-se evidente que h apenas clculos
(sistemas formais) lgicos embora no seja ainda possvel dizer, tal e qual como
acontece no primeiro modo de pensar, que todas as linguagens formais so
caracteristicamente lgicas ou, ainda, que todas as linguagens formais tm uma lgica
(um componente dedutivo ou um aparato dedutivo).
195
Note-se que pode ainda ser estabelecido pelo menos por comodidade de escrita que
os axiomas de L (se algum existir) contam como teoremas de L.
196
F1 , ... , Fn-1 L Fn
(Fn uma consequncia lgica semntica,
em L, de F1 , ... , Fn-1).
No caso em que n=1, tem-se
(2.1) F vlida em L ou uma verdade lgica de L
se e s se F verdadeira em todas as interpretaes
de L escrevendo-se, neste caso,
L F
(F uma verdade lgica de L).9
A ordem da explicao anterior pode ser invertida. Neste caso, os
conceitos sintctico e semntico de validade (para um argumento com
premissas F1 , ... , Fn-1 e concluso Fn) so explicados a partir da
condicionalizao
(1*) (F1 ... Fn-1) Fn
e conforme esta condicionalizao seja, respectivamente,
(1*.1) um teorema de L, L (F1 ... Fn-1) Fn ,
ou
Fn .
Note-se que pode pretender-se que cada axioma de L (se algum existir) uma verdade
lgica e que, nesse caso, todos os teoremas de L sero tambm pensados (ou pelo
menos pensados, por oposio a derivveis) como verdades lgicas.
197
Referncias
Boole, George The Mathematical Analysis of Logic, Being an Essay towards
a Calculus of Deductive Reasoning [MAL]. Cambridge: Macmillan, Barclay &
Macmillan; London: G. Bell, 1847. Reimp. [Bristol]: Thoemmes, 1998.
Boole, George An Investigation of the Laws of Thought on which are
Founded the Mathematical Theories of Logic and Probabilities [LT].
Cambridge: Macmillan; London: Walton & Maberly, 1854. Reimp. [New
York]: Dover, 1973.
Boole, George George Boole - Selected Manuscripts on Logic and its
Philosophy, Ed.: Ivor Grattan-Guiness; Grard Bornet. Basel; Boston; Berlin:
Birkhuser, 1997.
Boole, George The Calculus of Logic. Studies in Logic and Probability,
Ed.: Rush Rhees. London: Watts, 1952, pp. 125-140.
Church, Alonzo Introduction to Mathematical Logic. Princeton, NJ: Princeton
University Press, 1956.
Frege, Gottlob Begriffsschrift, eine der arithmetischen nachgebildet
Formelsprache das reinen Denkens / Begriffsschrift, a Formula Language,
Modelled Upon That of Arithmetic, for Pure Thought [BS]. From Frege to
Gdel: A Souce Book in Mathematical Logic, 1879-1931, Ed.: Jean van
198