Resumen de The bad company objection and the extensionality of Frege’s logic
- English
According to the Bad Company objection, the fact that Frege’s infamous Ba-sic Law V instantiates the general definitional pattern of higher-order abs-traction principles is a good reason to doubt the soundness of this sort of de-finitions. In this paper I argue against this objection by showing that the defi-nitional pattern of abstraction principles – as extrapolated from §64 of Frege’s Grundlagen– includes an additional requirement (which I call the spe-cificity condition) that is not satisfied by the Basic Law V while is satisfied by other higher-order abstractions such as Hume’s Principle. I also show that the failure of this additional requirement in the case of Basic Law V is engende-red by an essential feature of Frege’s conception of logic and thus that Frege himself should not have regarded the Basic Law V as a definition by abstraction.
- português
Segundo a objeção da Má Companhia, o fato de que a infame Lei Básica V de Frege proporciona o padrão de definição geral dos princípios de abstração superior é uma boa razão para duvidar da validade deste tipo de definições. Neste artigo, eu argumento contra esta objeção, mostrando que o padrão de definição dos princípios de abstração — como extrapolados a partir do §64 do Grunlagen de Frege — inclui um requisito adicional (que denomino como a condição de especificidade) que não é satisfeito pela Lei Básica V, embora seja satisfeito por outras abstrações de ordem superior, tal como o Princípio de Hume. Mostro também que a falha deste requisito adicional no caso da Lei Básica V é engendrada por uma característica essencial da concepção de Frege da lógica, e que, assim, o próprio Frege não deveria ter tomado a Lei Básica V como uma definição por abstração.
