The bad company objection and the extensionality of Frege’s logic

• Ciccarelli, Vincenzo ^[1]
  1. [1] Universidade de São Paulo

     Universidade de São Paulo

     Brasil

     
• Localización: Perspectiva Filosófica: PF, ISSN-e 2357-9986, ISSN 0104-6454, Vol. 47, Nº. Extra 2, 2020 (Ejemplar dedicado a: Número Especial sobre Filosofia da Lógica), págs. 231-247
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen
  • 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.