A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles

Shafiei, Mohammad

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

dc.creator	Shafiei, Mohammad
dc.date	2017-07-15
dc.date.accessioned	2022-05-09T16:07:19Z
dc.date.available	2022-05-09T16:07:19Z
dc.identifier	https://revistas.uv.cl/index.php/RHV/article/view/62
dc.identifier	10.22370/rhv2017iss9pp73-88
dc.identifier.uri	https://revistaschilenas.uchile.cl/handle/2250/182682
dc.description	In this note I discuss some issues around the law of Identity of Indiscernibles and, above all, its difference with the so-called law of indiscernibilty of identicals. In this way I distinguish between the notions identity, sameness and equality, through a phenomenological discussion and using the key idea of intentionality. In order to formulate the Leibnizian law of Identity of Indiscernibles, and examine its validity, we need higher order logic. I will give semantic rules for a second-order logic with identity in the framework of the dialogical logic, introduced by P. Lorenzen. Then I will demonstrate the validity of the law of Identity of Indiscernibles by means of the introduced logic.	en-US
dc.description	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.	es-ES
dc.format	application/pdf
dc.language	eng
dc.publisher	Instituto de Filosofía, Universidad de Valparaíso	en-US
dc.relation	https://revistas.uv.cl/index.php/RHV/article/view/62/985
dc.rights	Copyright (c) 2017 Humanities Journal of Valparaiso	en-US
dc.source	Revista de Humanidades de Valparaíso; No. 9 (2017): No 9 (2017); 73-88	en-US
dc.source	Revista de Humanidades de Valparaíso; Núm. 9 (2017): No 9 (2017); 73-88	es-ES
dc.source	0719-4242
dc.source	0719-4234
dc.source	10.22370/rhv2017iss9
dc.subject	Identity of Indiscernibles	en-US
dc.subject	Dialogical Logic	en-US
dc.subject	Identity	en-US
dc.subject	Equality	en-US
dc.subject	identidad de los indiscernibles	es-ES
dc.subject	lógica dialógica	es-ES
dc.subject	identidad	es-ES
dc.subject	igualdad	es-ES
dc.title	A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles	en-US
dc.title	Una lógica dialógica de orden superior para demostrar la ley de la identidad de los indiscernibles de Leibniz	es-ES
dc.type	info:eu-repo/semantics/article
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	Artículo evaluado por pares	es-ES

This item appears in the following Collection(s)

Revista de Humanidades de Valparaíso
\([0-9]{4}\)

Show simple item record