{"id":14189,"date":"2025-09-12T10:42:35","date_gmt":"2025-09-12T10:42:35","guid":{"rendered":"https:\/\/blogs.uned.es\/metis\/?page_id=14189"},"modified":"2025-09-12T10:44:19","modified_gmt":"2025-09-12T10:44:19","slug":"14189-2","status":"publish","type":"page","link":"https:\/\/blogs.uned.es\/metis\/14189-2\/","title":{"rendered":"Miguel Mu\u00f1oz"},"content":{"rendered":"\n


Miguel Mu\u00f1oz P\u00e9rez y Umberto Rivieccio: Algunas observaciones sobre l\u00f3gicas de condicionales indicativos<\/strong><\/p>\n\n\n\n

Martes 18 noviembre 2025 @11:30 (CET)
Sala B, Edificio de Humanidades, UNED<\/a>\u00a0&\u00a0online<\/a><\/p>\n\n\n\n

Resumen<\/em>
En (5; 4) ya hemos estudiado la algebraizabilidad y axiomatizabilidad de ciertas l\u00f3gicas de los condicionales indicativos. En pocas palabras, estos sistemas est\u00e1n basados en l\u00f3gicas trivalentes donde el valor de verdad adicional corresponde a situaciones en las que los condicionales indicativos dejan de ser informativos. Esto ha dado lugar a varias propuestas en la literatura que pretenden formalizar los enunciados condicionales del lenguaje natural. Sin embargo, Gibbard (3) ha argumentado que si una conectiva l\u00f3gica verifica ciertas condiciones razonables, normalmente atribu\u00eddas a la implicaci\u00f3n, entonces colapsa con el condicional material. Este razonamiento ha sido estudiado con detalle por Fitelson (2) y Egr\u00e9 et al (1). En nuestra charla presentaremos primero los sistemas l\u00f3gicos considerados, seguidos de algunas de sus propiedades t\u00e9cnicas, para despu\u00e9s evaluar en qu\u00e9 medida el argumento de Gibbard aplica a nuestro caso.<\/p>\n\n\n\n


Referencias<\/p>\n\n\n\n

[1] \u00c9gr\u00e9, P.; Rossi, L. & Sprenger, J. (2023) Gibbardian Collapse and Trivalent Conditionals. In: Kaufmann, S.; Over, D.E. & Sharma, G. (eds) Conditionals. Palgrave Studies in Pragmatics, Language and Cognition, Palgrave Macmillan.<\/p>\n\n\n\n

[2] Fitelson, B. (2013) Gibbard\u2019s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach. In: Bonacina, M.P. & Stickel, M.E. (eds) Automated Reasoning and Mathematics. Lecture Notes in Computer Science, vol. 7788, Springer.<\/p>\n\n\n\n

[3] Gibbard, A. (1980) Two Recent Theories of Conditionals. In: Harper, W.L.; Stalnaker, R. & Pearce, G. (eds) IFS. The University of Western Ontario Series in Philosophy of Science, vol. 15, Springer.<\/p>\n\n\n\n

[4] Greati, V.; Marcelino, S.; Mu\u00f1oz P\u00e9rez, M. & Rivieccio, U. (2025) Analytic calculi for logics of indicative conditionals, TABLEUX 2025 (accepted).<\/p>\n\n\n\n

[5] Mu\u00f1oz P\u00e9rez, M. & Rivieccio, U. (2025) Indicative Conditionals: Some Algebraic Considerations. In: Kozen, D. & de Queiroz, R. (eds)Logic, Language, Information, and Computation, WoLLIC 2025, Lecture Notes in Computer Science, vol. 15942, Springer.<\/p>\n\n\n\n

Bio<\/em>
Miguel Mu\u00f1oz P\u00e9rez es un estudiante doctoral de primer a\u00f1o en la UNED, bajo la supervisi\u00f3n de Umberto Rivieccio. Sus intereses giran en torno a la l\u00f3gica algebraica y la filosof\u00eda de las matem\u00e1ticas y de la l\u00f3gica, sobre todo los temas relacionados con el pluralismo l\u00f3gico.<\/p>\n\n\n\n

Umberto Rivieccio<\/a> obtuvo su doctorado conjuntamente en la Universidad de G\u00e9nova y la Universidad de Barcelona. Durante la \u00faltima d\u00e9cada, ha sido un acad\u00e9mico itinerante, viviendo y ocupando puestos de investigaci\u00f3n en varias universidades de Europa, Asia y Am\u00e9rica. Actualmente es profesor adjunto en el Departamento de L\u00f3gica, Historia y Filosof\u00eda de la Ciencia de la UNED. Su investigaci\u00f3n principal se centra en las \u00e1reas de l\u00f3gica algebraica, teor\u00eda de la dualidad y l\u00f3gicas no cl\u00e1sicas, con un enfoque particular en las l\u00f3gicas paraconsistentes.<\/p>\n","protected":false},"excerpt":{"rendered":"

Miguel Mu\u00f1oz P\u00e9rez y Umberto Rivieccio: Algunas observaciones sobre l\u00f3gicas de condicionales indicativos Martes 18 noviembre 2025 @11:30 (CET)Sala B, Edificio de Humanidades, UNED\u00a0&\u00a0online ResumenEn (5; 4) ya hemos estudiado la algebraizabilidad y axiomatizabilidad de ciertas l\u00f3gicas de los condicionales indicativos. En pocas palabras, estos sistemas est\u00e1n basados en l\u00f3gicas trivalentes donde el valor de […]<\/p>\n","protected":false},"author":7949,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-14189","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/14189","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/users\/7949"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/comments?post=14189"}],"version-history":[{"count":3,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/14189\/revisions"}],"predecessor-version":[{"id":14201,"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/pages\/14189\/revisions\/14201"}],"wp:attachment":[{"href":"https:\/\/blogs.uned.es\/metis\/wp-json\/wp\/v2\/media?parent=14189"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}