• Journals
  • Discipline
  • Indexed
  • Institutions
  • About
JavaScript is disabled for your browser. Some features of this site may not work without it.
View Item 
  •   Home
  • Universidad de Valparaíso
  • Revista de Humanidades de Valparaíso
  • View Item
  •   Home
  • Universidad de Valparaíso
  • Revista de Humanidades de Valparaíso
  • View Item

Logical Constants and Harmony of the Rules of Inference

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

Author
Rubin, Mariela

Full text
https://revistas.uv.cl/index.php/RHV/article/view/64
10.22370/rhv2017iss9pp103-119
Abstract
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’.
 
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’.
 
Metadata
Show full item record
Discipline
Artes, Arquitectura y UrbanismoCiencias Agrarias, Forestales y VeterinariasCiencias Exactas y NaturalesCiencias SocialesDerechoEconomía y AdministraciónFilosofía y HumanidadesIngenieríaMedicinaMultidisciplinarias
Institutions
Universidad de ChileUniversidad Católica de ChileUniversidad de Santiago de ChileUniversidad de ConcepciónUniversidad Austral de ChileUniversidad Católica de ValparaísoUniversidad del Bio BioUniversidad de ValparaísoUniversidad Católica del Nortemore

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister
Dirección de Servicios de Información y Bibliotecas (SISIB) - Universidad de Chile
© 2019 Dspace - Modificado por SISIB