LGICA E CONVERSAO* H. P.

Grice um lugar comum entre lgicos a afirmao de que h, ou parece haver, divergncias na significao entre pelo menos alguns dos que eu chamaria smbolos formais, a saber ,#,",!,(x), E(x), ?x (quando se Ihes d a interpretao standard, em termos de dois valores de verdade) e seus supostos anlogos ou contrapartes em Inguas naturais - expresses tais como no, e, ou, se, todos, alguns, (ou pelo menos um,), o. Alguns lgicos podem, talvez, ter desejado afirmar que, de fato, no h tais divergncias; mas tais afirmaes, se alguma vez foram feitas, foram-no de uma forma irrefletida e por isso aqueles que as fizeram sujeitaram-se a crticas bastante fe rozes. Aqueles que admitem que tais divergncias existem concordariam, no essencial, com um ou outro dos dois grupos rivais que, para os propsitos deste artigo, chamarei de grupos formalista e informalista. Um perfil de uma posio formalista caracterstica seria o seguinte: uma vez que os lgicos se ocupam com a formulao de padres muito gerais de inferncias vlidas, os smbolos formais possuem uma vantagem decisiva sobre suas contrapartes em lnguas naturais. Isto porque ser possvel construir, em termos desses smbolos formais, um sistema muito geral de frmulas, um nmero considervel das quais pode ser tomado como, ou est afetivamente relacionado a padres de inferncias cujas expresses envolvem algum ou todos os smbolos: um tal sistema pode consistir em um certo conjunto de frmulas simples que deve ser aceito se os smbolos tm as significaes que Ihes tem sido atribudas, e um nmero indefinido de outras frmulas, muitas das quais sem aceitabilidade bvia, mas cuja aceitabilidade pode ser demonstrada se os membros d o conjunto original so aceitveis. Temos, ento, um modo de dar conta de padres de inferncia cuja aceitabilidade no bvia; e se, como possvel algumas vezes, pudermos aplicar um procedimento de deciso, teremos um modo ainda melhor (para operar com inferncias). Alm disso, de um ponto de vista filosfico, o fato de as contrapartes naturais possurem elementos em sua significao que no correspondem aos smbolos formais considerado como uma imperfeio das Inguas naturais, sendo tais elementos de significao excrescncias indesejveis. A presena de tais elementos tem como resultado o fato de que os conceitos no interior dos quais eles aparecem no possam ser clara e precisamente definidos e que no possa ser, em algumas circunstncias, atribudo um valor de verdade definido pelo menos para algumas afirmaes que os envolvem; a indefinio destes conceitos no s objetvel em si mesma, mas deixa em aberto o caminho para a metafsica - no podemos estar seguros de que nenhuma destas expresses em Inguas naturais no seja metafisicamente marcada . Em funo destas razes, as expresses da linguagem corrente no podem ser consideradas como definitivamente aceitveis e podem ser, no fim das contas, ininteligveis. O caminho adequado conceber e