Resumen de Constantes lógicas y la armonía de las reglas de inferencia

Mariela Rubinzal

• español

  A lo largo de la literatura la pregunta por qué es una constante lógica ha recibido distintas respuestas desde los acercamientos de la teoría de modelos (Tarski; 1966), (Sher; 1991), (Gómez Torrente; 2003), (Bonnay; 2007) hasta las respuestas que centran el significado en las reglas de uso (Dummett; 1991), (Prawitz; 1965). Frente a la segunda corriente filosófica se han presentado algunos inconvenientes ineludibles, en particular la constante ‘tonk’ (Prior; 1960 ) frente a la que los defensores del inferencialismo en lógica han presentado varias soluciones, en particular la armonía. El objetivo de este artículo es mostrar que los distintos criterios de ‘armonía’ que se utilizan en semántica de la prueba para establecer qué es una constante lógica no cumplen con su objetivo ya que no son necesario o suficientes. Presentaré las razones filosóficas por las que surge el concepto de ‘armonía’ y luego describiré las distintas formas en las que la literatura suele entender el concepto de ‘armonía’. Luego mostraré que o bien sobregeneran o bien subgeneran conectivas en base a una serie de contraejemplos. Finalmente, desarrollaré algunas razones filosóficas que deberían delimitar por dónde continuar la búsqueda de una definición satisfactoria del concepto de ‘armonía’.

• English

  All through the literatura, the question about what is a logical constant has recieved many answers, from model-theoretic aproaches (Tarski; 1966), (Sher; 1991), (Bonnay; 2007) to answers that focus in the inferential practice as meaning (Dummett; 1991), (Prawitz; 1965), (Lorenzen; 1955). Detractors of the second tradition presented many ineludible incovenients, in particular, the logical constant named ‘tonk’ (Prior; 1960). Inferentialist tryed many solutions, in particular they presented the concept of ‘harmony’. The goal of this paper is to show that the different criteria of ‘harmony’ used in the proof-theoretic semantics to determine what is and what is not a logical constant fail to be necessary or sufficient.  I will show the philosophical reasons that make this concept appear and then i will describe the different ways in wich the literatura understads the concept of ‘harmony’. Then I will show that they subgenerate or overgenerate connectives with some counterexamples. Finaly, I will explain some philosophical reasons that should delimitate where to go towards a satisfactory definition of ‘harmony’.