Una lógica dialógica de orden superior para demostrar la ley de la identidad de los indiscernibles de Leibniz

Mohammad Shafiei

Resumen


En este trabajo discuto algunas cuestiones en torno a la ley de la identidad de los indiscernibles, especialmente respecto a su diferencia con la llamada ley de la indiscernibilidad de los idénticos. De esta manera, distingo entre las nociones de identidad, similaridad e igualdad a través de una discusión fenomenológica y utilizando la idea clave de la intencionalidad. Para formular esta ley leibniziana y para examinar su validez, necesitaremos de una lógica de orden superior. Daré entonces reglas semánticas para una lógica de segundo orden con identidad en el marco de la lógica dialógica, que fue introducida por P. Lorenzen. Demostraré así la validez de la ley de identidad de los indiscernibles por medio de la lógica introducida.

Palabras clave


identidad de los indiscernibles; lógica dialógica; identidad; igualdad

Referencias


Clerbout, N. (2014). Finiteness of plays and the dialogical problem of decidability. IfCoLog Journal of Logics and their Applications, 1, 115-130.

Husserl, E. (1973). Experience and judgment, trl. J. Churchill, and K. Ameriks. London : Routledge.

Husserl, E. (1982). Cartesian meditations, trl. Dorian Cairns.

Husserl, E. (2002). Logische untersuchungen. Ergänzungsband. Erster teil, ed. U. Melle (Vol. XX/1).

Leibniz, G. (1989). Philosophical papers and letters, Ed. L. E. Loemker. Kluwer Academic Publishers.

Leibniz, G. (2008). New essays on human understanding, book ii: Ideas, trl. J. Bennett.

Mugnai, M. (1997). An unpublished latin text on terms and relations. The Leibniz Review, 7, 125–127.

Rahman, S., & Keiff, L. (2005). On how to be a dialogician. In D. Vanderveken (Ed.), Logic, thought and action (Vol. 2, p. 359-408). Springer Netherlands.

Rebuschi, M. (2009). Implicit versus explicit knowledge in dialogical logic. In O. Majer, A.-V. Pietarinen, & T. Tulenheimo (Eds.), Games: Unifying logic, language, and philosophy (pp. 229–246). Springer Verlag.

Rückert, H. (2001). Why dialogical logic? In H. Wansing (Ed.), Essays on non- classical logic (pp. 165–185). River Edge: World Scientific.




DOI: https://doi.org/10.22370/rhv.2017.9.849

Copyright (c) 2017 Mohammad Shafiei

Licencia de Creative Commons
Este obra está bajo una licencia de Creative Commons Reconocimiento-NoComercial-CompartirIgual 4.0 Internacional.