A Objeção de Má Companhia e a Extensionalidade da Lógica da Frege

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.