
Um pouco sobre a concepção de lógica do Russell
Estou para dizer isso a um tempo. Têm algumas coisas que gosto muito, e outras que gosto menos, no artigo do Kripke, “Russell’s Notion of Scope” (na Mind de 2005, comemorando os 100 anos de “On Denoting”). O que gosto mesmo é que ele se afasta da cantilena do timão que inclui nada menos do que Burton Dreben, J. van Heijenoort, Warren Goldfarb, Thomas Ricketts, Peter Hylton e outros. A exemplo de outros comentadores de Russell, como Gregory Landini e Ian Proops, Kripke é categórico na negação de que Russell não tem, ou não poderia ter, uma “metaperspectiva” para abordar a sua lógica. Melhor ainda é que Kripke relaciona esse ponto com Principia Mathematica *14! Eis uma passagem legal:
A whole school of writers has emerged who state that Principia does not contain metatheorems, a school that includes Dreben, van Heijenoort and Goldfarb. The assertions following and preceding *14.3 are an explicit counterexample to their claim, though there are many others, and this is not even the most important counterexample. It is an explicit metatheorem that in a truth-functional context the scope of a single description does not matter. (pp.1013-14)
A whole school of writers has emerged who state that Principia does not contain metatheorems, a school that includes Dreben, van Heijenoort and Goldfarb. The assertions following and preceding *14.3 are an explicit counterexample to their claim, though there are many others, and this is not even the most important counterexample. It is an explicit metatheorem that in a truth-functional context the scope of a single description does not matter. (pp.1013-14)




