A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles
Una lógica dialógica de orden superior para demostrar la ley de la identidad de los indiscernibles de Leibniz
| dc.contributor | en-US | |
| dc.contributor | es-ES | |
| dc.creator | Shafiei, Mohammad | |
| dc.date | 2017-07-15 | |
| dc.identifier | https://revistas.uv.cl/index.php/RHV/article/view/62 | |
| dc.identifier | 10.22370/rhv.2017.9.849 | |
| 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 | Institute of Philosophy, University of Valparaiso | en-US |
| dc.relation | https://revistas.uv.cl/index.php/RHV/article/view/62/985 | |
| dc.rights | Copyright (c) 2017 Mohammad Shafiei | en-US |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0 | en-US |
| dc.source | Humanities Journal of Valparaiso; No 9 (2017): No 9 (2017); 73-88 | en-US |
| dc.source | Revista de Humanidades de Valparaíso; No 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; Dialogical Logic; Identity; Equality | en-US |
| dc.subject | identidad de los indiscernibles; lógica dialógica; identidad; 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 | en-US | |
| 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}\)