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

Autores/as

  • Mariela Rubin UBA, BA-Logic Group

DOI:

https://doi.org/10.22370/rhv2017iss9pp103-119

Palabras clave:

armonía, tonk, inferencialismo, semánticas de la prueba

Resumen

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’.

Descargas

Los datos de descargas todavía no están disponibles.

Citas

Belnap, Nuel D. (1962). “Tonk, Plonk and Plink”. Analysis, Vol. 22, No. 6 (Jun., 1962), pp. 130-134.

Bonnay, D. (2008). “Logicality and Invariance”. Bulletin of Symbolic Logic, Vol. 14, pp. 29-68.

Buacar, N. (2015). “La justificación de la deducción”. Tesis doctoral sin publicar, UBA.

Cook, R. (2005). “What’s wrong with tonk(?)”, Journal of Philosophical Logic, Vol. 34, Nro. 2, pp. 217-226.

Dummett, M. (1978). “Truth and Other Enigmas”, Cambridge, MA: Harvard University Press.

Dummett, M. (1991). “The Logical Basis of Metaphysics”. Cambridge: Harvard University Press.

Gómez Torrente, M. (2007). “Constantes Lógicas”. En M. J. Frápolli (comp.), Filosofía de la Lógica, Madrid, Tecnos, pp. 179-205.

Prawitz, D. (1965). “Natural Deduction. A Proof-Theoretical Study”, Estocolmo, Almqvist&Wiksell.

Prawitz, D. (1971). “Ideas and Results in Proof Theory”. En Jens E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970). Amsterdam: North-Holland, pp. 235–308.

Prawitz, D. (2007). “Pragmatist and Verificationist Theories of Meaning” En Randall E. Auxier and Lewis Edwin Hahn (eds.), The Philosophy of Michael Dummett. La Salle: Open Court, pp. 455–481.

Prior, N. (1960). “The Runabout Inference-Ticket”. Analysis, Vol. 21, No. 2, (Dec., 1960), pp. 38-39.

Rahman, S. & Redmond, J. (2016). “Armonía Dialógica: tonk, Teoría Constructiva de Tipos y Reglas para Jugadores Anónimos”, THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia, vol. 31, núm. 1, pp. 27-53.

Read, S. (2009). “General-Elimination Harmony and the Meaning of the Logical Constants”. Springer Science+Business. Media B.V. 2010.

Sher, G. (2011). “Is Logic in the Mind or in the World?”. Synthese, Vol. 18, pp. 353-65.

Sher, G. (2013). “The foundational problem of logic”. The Bulletin of Symbolic Logic, Vol. 19, Nro. 2, pp. 145-198. Las citas corresponden a la versión digital disponible en: http://philosophyfaculty.ucsd.edu/faculty/gsher/the_foundational_problem_of_log ic_bsl.pdf

Steiberger, F. (2011). “What Harmony Could and Could Not Be.” Australasian Journal of Philosophy, Volume 89, - Issue 4, pp. 617-639.

Tajer, D. (2014). “Dialeteismo: una teoría contradictoria de la verdad”. En E. A. Barrio (dir.), La lógica de la verdad, EUDEBA, Buenos Aires, Argentina, pp. 249-292.

Tarski, A. (1933). “The concept of truth in the languages of the deductive sciences” (Polish), PraceTowarzystwaNaukowegoWarszawskiego, Wydzial III NaukMatematyczno-Fizycznych 34, Warsaw; reprinted in Zygmunt 1995, pp. 13–172; expanded English translation in Tarski 1983, pp. 152–278.

Tarski, A. (1966). “What Are Logical Notions?”. En J. Corcoran (ed.), History and Philosophy of Logic 7 (1986), pp. 143-54.

Descargas

Publicado

2017-07-23

Cómo citar

Rubin, M. (2017). Constantes lógicas y la armonía de las reglas de inferencia. Revista De Humanidades De Valparaíso, (9), 103–119. https://doi.org/10.22370/rhv2017iss9pp103-119

Número

Núm. 9 (2017): No 9 (2017)

Sección

Artículos-Miscelánea

Licencia

Aquellos autores/as que tengan publicaciones con esta revista, aceptan los términos siguientes:

  1. Los autores/as conservarán sus derechos de autor y garantizarán a la revista el derecho de primera publicación de su obra, el cual estará simultáneamente sujeto a la Licencia de reconocimiento de Creative Commons (CC BY-NC-ND 4.0 International) que permite a terceros compartir la obra siempre que se indique su autor y su primera publicación esta revista.
  2. Los autores/as podrán adoptar otros acuerdos de licencia no exclusiva de distribución de la versión de la obra publicada (p. ej.: depositarla en un archivo telemático institucional o publicarla en un volumen monográfico) siempre que se indique la publicación inicial en esta revista.
  3. Se permite y recomienda a los autores/as difundir su obra a través de Internet (p. ej.: en archivos telemáticos institucionales o en su página web) antes y durante el proceso de envío, lo cual puede producir intercambios interesantes y aumentar las citas de la obra publicada. (Véase El efecto del acceso abierto).