Pokaż uproszczony rekord

dc.contributor.authorManzano, María
dc.contributor.authorMoreno, Manuel Crescencio
dc.date.accessioned2019-04-26T14:21:42Z
dc.date.available2019-04-26T14:21:42Z
dc.date.issued2018
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/28049
dc.description.abstractThis article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view. In one case, identity is a notion which has to be defined and, in the other case, identity is a notion used to define other logical concepts. In our previous paper, [16], we investigated whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic with standard semantics a reliable definition of identity is possible. In the present study we have moved to modal logic and realized that here we can distinguish in the formal language between two different equality symbols, the first one shall be interpreted as extensional genuine identity and only applies for objects, the second one applies for non rigid terms and has the characteristic of synonymy. We have also analyzed the hybrid modal logic where we can introduce rigid terms by definition and can express that two worlds are identical by using the nominals and the @ operator. We finish our paper in the kingdom of identity where the only primitives are lambda and equality. Here we show how other logical concepts can be defined in terms of the identity relation. We have found at the end of our walk a possible point of convergence in the logic Equational Hybrid Propositional Type Theory (EHPTT), [14] and [15].en_GB
dc.description.sponsorshipThis research has been possible thanks to the research projects sustained by Ministerio de Econom´ıa y Competitividad of Spain with references FFI2013-47126-P and FFI2017-82554-Pen_GB
dc.language.isoenen_GB
dc.publisherWydawnictwo Uniwersytetu Łódzkiegoen_GB
dc.relation.ispartofseriesBulletin of the Section of Logic; 3
dc.rightsThis work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.en_GB
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0en_GB
dc.subjectidentityen_GB
dc.subjectequalityen_GB
dc.subjectcompletenessen_GB
dc.subjectnameabilityen_GB
dc.subjectfirst-order modal logicen_GB
dc.subjecthybrid logicen_GB
dc.subjecthybrid type theoryen_GB
dc.subjectequational hybrid propositional type theoryen_GB
dc.titleIdentity, equality, nameability and completeness. Part IIen_GB
dc.typeArticleen_GB
dc.page.number141-158
dc.contributor.authorAffiliationSpain, Salamanca, University of Salamanca, Department of Philosophy
dc.contributor.authorAffiliationSpain, Salamanca, University of Salamanca, Department of Philosophy
dc.identifier.eissn2449-836X
dc.references[1] P. B. Andrews, A reduction of the axioms for the theory of propositional type theory, Fundamenta Mathematicae 52 (1963), pp. 354–350.en_GB
dc.references[2] P. B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Academic Press, Orlando, San Diego, New York, Austin, Boston, London, Sydney, Tokyo, Toronto (1986).en_GB
dc.references[3] P. B. Andrews, A Bit of History Related to Equality as a Logical Primitive, [in:] The Life and Work of Leon Henkin. Essays on His Contributions, Springer Basil, (2014), pp. 67–71.en_GB
dc.references[4] C. Areces, P. Blackburn, A. Huertas and M. Manzano, Completeness in Hybrid Type Theory, Journal of Philosophical Logic 43/2–3 (2014), pp. 209–238. DOI: 10.1007/s10992-012-9260-4.en_GB
dc.references[5] P. Blackburn and J. van Benthem, Modal Logic: A Semantic Perspective, [in:] Handbook of Modal Logic, Elsevier, (2007), pp. 1–84.en_GB
dc.references[6] P. Blackburn, A. Huertas, M. Manzano and F. Jorgensen, Henkin and Hybrid Logic, [in:] The Life and Work of Leon Henkin. Essays on His Contributions, Springer Basil, (2014), pp. 279–306.en_GB
dc.references[7] M. Fitting and R. L. Mendelsohn, First-Order Modal Logic, Kluwer Academic Publishers, Dordrecht, Boston, London (1998).en_GB
dc.references[8] M. Fitting, Types, Tableaus, and G¨odel’s God, Kluwer Academic Publishers, Dordrecht, Boston, London (2002).en_GB
dc.references[9] L. Henkin, The completeness of the first order functional calculus, The Journal of Symbolic Logic 14 (1949), pp. 159–166.en_GB
dc.references[10] L. Henkin, Completeness in the theory of types, The Journal of Symbolic Logic 15 (1950), pp. 81–91.en_GB
dc.references[11] L. Henkin, A Theory of Propositional Types, Fundamenta Mathematicae 52 (1963), pp. 323–344. Errata, Fundamenta Mathematicae 53 (1964), p. 119.en_GB
dc.references[12] L. Henkin, Identity as a logical primitive, Philosophia. Philosophical Quarterly of Israel 5/1–2 (1975), pp. 31–45.en_GB
dc.references[13] G. E. Hughes and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London, New York (1996).en_GB
dc.references[14] M.Manzano, M. A.Martins and A. Huertas, A Semantics for Equational Hybrid Propositional Type Theory, Bulletin of the Section of Logic 43:3/4 (2014), pp. 121–138.en_GB
dc.references[15] M. Manzano, M. A. Martins and A. Huertas, Completeness in Equational Hybrid Propositional Type Theory. To appear in Studia Logica.en_GB
dc.references[16] M. Manzano and M. C. Moreno, Identity, Equality, Nameability and Completeness, Bulletin of the Section of Logic 46:3/4 (2017), pp. 169–195.en_GB
dc.references[17] W. V. O. Quine, Reference and Modality, [in:] From a Logical Point of View, Harvard University Press, Cambridge, MA (1953), pp. 139–159.en_GB
dc.references[18] F. P. Ramsey, The Foundation of Mathematics, Proceedings of the London Mathematical Society, Ser. 2, Vol. 25, Part 5, (1926), pp. 338–384. DOI: 10.1112/plms/s2-25.1.338en_GB
dc.references[19] L. Wittgenstein, Tractatus Logico-Philosophicus, Routledge & Kegan Paul, London (1922). Originally published as Logisch-Philosophische Abhandlung, Annalen der Naturphilosophische XIV: 3/4 (1921).en_GB
dc.contributor.authorEmailmara@usal.es
dc.contributor.authorEmailmanuelcrescencio@gmail.com
dc.identifier.doi10.18778/0138-0680.47.3.01
dc.relation.volume47en_GB


Pliki tej pozycji

Thumbnail

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.