[PEIRCE-L] Logic in Question 11 / May 2-3 2024, Sorbonne, Paris
LiQ is an annual workshop at the Sorbonne. The first edition was in 2011, the ninth in 2019. After an interruption due to the pandemic, the workshop started again in 2023, with the 10th edition. This year 2024 it will be the 11th edition. Everybody is welcome to join. Free entrance. Details and program here: https://sites.google.com/view/liq11/ Past Editions. See the list of past speakers here: https://www.logic-in-question.org/speakers-2011-2019.html And here the resulting book: https://link.springer.com/book/10.1007/978-3-030-94452-0 _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Newton da Costa / CfP Book and Congress / ici-Rio-2024
https://sites.google.com/view/creativity2019/abf30 and the projection of the film "Spirit of Contradiction" in the Caixa Cultural cinema in downtown Rio de Janeiro https://sites.google.com/view/creativity2019/movie (9) JOINT WORKS WITH NEWTON DA COSTA I wrote a book and more than 10 papers with Newton da Costa: https://www.jyb-logic.org/papers.html The last one: Newton da Costa and Jean-Yves Beziau "Is God Paraconsistent?" in Beyond Faith and Rationality - Essays on Logic, Religion and Philosophy Springer International Publishing, Cham, 2020: http://www.jyb-logic.org/GOD I also translated the main book of Newton da Costa in French in 1997 with two additional appendices, one on paraconsistent logic, the first presentation of paraconsistent logic in French, and one on the theory of valuations: https://www.amazon.fr/Logiques-classiques-non-fondements-logique/dp/2225852472 (10) BOOK IN HONOR OF NEWTON DA COSTA - Call for Papers Together with Decio Krause, one of his most important friends and collaborators, we will edit and publish a book in honor of Newton da Costa in the book series Studies in Universal Logic (Birkhäuser / Springer) https://www.springer.com/series/7391 We invite all those who are interested to contribute to send a paper by September 16, 2024 (Birthday of Newton da Costa). (11) CONGRESS IN HONOR OF NEWTON DA COSTA - ICI-RIO-2024 - Call for Abstracts We are organizing the event ici-Rio-2024 in memory of Newton da Costa: Imagination, Creativity, Intelligence, Rio de Janeiro, December, 9-13, 2024. Everybody is welcome to send an abstract: https://sites.google.com/view/ici-rio-2024/ See you in Rio in December ! >--------- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de de Janeiro, Brazil https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Why the hexagon of opposition is really a triangle: logical structures as geometric shapes - Ori Milstein - LUW April 24, 2024, 4pm CET
Logica Universalis Webinar April 24, 2024 at 4pm CET Speaker: Ori Milstein https://philpeople.org/profiles/ori-milstein Title: "Why the hexagon of opposition is really a triangle: logical structures as geometric shapes" Abstract: "This paper suggests a new approach (with old roots) to the study of the connection between logic and geometry. Traditionally, most logic diagrams associate only vertices of shapes with propositions. The new approach, which can be dubbed ’full logical geometry’, aims to associate every element of a shape (edges, faces, etc.) with a proposition. The roots of this approach can be found in the works of Carroll, Jacoby, and more recently, Dubois and Prade. However, its potential has not been duly appreciated, probably because of the complexity of the diagrams in these works. The following study demonstrates how the Hexagon of Opposition can be represented as a triangle and Classical Logic as a tetrahedron (rather than a rhombic dodecahedron). It then applies the approach to modal logic, extending the tetrahedron for the logic KT into a dipyramid and a cube for KD, and finally an octahedron for K. Some possible directions for further research are also indicated.." https://link.springer.com/journal/11787 Associate event World Congress on the Square of Opposition SQUARE 8 - Costa Rica Sept 6-13, 2024 https://sites.google.com/view/square8-2024 Presented by Pablo Villalobos Morera and Lorenzo Boccafogli Chair : Arnon Avron https://www.cs.tau.ac.il/~aa/ Editorial Board LU Everybody is welcome to join, register here: https://cassyni.com/events/VF7GYYaHGPGZiFeSZDibRX Jean-Yves Beziau Editor of Logica Universalis and Organizer of LUW https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] CfP - Workshop Diagrams and Mathematical Practice - Part of DIAGRAMS 2024 - Münster, Germany, Sept 27 - Oct 1st, 2024
Organizers: Jean-Yves Beziau, Rio de Janeiro, Brazil and Andrei Rodin, Nancy, France Send a 300/500 words abstract by May 15 to diamapra2...@protonmail.com https://diagrams-2024.diagrams-conference.org/workshops/diagrams-and-mathematical-practice/ _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] CfP 8th World Congress on the Square of Opposition
The 8th edition of the World Congress on the Square of Opposition will take place in Costa Rica, September 9-13, 2024. Deadline to submit an abstract is May 8 https://sites.google.com/view/square8-2024/ _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Modern vs. classical structures of opposition: A discussion - LUW April 10, 4pm CET
Logica Universalis Webinar April 10, 2024 at 4pm CET Speakers: Didier Dubois, Henri Prade & Agnès Rico Title: "Modern vs. classical structures of opposition: A discussion" Abstract: "The aim of this work is to revisit the proposal made by Dag Westerst° ahl a decade ago when he provided a modern reading of the traditional square of opposition and of related structures. We propose a formalization of this modern view and contrast it with the classical one.We discuss what may be a modern hexagon of opposition and a modern cube, and show their interest in particular for relating quantitative expressions." https://link.springer.com/article/10.1007/s11787-024-00347-1 Associate organization: ADRIA-IRIT, CNRS https://www.irit.fr/en/departement/dep-artificial-intelligence/adria-team/ Presented by Didier Dubois and Henri Prade Chair : Sayantan Roy, Assistant Editor LU Everybody is welcome to join, register here: https://cassyni.com/events/LMSPiEvqN9JUsvzryqD1f3 Jean-Yves Beziau Editor of Logica Universalis and Organizer of LUW https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] The philosophy of logic of John Corcoran - LUW March 27, 4pm CET
Logica Universalis Webinar March 27, 2024 at 4pm CET Speaker: José M. Sagüillo Department of Philosophy, University of Santiago de Compostela, Spain Title: "The philosophy of logic of John Corcoran" Abstract: "This talk surveys the philosophy of logic of John Corcoran by focusing on some of its characteristic themes: his understanding of logic as formal epistemology articulating the ontic-epistemic distinction of classical metaphysics, the Socratic belief-knowledge distinction, and the Aristotelian truth-knowledge distinction; his conception of mathematical logic as instrumental when considering mathematical logics as models of underlying reasoning found in the practice of proof; his tireless search for a careful and successful communication in a community of thinkers eliminating ambiguity of key terms and embracing ethical values; his discussion of argumentations and logic as a philosophical realization of the previous dichotomies, allowing precise definitions of key concepts, such as, argument, argumentation, proof, deduction, fallacy, and paradox; finally, his recovering and articulation of the XIX century information-theoretic conception of validity, exploring its heuristic power in the study of omega arguments and suggesting the existence of different paradigms of logical consequence equally entrenched in the theory and practice of logic." https://link.springer.com/book/9783031444609 Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) https://link.springer.com/book/9783031444609 Presented by the editors of the book: Timothy Madigan and Jean-Yves Beziau Chair : Francesco Paoli, Editorial Board SUL Everybody is welcome to join, register here: https://link.springer.com/journal/11787/updates JYB Founder, Editor, Organizer LU / SUL / LUW https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] CfP - 1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024
-- Deadline Extension: March 31st - 1st Pan African Logic Congress The logic of nature & the nature of logic in Africa April 28–30, 2024 - The British University in Egypt, Cairo This congress aims to promote logic in Africa. It is focused on Nature in a double sense. Wildlife is very important in Africa, the flora and fauna are very impressive. This is the place where there is the highest number and variety of animals. And for this reason, the people especially in central Africa have a strong connection with nature. It is the opportunity therefore to reflect on the logic of nature and to examine to what extent it is different from the logic of the technological and industrial world (computers, artificial intelligence, and so on). This is a way therefore to challenge the very nature of logic. From this perspective, logic is understood in a very wide sense and in relation to all aspects of the world, natural and artificial. The purpose of this event is to reveal and explore different manners of reasoning embedded in African cults, myths, arts, religions, rituals, economic systems, traditional justice systems, and architectural systems. This congress will enrich logical studies and their relative subjects like AI through elaborating logical interpretations of different aspects of African cultures. Deadline for submission of an abstract for presenting a talk: March 31st, 2024 https://africanlogiccongress.com/ _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Winter-Summer 2024
Just released, including an interview with João Marcos papers, books, videos, events of interest for paraconsistentists and a contest to win holidays on the island of inconsistency Enjoy ! Paraconsistent Newsletter Winter-Summer-2024 https://sites.google.com/view/paranews-2024-1 Jean-Yves Beziau Editor of the Paraconsistent Newsletter https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] CfP - 1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024
-- Deadline Approching - 1st Pan African Logic Congress The logic of nature & the nature of logic in Africa April 28–30, 2024 - The British University in Egypt, Cairo This congress aims to promote logic in Africa. It is focused on Nature in a double sense. Wildlife is very important in Africa, the flora and fauna are very impressive. This is the place where there is the highest number and variety of animals. And for this reason, the people especially in central Africa have a strong connection with nature. It is the opportunity therefore to reflect on the logic of nature and to examine to what extent it is different from the logic of the technological and industrial world (computers, artificial intelligence, and so on). This is a way therefore to challenge the very nature of logic. From this perspective, logic is understood in a very wide sense and in relation to all aspects of the world, natural and artificial. The purpose of this event is to reveal and explore different manners of reasoning embedded in African cults, myths, arts, religions, rituals, economic systems, traditional justice systems, and architectural systems. This congress will enrich logical studies and their relative subjects like AI through elaborating logical interpretations of different aspects of African cultures. Deadline for submission of an abstract for presenting a talk: March 15, 2024 https://africanlogiccongress.com/ _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] On the transitivity of Logical Consequence without Assuming Monotonicity - Lin Chen and Xuefeng Wen - Logica Universalis Webinar. February 28, 2024 at 4pm CET
-- Logica Universalis Webinar February 28, 2024 at 4pm CET Speakers: Lin Chen and Xuefeng Wen Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China Title "On the transitivity of Logical Consequence without Assuming Monotonicity" Abstract "We generalize Ripley’s results on the transitivity of consequence relation, without assuming a logic to be monotonic. Following Gabbay, we assume nonmonotonic consequence relation to be inclusive and cautious monotonic, and figure out the implications between different forms of transitivity of logical consequence. Weaker frameworks without inclusiveness or cautious monotonicity are also discussed. The paper may provide basis for the study of both non-transitive logics and nonmonotonic ones." https://link.springer.com/article/10.1007/s11787-024-00345-3 Organization: Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China presented by its director Hu Liu Chair : Caroline Pires Ting, International Relations of LUA (Logica Universalis Association) Everyone is welcome to join, register here: https://link.springer.com/journal/11787/updates/26604532 JYB, Editor-in-Chief, Logica Universalis and Organizer Logica Universalis Webinar https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] CfP - 1st Pan African Logic Congress - Cairo, Egypt, April 28-30, 2024
1st Pan African Logic Congress The logic of nature & the nature of logic in Africa April 28–30, 2024 - The British University in Egypt, Cairo This congress aims to promote logic in Africa. It is focused on Nature in a double sense. Wildlife is very important in Africa, the flora and fauna are very impressive. This is the place where there is the highest number and variety of animals. And for this reason, the people especially in central Africa have a strong connection with nature. It is the opportunity therefore to reflect on the logic of nature and to examine to what extent it is different from the logic of the technological and industrial world (computers, artificial intelligence, and so on). This is a way therefore to challenge the very nature of logic. From this perspective, logic is understood in a very wide sense and in relation to all aspects of the world, natural and artificial. The purpose of this event is to reveal and explore different manners of reasoning embedded in African cults, myths, arts, religions, rituals, economic systems, traditional justice systems, and architectural systems. This congress will enrich logical studies and their relative subjects like AI through elaborating logical interpretations of different aspects of African cultures. Deadline for submission of an abstract for presenting a talk: March 15, 2024 https://africanlogiccongress.com/ _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW Feb 14, 4pm CET - Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?
Logica Universalis Webinar February 14, 2024 at 4pm CET Speaker: Til Eyinck https://petrarca.phil-fak.uni-koeln.de/mitarbeiterinnen/til-eyinck Petrarca Institute, Faculty of Philosophy, University of Cologne, Germany Title: "Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?" Abstract "Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that no such ‘knock-down arguments’ do emanate on those grounds. This is not to rule out that there cannot be any other good reasons for assuming impossible world semantics. However, the discussion of a further argument for impossible worlds will suggest that different attempts to argue for them likely present intertwined problems." https://link.springer.com/article/10.1007/s11787-024-00344-4 Organization to be presented before the talk: Junior Research Group: Women in Focus. Rethinking Philosophy and History of Mathematics and Physics https://www.uni-siegen.de/fb6/phima/women/?lang=de presented by Jasmin Özel https://jasminozel.com/ Chair : Ahti-Veikko Pietarinen https://rel.hkbu.edu.hk/people/pietarinen-ahti-veikko Hong Kong Baptist University Editorial Board LU Everybody is welcome to join, register here: https://cassyni.com/s/logica-universalis/seminars JYB Editor-in-Chief LU and LUW Organizer https://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LARA Celebration of the World Logic Day - January 25, 2024, 4pm CET (Paris - Geneva - Rome)
The 6th edition of the World Logic Day https://www.logica-universalis.org/wld6 is the opportunity to reflect on the activities (past, present, and future) and goals of LARA (Logic And Religion Association) with some of its main actors. The LARA celebration will be a round table, each participant giving a short talk and, after that, there will be an animated interactive discussion with the audience. Speakers: Agnieszka Rostalska (Ghent University, Belgium) Anand Vaidya (San José State University, USA) Jean-Yves Beziau (University of Brazil, Rio de Janeiro) Marcin Trepczyński (University of Warsaw, Poland) Caroline Pires Ting (Federal University of Rio de Janeiro and Macau International Institute) Francisco de Assis Mariano (University of Missouri-Columbia, USA) Stanislaw Krajewski (University of Warsaw, Poland) Everybody is welcome to attend, register here: https://www.logicandreligion.com/webinars JYB, Vice President of LARA _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] SALOME 1 - celebration of the 6th edition of the World Logic Day - Sunday 14 at 4pm CET
LUA celebration of the 6th edition of the World Logic Day within SALOME 1 : the first South American LOgic MEeting https://www.salome2024.org/ from Cusco, Peru at 4pm CET Sunday January14 Round Table with Luis Felipe Alegre, Jasmin Özel, Juan Redmond, Philip Welch Everybody is welcome to attend, register here: cassyni.com/events/8F3t2AJXMw4H8ioiuRgFkq >-- Jean-Yves Beziau President of LUA and creator of the World Logic Day _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Fall-Spring 2023
Just released, including an interview with Luis Felipe Bartolo Alegre papers, books, videos, events of interest for paraconsistentists and a contest to win holidays on the island of inconsistency Enjoy ! Paraconsistent Newsletter Fall-Spring-2023 https://sites.google.com/view/paranews-2023-4/ Jean-Yves Beziau Editor of the Paraconsistent Newsletter https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW December 13 - Julio Stern - Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories
The next Logica Universalis Webinar session will be Wednesday December 13 at 4pm CET Paris-Geneva-Rome >--- Speaker: Julio Michael Stern, University of São Paulo, Brazil Title: "Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories" Abstract: This paper investigates some classical oppositional categories, like synthetic vs. analytic, posterior vs. prior, imagination vs. grammar, metaphor vs. hermeneutic, metaphysics vs. observation, innovation vs. routine, and image vs. sound, and the role they play in epistemology and philosophy of science. The epistemological framework of objective cognitive constructivism is of special interest in these investigations. Oppositional relations are formally represented using algebraic lattice structures like the cube and the hexagon of opposition, with applications in the contexts of modern color theory, Kantian philosophy, Jungian psychology, and linguistics. https://www.springer.com/journal/11787/ >- Associated organization/project: World Logic Day - 6th Edition https://www.logica-universalis.org/wld6 presented by Jean-Yves Beziau >-- Chair: Ioannis Vandoulakis, Vice-President LUA (Logica Universalis Association) https://www.logica-universalis.org/LUAD > Everybody is welcome to join, register here: https://cassyni.com/s/logica-universalis/seminars Jean-Yves Beziau Editor-in-Chief Logica Universalis / Organizer LUW _ _ _ _ _ _ _ _ _ _ ARISBE: THE PEIRCE GATEWAY is now at https://cspeirce.com and, just as well, at https://www.cspeirce.com . It'll take a while to repair / update all the links! ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] William Troiani - The internal logic and finite colimits - LUWebinar - November 29 at 4pm CET
The next session of the Logica Universalis Webinar will be November 29 at 4pm CET (Paris-Geneva-Rome) >- Speaker: William Troiani https://williamtroiani.github.io/ Title: "The internal logic and finite colimits" Abstract: We describe how finite colimits can be described using the internal language, also known as the Mitchell-Benabou language, of a topos, provided the topos admits countably in finite colimits. This description is based on the set theoretic definitions of colimits and coequalizers, however the translation is not direct due to the di erences between set theory and the internal language, these differences are described as *internal* versus *external*. Solutions to the hurdles which thus arise are given. https://www.springer.com/journal/11787/ Associated organization/project: LoVe: Logic and Verification https://lipn.univ-paris13.fr/love-en/ presented by Morgan Rogers Chair: Roberto Giuntini, Editorial Board LU https://people.unica.it/alophis/members/giuntini-roberto/ Everybody is welcome to join, register here: https://cassyni.com/s/logica-universalis/seminars Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer LUW https://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ While ARISBE: THE PEIRCE GATEWAY at IUPUI gets moved to a new server and updated, a saved copy (external to IUPUI) is at: https://web.archive.org/web/20220329120016/https://cspeirce.iupui.edu/ . ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Kurt Gödel: Dead on the World Logic Day !
Interview with Jean-Yves Beziau by Caroline Pires Ting https://www.logica-universalis.org/wld6 _ _ _ _ _ _ _ _ _ _ While ARISBE: THE PEIRCE GATEWAY at IUPUI gets moved to a new server and updated, a saved copy (external to IUPUI) is at: https://web.archive.org/web/20220329120016/https://cspeirce.iupui.edu/ . ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Morphisms between Aristotelian Diagrams by Alex De Klerck,. LUWebinar, Novr 15, 4pm, Paris-Geneva-Rome
The next session of the Logica Universalis Webinar will be November 15 at 4pm CET > Speaker: Alexander De Klerck Title "Morphisms between Aristotelian Diagrams" Abstract: In logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it is still unknown which underlying mathematical framework is best suited for formalizing the study of these diagrams. Hence, in this paper, the main aim is to formulate such a framework, using the powerful language of category theory. We build multiple categories, which all have Aristotelian diagrams as their objects, while having different kinds of morphisms between these diagrams. The categories developed here are assessed according to their ability to generalize previous work from logical geometry as well as their interesting category-theoretical properties. According to these evaluations, the most promising category has as its morphisms those functions on fragments that increase in informativity on both the opposition and implication relations. Focusing on this category can significantly increase the effectiveness of further research in logical geometry. https://www.springer.com/journal/11787/ Associate organization/project: STARTDIALOG (ERC project) - Towards a Systematic Theory of Aristotelian Diagrams in Logical Geometry https://www.lorenzdemey.eu/startdialog presented by its director Lorenz Demey Chair: Srećko Kovač, Editorial Board LU Everybody is welcome to join, register here: https://cassyni.com/s/logica-universalis/seminars Jean-Yves Beziau Editorial Board LU Organizer LUW https://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ While ARISBE: THE PEIRCE GATEWAY at IUPUI gets renovated, a saved copy (external to IUPUI) is at: https://web.archive.org/web/20220329120016/https://cspeirce.iupui.edu/ . ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW October 18 / A Study of the Metatheory of Assertoric Syllogistic
Speaker: Maristela Rocha Title: A Study of the Metatheory of Assertoric Syllogistic Abstract: We show how a semantics based on Aristotle’s texts and ecthetic proofs can be reconstructed. All truth conditions are given by means of set inclusion. Perfect syllogisms reveal to be valid arguments that deserve a validity proof. It turns out of these proofs that transitivity of set inclusion is the necessary and sufficient condition for the validity and perfection of a syllogism. The proofs of validity for imperfect syllogisms are direct proofs without conversion in a calculus of natural deduction. Transitivity of set inclusion turns out to be a necessary condition for the validity of imperfect syllogisms. As a consequence, it can be established what the main metalogical difference between a perfect and an imperfect syllogism is. The validity of the laws of conversion is also obtained by direct proofs. Finally, it is shown that and explained why some imperfect syllogisms satisfy the definition of a perfect syllogism. https://link.springer.com/article/10.1007/s11787-023-00331-1 Associate Organization: Salzburg Logic Group presented by Paul Weingartner Everybody is welcome, register here: https://cassyni.com/events/J7zLqCj8jjDFFXD8TEe1WM Jean-Yves Beziau Editor-in-Chief LU and organizer of LUW _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW Oct 4, 2023 - Complementary Proof Nets for Classical Logic by Gabriele Pulcini
The next session of the Logica Universalis Webinar will be Wednesday October 4 at 4pm CET Speaker: Gabriele Pulcini, University of Rome Tor Vergata, Italy Title: Complementary Proof Nets for Classical Logic Abstract: A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in CPN enjoys strong normalization along with strong confluence (and, hence, uniqueness of normal forms). https://link.springer.com/article/10.1007/s11787-023-00337-9 Presentation of the special issue or Logica Universalis on Rejection by Alex Citkin https://www.springer.com/journal/11787/ Workshop at the 7th World Congress and School on Universal Logic 100 Years of Refutation in Logic https://sites.google.com/view/unilog-2022/7th-congress/workshops/100-years-of-refutation Chair: Ioannis Vandoulakis Vice-President of LUA (Logica Universalis Organization) http://www.logica-universalis.org/LUAD <http://logica-universalis.org/LUAD> Everyone is welcome to attend, register here: https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] CfP: SALOME 1 - The 1st South American Logic Meeting - Extended Deadline: October 4th
SALOME 1 : the 1st South American LOgic MEeting, will take place in Cusco, Peru, January 12-15, 2024. It will be the inaugural meeting of the South American Logic Association. This is part of a project to develop logic in all its aspects (historical, philosophical, mathematical, computational, semiotical) in South America that started in 2015 with the launch of the South American Journal of Logic. SALOME 1 is organized jointly with the Peruvian Society for Epistemology and Logic - SEPLO, member of LUA (Logica Universalis Association), also supporting the event. The event will include the celebration on January 14, 2024 of the 6th edition of the WORLD LOGIC DAY, launched by LUA in 2019 and recognized by UNESCO the same year. KEYNOTE SPEAKERS: Manuel Correia (Santiago, Chile), Pedro Zambrano (Bogotá, Colombia), Ana Clara Polakof (Montevideo, Uruguay), Marcelo Coniglio (Campinas, Brazil), Phillip Welch (Bristol, UK), Jasmin Özel (Siegen, Germany), Juan Redmond (Valparaiso, Chile), Caroline Pires Ting (Rio de Janeiro, Brazil and Macao), Javier Legris (Buenos Aires, Argentina), Carolyn Talcott (Menlo Park, USA), Rodrigo López Orellana (Salamanca, Spain),Jean-Yves Beziau (Rio de Janeiro, Brazil). CALL FOR PAPERS: Talks related to any aspects of logic, from scholars from all over the world, are welcome. Send a one page abstract (in English, Spanish or Portuguese) by October 4th to sal...@sa-logic.org. Notification by October 12th. After the congress, a selection of full papers will be published in the South American Journal of Logic SALOME 1 https://www.salome2024.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Summer-Winter 2023
Just released including an interview with John Grant, papers, books, videos, events of interest for paraconsistentists and a contest to win holidays on the island of inconsistency Enjoy ! Paraconsistent Newsletter Summer-Winter 2023 https://sites.google.com/view/paranews-2023-3/ Jean-Yves Beziau Editor of the Paraconsistent Newsletter _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW Sept 20, 2023 - On Consequence and Rejection as Operators, by Alexei Muravitsky
The next session of the Logica Universalis Webinar will be Wednesday September 20 at 4pm CET Speaker: Alexei Muravitsky Northwestern State University, Natchitoches, USA Title: On Consequence and Rejection as Operators Abstract: This paper is devoted to the concepts of consequence and rejection, formulated as operators on a nonempty set of sentences, which may initially be unstructured. One of the issues that we pay attention to is the “cyclicity” of these concepts when they are defined one through the other. In addition, we explore this cyclicity, when the set of all sentences acquires some structure, or we can assume some structure of sentences in the sense that the operation of substitution can be applied to them. https://link.springer.com/article/10.1007/s11787-023-00334-y Presentation of the special issue or Logica Universalis on Rejection editors Alexei Muravitsky and Alex Citkin Workshop at the 7th World Congress and School on Universal Logic 100 Years of Refutation in Logic https://sites.google.com/view/unilog-2022/7th-congress/workshops/100-years-of-refutation Chair: Ioannis Vandoulakis Vice-President of LUA (Logica Universalis Organization) http://www.logica-universalis.org/LUAD <http://logica-universalis.org/LUAD> Everyone is welcome to attend, register here: https://cassyni.com/s/logica-universalis/seminars/ Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] SALOME 1 - Cusco, Peru, January 12-15, 2024
SALOME 1 : the 1st South American LOgic MEeting, will take place in Cusco, Peru, January 12-15, 2024. It will be the inaugural meeting of the South American Logic Association. This is part of a project to develop logic in all its aspects (historical, philosophical, mathematical, computational, semiotical) in South America that started in 2015 with the launch of the South American Journal of Logic. SALOME 1 is organized jointly with the Peruvian Society for Epistemology and Logic - SEPLO, member of LUA (Logica Universalis Association), also supporting the event. The event will include the celebration on January 14, 2024 of the 6th edition of the World Logic Day, launched by LUA in 2019 and recognized by UNESCO the same year. Talks related to any aspects of logic, from scholars from all over the world, are welcome. Send a one page abstract (in English, Spanish or Portuguese) by September 21st to sal...@sa-logic.org. Notification by October 1st. After the congress, a selection of full papers will be published in the South American Journal of Logic SALOME 1 https://www.salome2024.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Józef Maria Bocheński: celebration of his birthday at the Logica Universalis Webinar, August 30 at 4pm CET
The next session of the Logica Universalis Webinar will be Wednesday August 30 at 4pm CET. We will celebrate the 121th anniversary of Józef Maria Bocheński: https://en.wikipedia.org/wiki/J%C3%B3zef_Maria_Boche%C5%84ski Speaker: Edward Świderski (University of Fribourg, Switzerland) Talk: Józef Maria Bocheński: biography, frames of mind and attitudes, logical philosophy, how to live long and well, and why faith matters Presentation of the book "The Lvov-Warsaw School. Past and Present" https://link.springer.com/book/10.1007/978-3-319-65430-0 which includes two chapters on Bocheński by Urszula Wybraniec-Skardowska (Cardinal Stefan Wyszyński University in Warsaw, Warsaw, Poland) and Jan Woleński (Jagiellonian University in Krakow and the University of Information Technology and Management in Rzeszow, Poland) Chair: Sayantan Roy Assistant Editor Logica Universalis Everybody is welcome to attend, register here https://cassyni.com/s/logica-universalis/seminars/ Jean-Yves Beziau Series Editor - Studies in Universal Logic http://www.logica-universalis.org/sul _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW August 23, Chai Wah Wu. On rearrangement inequalities for triangular norms and co-norms in multi-valued logic
The next session of the Logica Universalis Webinar will be Wednesday August 23 at 4pm CET. Speaker: Chai Wah Wu IBM Research / T. J. Watson Research Center, New York Title: On rearrangement inequalities for triangular norms and co-norms in multi-valued logic Abstract: The rearrangement inequality states that the sum of products of permutations of 2 sequences of real numbers are maximized when the terms are similarly ordered and minimized when the terms are ordered in opposite order. We show that similar inequalities exist in algebras of multi-valued logic when the multiplication and addition operations are replaced with various T-norms and T-conorms respectively. For instance, we show that the rearrangement inequality holds when the T-norms and T-conorms are derived from Archimedean copulas. https://link.springer.com/article/10.1007/s11787-023-00332-0 Associate Organization: Theory of Computation and Information Group IBM Watson Research Center presented by its manager Ken Clarkson Chair: Sayantan Roy Assistant Editor Logica Universalis Everybody is welcome to attend. https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer Logica Universalis Webinar _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] SALOME 1 - 1st South American Logic Meeting - Cusco, Peru, January 12-15, 2024
SALOME 1 will take place in Cusco, Peru, January 12-15, 2024. It is the Inaugural meeting of the South American Logic Association. This is part of a project to develop logic in all its aspects (historical, philosophical, mathematical, computational, semiotical) in South America that started in 2015 with the launch of the South American Journal of Logic The event will include the celebration on January 14, 2024 of the 6th edtion of the World Logic Day, Deadline to submit an abstract: Sept 1st https://www.salome2024.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW session, July 19, G.Shtakser, Odessa, Epistemic Logics with Quantification Over Epistemic Operators
The next session of the Logica Universal Webinar will be Wednesday July 19 at 4pm CET (Paris, Geneva, Rome). Speaker: Gennady Shtakser, Odessa National Academy of Communications, Odessa, Ukraine Title: Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness https://link.springer.com/article/10.1007/s11787-023-00330-2 Associate Organization: Ukrainian Logic Society (member of LUA) presented by its president Mykola Nikitchenko Chair: Carlos Caleiro Editorial Board LU Everybody is welcome to attend, register here: https://www.springer.com/journal/11787/updates/23910922 >----- Jean-Yves Beziau, Editor-in-Chief Logica Universalis & Organizer of the Logica Universalis Webinar President of LUA (Logica Universalis Association), Geneva, Switzerland http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW July 12 - Rooted Hypersequent Calculus for Modal Logic S5, by Hamzeh Mohammad - Logic Journals Impact Factor
Dear Colleagues The next session of the Logica Universalis Webinar will be Wednesday July 12 at 4pm CET (Paris, Geneva, Rome) with the talk "Rooted Hypersequent Calculus for Modal Logic S5" by Hamzeh Mohammadi presenting a paper recently published in LU: https://link.springer.com/article/10.1007/s11787-023-00328-w And as usual we will have the presentation of a logic association related to the talk/speaker in view of the activities of LUA to promote logic worldwide. For this session we are glad to have the presentation of the Iranian Association for Logic by its president Hamed Bastin. And the chair of the session will be Musa Akrami, Azad University, Tehran, Iran, member of the editorial board of the journal Logica Universalis Everybody is welcome to attend, register here: https://cassyni.com/s/logica-universalis/seminars/ I am also glad to announce that Logica Universalis is 2nd in the ranking of logical journals according to the recently released 2-year impact factor 2022 by Scopus, see the list below. >---- Jean-Yves Beziau, Editor-in-Chief Logica Universalis & Organizer of the Logica Universalis Webinar President of LUA (Logica Universalis Association), Geneva, Switzerland http://www.logica-universalis.org/LUAD LOGIC JOURNALS - SCOPUS 2-YEAR IMPACT FACTOR – JULY 2023 (01) 1.53 Journal of Philosophical Logic (Springer) (02) 1.07 Logica Universalis (Birkhäuser / Springer) (03) 1.01 Logic Journal of the IGPL (Oxford / Gabbay) (04) 0.84 Journal of Logic, Language and Information (Springer) (05) 0.83 Annals of Pure and Applied Logic (Elsevier) (05) 0.83 Journal of Logic and Computation (Oxford / Gabbay) (07) 0.79 Journal of Mathematical Logic (World Scientific) (08) 0.73 Journal of Applied Non-Classical Logics (Taylor and Francis) (09) 0.70 Journal of Symbolic Logic (Cambridge / ASL) (09) 0.70 Studia Logica (Springer) (11) 0.64 Informal Logic (Canada) (11) 0.64 Notre Dame Journal of Formal Logic (Notre Dame, USA) (13) 0.57 Review of Symbolic Logic (Cambridge / ASL) (14) 0.55 Bulletin of Symbolic Logic (Cambridge / ASL ) (15) 0.54 Journal of Applied Logic (College Publications / Gabbay) (16) 0.52 Algebra and Logic (Springer / Russian Academy of Science) (17) 0.50 Bulletin of the Section of Logic (U.Lodz, Poland) (18) 0.49 History and Philosophy of Logic (Taylor and Francis) (19) 0.46 Logic and Logical Philosophy (U.Torun, Poland) (20) 0.41 Archive for Mathematical Logic (Springer) (21) 0.38 Mathematical Logic Quarterly (Wiley) (22) 0.26 Logique et Analyse (Logic Association, Belgium) (23) 0.22 Logical Investigations (Academy of Science, Moscow, Russia) (24) 0.20 Journal of Logic Analysis (U.Carnegie Mellon / ASL) (25) 0.15 Reports on Mathematical Logic (U. Krakow, Poland) _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Why Logics?
Dear Colleagues I am glad to announce the recent publication of the paper "Why* Logics?" *in the new MDPI journal * LOGICS* https://www.mdpi.com/2813-0405/1/3/7 In section 4, entitled "Birth of the Journal *Logics*", I tell how I suggested to MDPI launching a new journal named "Logics" (it was two years ago in July 2021) and how this journal was created. In this paper, I explain what the motivation to have a journal with such a name was and how we can understand the plural of "logic". This is the opportunity to develop a reflection about the meaning and importance of logic. Nice to see, following other projects I have launched, such as the World Logic Day, that logic is becoming more and more influential. Jean-Yves Beziau Professor of Logic at the Federal University of Rio de Janeiro, Brazil President of the Logica Universalis Association, Geneva, Switzerland https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Spring-Fall 2023
Just released including an interview with Elena Ficara, and papers, books, videos, events of interest for paraconsistentists Enjoy ! Paraconsistent Newsletter Spring-Fall 2023 https://sites.google.com/view/paranews-2023-2 Jean-Yves Beziau Editor of the Paraconsistent Newsletter _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church
The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church Nathan Salmon (University of California at Santa Barbara), Gary Mar (State University of New York, Stony Brook), Melvin Fitting (CUNY Graduate Center) Logica Universalis Webinar 2023 - June 14, 2023 at 4pm CET (Paris-Geneva-Rome) we will have one more session of the Logica Universalis Webinar (LUW). Nathan Salmón will present his recently published paper in Logica Universalis "The Decision Problem for Effective Procedures" https://www.springer.com/journal/11787/ Salmón was a former PhD student of the famous logician and founder of computer science Alonzo Church. Church was born June 14, 1903. We will therefore commemorate his 120th anniversary with a preliminary presentation by his last PhD student Gary R.Mar. The chair of the session will be Melvin Fitting. Nathan Salmón was also a long time friend and collaborator of Saul Kripke: https://www.simplycharly.com/read/interviews/naming-names-a-deep-dive-into-saul-kripkes-philosophy-with-nathan-salmon/ At LUW we have before the main talk the presentation of an association related to the author or/and topic of the talk. The Kripke center was presented at the LUW session of August 11, 2021: https://youtu.be/piyvWZ5nOik This next LUW session June 14 will initiate a series where the preliminary talk is related to the anniversary of a famous logician. This is not indeed completely new, considering that the first session of LUW was for the celebration of the World Logic Day, January 14, 2021, the 120th anniversary of Alfred Tarski: http://www.logica-universalis.org/wld3 Everybody is welcome to attend the next LUW session June 14, register here: https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Editor-in-Chief Logica Universalis President of LUA (Logica Universalis Association) http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Extended Deadline June 15
Workshop organized by Jean-Yves Beziau and Caroline Pires Ting Federal University of Rio de Janeiro (Brazil) and Logica Universalis Association (Geneva, Switzerland) Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023 CALL FOR PAPERS On the one hand symbolism is important in most religions, on the other hand modern logic is often characterized as symbolic. This workshop, part of WoCoLoR4, explores the relation between these two symbolic approaches. Suggested topics include - but are not limited to - the following: > Boole's symbolic mathematical notation in logic and abstract religious notions > Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity Christian triangle, Islamic geometrical objects and the theory of oppositions > Yin/Yang and the notion of complementary contradiction > the symbolism of the cross, crucifixion, negation and abnegation > Venn symbolic logic, Venn diagrams and their application for understanding religious phenomena > the universal quantifier and catholicism as a religion for all > is the existential quantifier really symbolizing existence? > Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic logician > logical "interpretation" of Gödel's proof of the existence of God in symbolic logic Submit a one page abstract by June 15 Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 https://sites.google.com/view/symbol-relog _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 - CfP
Workshop organized by Jean-Yves Beziau and Caroline Pires Ting Federal University of Rio de Janeiro (Brazil) and Logica Universalis Association (Geneva, Switzerland) Part of the 4th World Congress on Logic and Religion), Sinaia, Sept 3-8, 2023 CALL FOR PAPERS On the one hand symbolism is important in most religions, on the other hand modern logic is often characterized as symbolic. This workshop, part of WoCoLoR4, explores the relation between these two symbolic approaches. Suggested topics include - but are not limited to - the following: > Boole's symbolic mathematical notation in logic and abstract religious notions > Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity Christian triangle, Islamic geometrical objects and the theory of oppositions > Yin/Yang and the notion of complementary contradiction > the symbolism of the cross, crucifixion, negation and abnegation > Venn symbolic logic, Venn diagrams and their application for understanding religious phenomena > the universal quantifier and catholicism as a religion for all > is the existential quantifier really symbolizing existence? > Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic logician > logical "interpretation" of Gödel's proof of the existence of God in symbolic logic Submit a one page abstract by May 31st Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 https://sites.google.com/view/symbol-relog _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW May 17 - The Unification of Mathematics via Topos Theory, Olivia Caramello - Grothendieck Institute
The next session of the Logica Universalis Webinar will be Wednesday May 17, 2023 at 4pm CET. Speaker: Olivia Caramello, University of Insubria (Como) and Grothendieck Institute Title: The Unification of Mathematics via Topos Theory Abstract: We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as “bridges” for transferring information, ideas, and results between distinct mathematical theories. https://link.springer.com/chapter/10.1007/978-3-030-94452-0_30 Chair: Francesco Paoli, Editorial Board SUL http://www.logica-universalis.org/sul Associate Organization: Grothendieck Institute presented by Laurent Lafforgue, member of its Scientific Council, Fields Medal 2002 https://igrothendieck.org/en/ Everybody is welcome to attend. Register here: https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Editor of the journal Logica Universalis and the book series Studies in Universal Logic Organizer of the Logica Universalis Webinar http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW May 10 - Revising the Elenchus via Belief Revision - by Ekaterina Kubyshkina and Mattia Petrolo
The next session of the Logica Universalis Webinar (LUW) will be Wednesday May 10 at 4pm CET Speakers: Ekaterina Kubyshkina and Mattia Petrolo Title: Revising the Elenchus via Belief Revision Abstract: Vlastos’ famous characterization of the Socratic elenchus focuses on two main aspects of this method: its epistemic roots and its dialogical nature. Our aim is to lay the groundwork to formally capture this characterization. To do so, first, we outline an epistemic framework in which the elenchus can be inscribed. More precisely, we focus our analysis on the passage from unconscious ignorance to conscious (or Socratic) ignorance and provide new insights about the epistemic outcome of an elenctic argument. Secondly, from a logical perspective, we consider the elenchus as a dynamic exchange allowing Socrates’ respondents to revise their beliefs, on pain of inconsistency. By stressing this point, we represent this method as a process of belief revision in dynamic epistemic logic and provide a new logical solution to what Vlastos called the problem of the elenchus. https://link.springer.com/journal/11787/online-first Associate Organization: LUCI (Logic, Uncertainty, Computation and Information Group), University of Milan, Italy https://luci.unimi.it/ presented by Giuseppe Primiero Chair: Ioannis Vandoulakis Vice-President of the Logica Universalis Association http://www.logica-universalis.org/LUAD Everyone is welcome to attend. Access here: https://cassyni.com/s/logica-universalis Jean-Yves Beziau Editor-in-Chief Logica Universalis and LUW Organizer http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW April 26 - Probability Logics for Reasoning About Quantum Observations
The next session of the Logica Universalis Webinar will take place Wednesday April 26 at 4pm CET Speaker: Angelina Ilic Stepic http://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/participants.php Title of the talk: Probability Logics for Reasoning About Quantum Observations https://www.springer.com/journal/11787/ Associate Organization: Logica Universalis Association http://www.logica-universalis.org/LUAD presented by its president Jean-Yves Beziau Chair: Andrei Rodin https://philomatica.org/andrei_rodin/ Editorial member LU Everybody is welcome to attend. Access here: https://cassyni.com/events/J7w6bwhMw1MnxGEUvG9o1w _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] The schedule of talks of Logic-in-Question 10 is now available
Dear Colleagues The schedule of talks of Logic-in-Question 10 is now available on the website https://sites.google.com/view/liq10 See you in Paris next week! Best Wishes Jean-Yves >--- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://www.philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW April 19, 2023: An Intensional Formalization of Generic Statements by Hugolin Bergier
The next session of the Logica Universalis Webinar will be Wednesday 19 at 4pm CET. Speaker: Hugolin Bergier Title of the talk: An Intensional Formalization of Generic Statements Abstract: A statement is generic if it expresses a generalization about the members of a kind, as in, ’Pear trees blossom in May,’ or, ’Birds lay egg’. In classical logic, generic statements are formalized as universally quantified conditionals: ’For all x, if ..., then ’ We want to argue that such a logical interpretation fails to capture the intensional character of generic statements because it cannot express the generic statement as a simple proposition in Aristotle’s sense, i.e., a proposition containing only one single predicate. On the contrary, we’ll show that lambda abstraction and combinatory logic can help us transform the classical, non-simple and extensional expression of generic statements into a new, simple and intensional formalization, through the introduction of an operator that we will call ALL*. We will show that this new operator allows for the possibility of a single predication, e.g. fly(), because it builds, out of a concept like ’bird’, a concrete universal, e.g. ’birds’, upon which the single predicate can be applied to authentically formalize a generic statement, e.g. ’birds fly’. https://www.springer.com/journal/11787/ Associate organization: InterPARES https://interparestrustai.org/ presented by Kenneth Thibodeau https://en.wikipedia.org/wiki/Kenneth_Thibodeau Chair: Srecko Kovac https://www.ifzg.hr/~skovac/ Editorial Board LU Everybody is welcome to attend Jean-Yves Beziau, Editor-in-Chief LU and LUW organizer https://cassyni.com/s/logica-universalis/seminars _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Logic in Question 10 - Sorbonne, Paris - April 24-25, 2023
The tenth edition of the annual workshop Logic-in-Question will take place April 24-25 at the Sorbonne in Paris. The attendance is free and open to everybody. https://sites.google.com/view/liq10/ La dixième édition de l’atelier annuel la Logique en Question aura lieu les 24 et 25 avril à la Sorbonne à Paris. La participation est gratuite et ouverte à tous. https://sites.google.com/view/liq10/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Abstract Categorical Logic / Isabelle Bloch / LUW February 22
The next session of the Logica Universalis Webinar will be Wednesday February 22 at 4pm CET (Paris-Geneva-Rome) Speaker: Isabelle Bloch, Sorbonne, Paris, France Title of the talk: Abstract Categorical Logic Abstract: We present in this talk an abstract categorical logic based on an abstraction of quantifier. More precisely, the proposed logic is abstract because no structural constraints are imposed on models (semantics free). By contrast, formulas are inductively defined from an abstraction both of atomic formulas and of quantifiers. In this sense, the proposed approach differs from other works interested in formalizing the notion of abstract logic and of which the closest to our approach are the institutions, which in addition to be semantics free do not also impose any syntactic contingencies on the structure of formulas. To define the semantical framework in which formulas will be interpreted, we propose to follow the idea from categorical logic which defines the semantical interpretation of formulas from context and as subobjects of an object of a given category. In the spirit of Lawvere’s hyperdoctrines, we use a more abstract notion which generalizes the notion of subobject, standard in category theory: Pitt’s prop-categories. Always in the spirit of categorical logic, we propose a sequent calculus of which we show correctness and completeness for all semantical frameworks defined over any prop-categories. We then study some conditions which allow us to get this completeness result for particular classes of prop-categories. https://link.springer.com/article/10.1007/s11787-022-00320-w Associate Organization: GDR IA, CNRS, presented by Meghyn Bienvenu Chair: Andrei Rodin, Editorial Board LU Everybody is welcome to join, register here: https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Organizer of LUW and Editor-in-Chief of Logica Universalis http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Arthur Schopenhauer: Logic and Dialectic / Internet Encyclopedia of Philosophy
Dear Colleagues Just released in the Internet Encyclopedia of Philosophy (IEP) the entry "Arthur Schopenhauer: Logic and Dialectic" by Jens Lemanski. https://iep.utm.edu/schopenhauer-logic-and-dialectic/ Schopenhauer’s important work on logic is not yet well known. It was he in particular who promoted the terminology "metalogical", as I explained in the article "Metalogic, Schopenhauer and Universal Logic" http://www.jyb-logic.org/METALOGIC-SCHOPENHAUER This article has 50 pages, here a one-page entry in the language of Hermann Hesse published in the Schopenhauer Lexicon: http://www.jyb-logic.org/metalogik-schopenhauer-jyb IEP is an excellent tool for research and teaching. I have been the editor in charge of logic at IEP since 2013. Below are some entries I have managed. Everyone is welcome to submit an entry. Jean-Yves Beziau http://www.jyb-logic.org/ --- Avicenna (Ibn Sina): Logic Saloua Chatti https://iep.utm.edu/ibn-sina-avicenna-logic/ Lewis Carroll: Logic Francine F. Abeles https://iep.utm.edu/lewis-carroll-logic/ Haskell Brooks Curry (1900-1982) Jonathan P. Seldin https://iep.utm.edu/haskell-brooks-curry/ Kant : Logic Srećko Kovač https://iep.utm.edu/k-logic/ Leibniz: Logic Wolfgang Lenzen https://iep.utm.edu/leib-log/ Adolf Lindenbaum Jan Woleński https://iep.utm.edu/lindenba/ Modal Logic: A Contemporary View Johan van Benthem https://iep.utm.edu/modal-lo/ Natural Deduction Andrzej Indrzejczak https://iep.utm.edu/natural-deduction/ Charles Sanders Peirce: Logic Francesco Bellucci / Ahti-Veikko Pietarinen https://iep.utm.edu/peir-log/ The Semantic Theory of Truth Jan Woleński https://iep.utm.edu/s-truth/ The Yablo Paradox Roy Cook https://iep.utm.edu/yablo-pa/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Universal Algebraic Logic - Dedicated to the Unity of Science / LUW January 25, 2023 at 4pm CET
The next session of LUW (Logica Universalis Webinar) will be Wednesday January 25, 2023 at 4pm CET (Paris-Geneva-Rome) Speaker: Zalán Gyenis, Jagiellonian University, Kraków, Poland Title of the talk: Universal Algebraic Logic - Dedicated to the Unity of Science Abstract: This is the presentation of a book by Hajnal Andréka , Zalán Gyenis, István Németi and Ildikó Sain that gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon. https://link.springer.com/book/10.1007/978-3-031-14887-3 Associate Organization: Studies in Universal Logic, Birkhäuser / Springer-Nature presented by its Publishing Editor: Frida Trotter https://www.springer.com/series/7391 Chair: Razvan Diaconescu Editorial Board SUL Everybody is welcome to attend Register here: https://cassyni.com/s/logica-universalis/seminars/ Jean-Yves Beziau Series Editor Studies in Universal Logic Organizer of the Logica Universalis Webinar http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] THE IMPORTANCE OF LOGIC FOR HUMANITY - World Logic Day 2023 - January 14, 4pm CET
For the 5th edition of the World Logic Day LUA is organizing a round table on THE IMPORTANCE OF LOGIC FOR HUMANITY. Human beings were characterized in Greek antiquity as "logical animals" ("rational animals", in Latin). "Logos" in Greek has four main meanings: language, science, reasoning, relation. Logic is not one science among others. It is a very special science and it is not only a science, it is an extraordinary capacity that human beings have, called in Latin "reasoning". Logic is the art of thinking that allows us to understand, master and transform reality. Logic is not one field among others because it is universal, it encompasses everything: reasoning is fundamental for the development of any science, to guide our mind, to direct our actions. In this webinar we will discuss these questions with the following participants: Jean-Yves Beziau, Julie Brumberg-Chaumont, Ioannis Vandoulakis, Elena Lisanyuk, Patrick Blackburn, Caroline Pires Ting, John Symons. Chairwoman: Katarzyna Gan-Krzywoszynska Everybody is welcome to attend. Saturday January 14, 2023, at 4pm CET (Paris-Geneva-Rome) LUA - Logica Universalis Association https://www.logica-universalis.org/wld5 _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Fall-Spring 2022
The Paraconsistent Newsletter Fall-Spring 2022 is now released, including papers, books, events, videos of interest for paraconsistentists: https://www.paraconsistency.org/2022fall-spirng In the present edition there is an interview with Luis Estrada Gonzalez, co-organizer of the next World Congress of Paraconsistency that will take place in Oaxaca, Mexico in 2024. And, as always, you can win free holidays to the island of inconsistency if you find the author of the seasonal declaration. Enjoy ! Jean-Yves Beziau Editor of the Paraconsistent Newsletter http://www.paraconsistency.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] 5th edition of the World Logic Day: January 14, 2023
In exactly one month it will be the 5th edition of the World Logic Day. Everyone is welcome to organize a celebration on-line, in-person, hybrid. Instructions are here: https://wld.cipsh.international/wld2023.html > Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil Editor-in-Chief Logica Universalis 1st World Logic Day: 14 January 2019 https://link.springer.com/article/10.1007/s11787-019-00221-5 _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] A Probabilistic Logic Between LPP1 and LPP2 by Šejla Dautović / LUW December 14, 2022
The next session of the Logica Universalis Webinar will be Wednesday December 14 at 4pm CET. Speaker:Šejla Dautović http://www.mi.sanu.ac.rs/novi_sajt/members/fulltime/sejla.php Title: A Probabilistic Logic Between LPP1 and LPP2 Abstract: An extension of the propositional probability logic LPP2 given in Ognjanović et al. (Probability Logics. Probability-Based Formalization of Uncertain Reasoning, Theoretical Springer, Cham, Switzerland, 2016) that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete. https://link.springer.com/article/10.1007/s11787-022-00301-z Associate Organization: Seminar for Mathematical Logic, Belgrade, Serbia Presented by its chairman: Predrag Tanović Chair: Raja Natarajan Editorial Board Logica Universalis Everybody is welcome to attend https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of LUW and Editor-in-Chief LU http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Logic, Spatial Algorithms and Visual Reasoning / Logics in Fungal Mycelium Networks, LUW Nov 30 at 4pm CET
The next LUW (Logica Universalis Webinar) session will be Nov 30 at 4pm CET Speaker: Andrew Adamatzky https://en.wikipedia.org/wiki/Andrew_Adamatzky Title: Logics in Fungal Mycelium Networks Abstract: The living mycelium networks are capable of efficient sensorial fusion over very large areas and distributed decision making. The information processing in the mycelium networks is implemented via propagation of electrical and chemical signals en pair with morphological changes in the mycelium structure. These information processing mechanisms are manifested in experimental laboratory findings that show that the mycelium networks exhibit rich dynamics of neuron-like spiking behaviour and a wide range of non-linear electrical properties. On an example of a single real colony of Aspergillus niger, we demonstrate that the non-linear transformation of electrical signals and trains of extracellular voltage spikes can be used to implement logical gates and circuits. The approaches adopted include numerical modelling of excitation propagation on the mycelium network, representation of the mycelium network as a resistive and capacitive network and an experimental laboratory study on mining logical circuits in mycelium bound composites. https://link.springer.com/article/10.1007/s11787-022-00318-4 --- Presentation of the special issue of LU including this paper edited by Andrew Schumann and Jens Lemanski "Logic, Spatial Algorithms and Visual Reasoning" https://link.springer.com/article/10.1007/s11787-022-00311-x -- Everybody is welcome to join: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau, Editor-in-Chief LU and Organizer of LUW http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Methodological Shift in Favor of (Some) Paraconsistency in the Sciences - LUW November 16 at 4pm CET
The next session of the Logica Universalis Webinar will take place November 16 at 4pm CET. Speaker: María del Rosario Martínez-Ordaz https://www.mariamartinezordaz.com/ Title: Methodological Shift in Favor of (Some) Paraconsistency in the Sciences Abstract: Many have contended that non-classical logicians have failed at providing evidence of paraconsistent logics being applicable in cases of inconsistency toleration in the sciences. With this in mind, my main concern here is methodological. I aim at addressing the question of how we should study and explain cases of inconsistent science, using paraconsistent tools, without ruining into the most common methodological mistakes. My response is divided into two main parts: first, I provide some methodological guidance on how to approach cases of inconsistent science; and second, I focus on a peculiar type of formal methodologies for the scrutiny of inconsistent reasoning, the Paraconsistent Alternative Approach (henceforth, PAA) and argue that PAA can enhance a more accurate understanding of sensible reasoning in inconsistent contexts. https://link.springer.com/article/10.1007/s11787-022-00302-y Chair: Peter Verdee https://philpeople.org/profiles/peter-verdee Editorial board LU Associate Organization: Mexican Academy of Logic https://amlogica.webnode.mx/ presented by its president Abel Rubén Hernández Ulloa https://www.facebook.com/abelruben Everybody is welcome to join Register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Editor-in-Chief Logica Universalis, organizer of LUW http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Start of the World Congress of Logic and Religion (WoCoLoR 3) in Varanasi India
Dear Colleagues After a first edition in João Pessoa, Brazil and a second edition in Warsaw, Poland with the participation of scholars such as Saul Kripke (Schock Prize), Laurent Lafforgue (Fields Medal), Michal Heller (Templeton Prize), Dov Gabbay, Jessica Frazier, Snezana Lawrence, Jan Wolesnki, etc., this week will start the third edition of the World Congress of Logic and Religion (WoCoLoR 3) in Varanasi, India. Varanasi is one of the oldest and most sacred cities in the World, by the Ganges river. The event will take place at the Banaras Hindu University at the time of the Dev Deepawali festival (Festival of Lights of the Gods). The steps of all the ghats on the riverfront of the Ganges River, from Ravidas Ghat at the southern end to Rajghat, are lit with more than a million earthen lamps (diyas) in honour of Ganga, the Ganges, and its presiding goddess. According to history the gods are believed to descend to Earth to bathe in the Ganges on this day. For this luminous edition we will have the participation of scholars such as Piergiorgio Odifredi (Turin University, Italy), Ephraim Mer (Bar-Ilan University, Israel), Ngawang Samten (Central University for Tibetan Studies, India), Thomas Regehly (Schopenhauer Society, Germany), Caroline Pires Ting (Federal University of Rio de Janeiro, Brazil), Graham Priest (Melbourne University, Australia). Welcome to Varanasi ! Jean-Yves Beziau Vice-President of LARA - Logic And Religion Association Co-Chair WoCoLoR 3 https://www.logicandreligion.com/3rd-world-congress _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] 5th edition of the World Logic day - January 14, 2023
The 5th edition of the World Logic Day will take place around the world January 14, 2023. The first edition was organized January 14, 2019 and unanimously approved by the General Assembly of UNESCO the same year: http://www.logica-universalis.org/wld3 See here how to organize a celebration: https://wld.cipsh.international/organise_event.html >---- Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil Logica Universalis Association, Geneva, Switzerland https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] 100 grants for a logic summer school in Brazil
February 6 to 1, 2023 there will at the University of Campinas in Brazil a summer school celebrtaing the 90 years of Newton da Costa and the 45 years of the Centre of Logic. https://www.cle.unicamp.br/splogic/ 100 grants for undergraduate, graduate students, postdoctoral fellows (up to 5 years after completion of the Ph.D) are available. Funding includes airfare, medical insurance, accommodation, and meals throughout the event, The deadline to apply is October 30th: https://www.cle.unicamp.br/splogic/index.php/call-for-entries/ Welcome to Brazil ! >----- Jean-Yves Beziau Federal University of Rio de Janeiro http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Leonardi.DB: A Database of Aristotelian Diagrams - LUW October 19 at 4pm CET
The next session of the Logica Universalis Webinar (LUW) will take place this coming Wednesday, October 19 at 4pm CET Speaker: Lorenz Demey, KULeuven, Belgium https://www.lorenzdemey.eu/ Title: Leonardi.DB: A Database of Aristotelian Diagrams Abstract: Aristotelian diagrams, such as the square of opposition, are among the oldest and most well-known types of logical diagrams. Within the burgeoning research program of logical geometry, we have been developing a comprehensive database of Aristotelian diagrams that occur in the extant literature: Leonardi.DB (the Leuven Ontology for Aristotelian Diagrams, and its corresponding Database). In this talk, which is based on joint work with Hans Smessaert, I will present Leonardi.DB to the universal logic research community. We describe the philosophical background and main motivations for Leonardi.DB, focusing on how the database provides a solid empirical foundation for theoretical research within logical geometry. We also discuss some of the main methodological and technical aspects of the database development. As a proof-of-concept, we provide some examples of the new kinds of research that will be facilitated by Leonardi.DB, e.g., regarding broad trends in the usage and visual properties of Aristotelian diagrams. Associate organization: Belgian National Centre for Research in Logic https://www.logic-center.be/ presented by Jan Heylen https://www.kuleuven.be/wieiswie/en/person/00047978 Chair: Sergei Odintsov, Editorial board LU http://www.mathnet.ru/php/person.phtml?option_lang=eng=27585 Everybody is welcome to join. Register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Editor-in-Chief of Logica Universalis and Organizer of LUW http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Quine Set Theory - next LUW session, September 28 at 4pm CET
The next Logica Universalis Webinar session will take place September 28 at 4pm CET Speaker: Tin Adlešic Title: A Modern Rigorous Approach to Stratification in NF/NFU Abstract: The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of stratification is concerned only with variables, but we extend it to abstraction terms in order to simplify further development. We reflect on nested abstraction terms, proving that they get the expected types. These extensions enable us to check whether some complex formula is stratified without rewriting it in the basic language. We also introduce natural numbers and a variant of the axiom of infinity, in order to precisely introduce type level ordered pairs, which are crucial in simplifying the definitions in the last part of the article. Using these notions we can easily define the sets of ordinal and cardinal numbers, which we show at the end of the article. The same approach can be readily applied to NF. https://link.springer.com/article/10.1007/s11787-022-00310-y Chair: Srecko Kovac https://www.ifzg.hr/~skovac/index_files/Page328.html Editorial Board LU Associate Organization: European Set Theory Society https://ests.wordpress.com/trustees-2022-2024/ presented by its president, Philip Welch https://en.wikipedia.org/wiki/Philip_Welch This session will take place during the 11th LAP in Dubrovnik The LAP series of logic events http://imft.ftn.uns.ac.rs/math/cms/LAP2022 will be presented by Zvonimir Šikić. To take part, register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of LUW and President of LUA http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] David Makinson, Frege’s Ontological Diagram Completed, LUW Sept 7 at 4 pm CET,
The next session of the Logica Universalis Webinar will take place Wednesday September 7 at 4pm CET. Speaker: David Makinson Title of the Talk: Frege’s Ontological Diagram Completed Abstract: In a letter of 1891, Frege drew a diagram to illustrate his logical ontology. We observe that it omits features that play an important role in his thought on the matter, propose an extension of the diagram to include them, and compare with a diagram of the ontology of current first-order logic. https://link.springer.com/article/10.1007/s11787-022-00308-6 Associate Organization: Australasian Association of Logic presented by its president Guillermo Badia Chair: Valentin Goranko editorial board Logica Universalis Everybody is welcome to attend, register here https://www.springer.com/journal/11787/updates/20065848 Best Wishes Jean-Yves Beziau Organizer of the Logica Universalis Webinar https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Summer-Winter 2022
Just released the latest edition of the paraconsistent newsletter with - publications about paraconsistent logic, including a special issue of the South American journal of Logic for the 100 years of Francisco Miró Quesada, the Peruvian philosopher who coined the expression "Paraconsistent logic" (edited by Luis Felipe Bartolo Alegre and José Carlos Cifuentes) - videos of interest for paraconsistentists - an interview with a paraconsistent logician, presently Itala D'Ottaviano - forthcoming events of interest for paraconsistentists (The WCP6 is starting this week in Torun, Poland) And a session GRANTS - with 100 grants for undergraduate, graduate students, postdoctoral fellows from all over the world to go to the São Paulo School of Advanced Science in Contemporary Logic, Rationality and Information (in honor of Newton da Costa 90th birthday) to take place February 6-17, 2023 in Campinas, Brazil (Funding includes airfare, medical insurance, accommodation, and meals throughout the event) - a 3-year postdoc fellowship in paraconsistent logic at University of Otago and University of Canterbury, New Zealand Enjoy this hot winter edition ! https://www.paraconsistency.org/2022summer-winter Jean-Yves Beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Natural Deduction for Quantum Logic - LUW August 10 at 4pm CET
The next session of the Logica Universalis Webinar will be August 10 at 4pm CET Speaker: Kenji Tokuo, National Institute of Technology, Japan Title: Natural Deduction for Quantum Logic Abstract: This paper presents a natural deduction system for orthomodular quantum logic. The system is shown to be provably equivalent to Nishimura’s quantum sequent calculus. Through the Curry–Howard isomorphism, quantum λ-calculus is also introduced for which strong normalization property is established. https://link.springer.com/article/10.1007/s11787-022-00307-7 Everybody is welcome to join, register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
Re: [PEIRCE-L] reality, thought and language / names for mixed zones
Saussure when introducing the distinction between signified (signifié) and signifier (signifiant). gives as an example of signified "the concept of tree". So we can say that Saussure is working on the pair language/thought (which he calls "sign", not the usual meaning of the word) Quine with "Word and Object" is rather on the pair language/reality and Frege with Bedeutung and Sinn on the pair reality/thought In the three cases if we want to stress the interaction we can say that Frege is yellow, Saussure cyan and Quine magenta. Jean-Yves On Sat, Aug 6, 2022 at 9:43 PM Helmut Raulien wrote: > Tom, John, List, > > isn´t language a subset of thought, meaning, nothing can be said that > hasn´t been a thought first? Or, when it is nonsentical, like in > "Finnegan´s Wake" by James Joyce, maybe it hasn´t been a thought before, > but at the same time, it was written or spoken? > Harder to tell is, whether thought is a subset of reality. If you think: > "A and not A", this is not a part of reality, because it is not possible. > But the question is, is this a thought, or just pretending to be a thought, > because it also is impossible to imagine this pseudo-thought, you cannot > picture it? > > Best > Helmut > > > Gesendet: Samstag, den 06.08.2022 um 16:10 Uhr > > Von: "Thomas Gollier" > > An: Peirce-L > > Cc: c...@lists.iccs-conference.org > > Betreff: Re: [PEIRCE-L] reality, thought and language / names for mixed > zones > > > > John, > > > > I've been waiting for someone to take up Jean-Yves' challenge. I can go > > along with your categorizations, but only if "reality" refers to the > > reality of Secondness, or more specifically to the dynamic object. > > Otherwise — if for instance "reality" refers, or also refers, to > > the reality of Thirdness as in what the scientific community is fated to > > agree upon — it seems to me we'll have a lot of disambiguating to do with > > regard to these categories. > > > > Tom > > > > On Sat, Aug 6, 2022 at 1:56 AM John F Sowa wrote: > > > > > My suggested labels for the intersections: > > > > > > Reality and thought: Perception and action. > > > > > > Reality and language: Semantics > > > > > > Thought and language: Imagination > > > > > > All three: Semeiotic > > > > > > John > > > > > > -- > > > *From*: "jean-yves beziau" beziau...@gmail.com > > > > > > We can build a Venn diagram with three circles: > > > reality, thought and language. > > > It it not clear what names can be given to the mixed zones: > > > https://sites.google.com/view/reality-thought-language/mixed-zones > > > Does anyone have some answers? > > > Best Wishes > > > Jean-Yves > > > >-- > > > Prof. Dr. Dr. Jean-Yves Beziau > > > Federal University of Rio de Janeiro, Brazil > > > https://www.philpeople.org/profiles/jean-yves-beziau > > > > > > > > > _ _ _ _ _ _ _ _ _ _ > > > ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY > ON > > > PEIRCE-L to this message. PEIRCE-L posts should go to > > > peirce-L@list.iupui.edu . > > > ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to > > > l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of > the > > > message and nothing in the body. More at > > > https://list.iupui.edu/sympa/help/user-signoff.html . > > > ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; > and > > > co-managed by him and Ben Udell. > > > > > _ _ _ _ _ _ _ _ _ _ > > ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON > PEIRCE-L to this message. PEIRCE-L posts should go to > peirce-L@list.iupui.edu . > > ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to > l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the > message and nothing in the body. More at > https://list.iupui.edu/sympa/help/user-signoff.html . > > ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; > and co-managed by him and Ben Udell. > _ _ _ _ _ _ _ _ _ _ > ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON > PEIRCE-L to this message. PEIRCE-L posts should go to > peirce-L@list.iupui.edu . > ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to >
[PEIRCE-L] reality, thought and language / names for mixed zones
We can build a Venn diagram with three circles: reality, thought and language. It it not clear what names can be given to the mixed zones: https://sites.google.com/view/reality-thought-language/mixed-zones Does anyone have some answers? Best Wishes Jean-Yves >-- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://www.philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Logica Universalis Webinar on Cassyni
Starting tomorrow the Logica Universalis Webinar will be managed using the Cassyni platform. The sessions will still be Zoom sessions and the webinar will still be supervised by the Springer team, but Cassyni will be the basic platform that we will use. About Cassyni, see "Cassyni aims to make online seminars more findable and citable" https://www.nature.com/articles/d41586-021-02983-9 One good thing about Cassyni is an attribution of a DOI number to each session of the webinar, that therefore becomes an official scientific production, that can be cited. Here is the Cassyni page of LUW: https://cassyni.com/s/logica-universalis with all the sessions since the start of LUW at the beginning of 2021. As you can see the DOI is just on the right of the date of the session. And each session has a full detailed page with all the info, e.g. Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras / Ciro Russo https://cassyni.com/events/PSEpDr5tV1RWLteKe4rvpm To attend LUW you need to register on Cassyni, this can be done in 1mn https://cassyni.com/register and then, if you want, you can create a profile. For each session the zoom link will be available on the top of the page of the session 30mn before the start of the session, see e.g. the page of tomorrow session, talk by Norihiro Kamide "An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi" https://cassyni.com/events/T96r4ySKmwacxs9W1gq9Dw Jean-Yves Beziau Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] reality, thought and language / names for mixed zones
We can build a Venn diagram with three circles: reality, thought and language. It it not clear what names can be given to the mixed zones: https://sites.google.com/view/reality-thought-language/mixed-zones Does anyone have some answers? Best Wishes Jean-Yves >-- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://www.philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Deadline for Logic Paradise approaching: July 31st
November 4-8, 2022 will take place in Varanasi, India, the 3rd edition of the World Congress on Logic and Religion (3rd WoCoLoR) https://www.logicandreligion.com/3rd-world-congress Among the workshops of the 3rd WoCoLoR we will have Logic of Paradise Submissions are welcome. Deadline is July 31st. https://philevents.org/event/show/101370 Paradise is a famous notion in many religions. It may have different names and may come with different related notions. As a substantive, it is considered as a location, but there is also the qualitative “paradisiacal”, that applies to many situations and can be related to different states of mind. The aim of this workshop is to study the logical aspects of paradise and paradisiacality. We invite submissions of contributed papers on topics related to these questions, including but not restricted to: - Logical relations of paradise with similar, different or opposite locations, such as hell, purgatory, limbo, earth, heaven. - Aspects of the paradisiac mind (happiness, delightedness) and its logical relations with other psychic dispositions such as hope, fear, anger, confidence, joy. - Ways to reach paradise using logic to avoid illusions, misleading gurus, wrong behaviors and to develop good understanding, balancing emotions with the intellect. - The logical structure of the paradise: kinds of things and beings which are inside paradise (stones, rivers, seas, plants, trees, animals, humans, divine beings) and the relations between them. Jean-Yves Beziau & Caroline Pires Ting Federal University of Rio de Janeiro, Brazil CNPq, FAPERJ and LUA https://www.youtube.com/watch?v=6JX3LauUyyo _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Axiomatization of Some Basic and Modal Boolean Connexive Logics
The next session of the Logica Universalis Webinar (LUW) will take place Thursday July 14 at 4pm CET Talk by Mateusz Klonowski (Nicolaus Copernicus University in Toruń, Poland): "Axiomatization of Some Basic and Modal Boolean Connexive Logics" https://link.springer.com/article/10.1007/s11787-021-00291-4 Everybody is welcome to attend, register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of LUW and Editor-in-Chief of Logica Universalis http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] CfP - Logic of Paradise - Varanasi, India - Workshop
November 4-8, 2022 will take place in Varanasi, India, the 3rd edition of the World Congress on Logic and Religion (3rd WoCoLoR) https://www.logicandreligion.com/3rd-world-congress Among the workshops of the 3rd WoCoLoR we will have Logic of Paradise Submissions are welcome. Deadline is July 31st. https://philevents.org/event/show/101370 Paradise is a famous notion in many religions. It may have different names and may come with different related notions. As a substantive, it is considered as a location, but there is also the qualitative “paradisiacal”, that applies to many situations and can be related to different states of mind. The aim of this workshop is to study the logical aspects of paradise and paradisiacality. We invite submissions of contributed papers on topics related to these questions, including but not restricted to: - Logical relations of paradise with similar, different or opposite locations, such as hell, purgatory, limbo, earth, heaven. - Aspects of the paradisiac mind (happiness, delightedness) and its logical relations with other psychic dispositions such as hope, fear, anger, confidence, joy. - Ways to reach paradise using logic to avoid illusions, misleading gurus, wrong behaviors and to develop good understanding, balancing emotions with the intellect. - The logical structure of the paradise: kinds of things and beings which are inside paradise (stones, rivers, seas, plants, trees, animals, humans, divine beings) and the relations between them. Jean-Yves Beziau & Caroline Pires Ting Federal University of Rio de Janeiro, Brazil _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW July 6: Unification in Pretabular Extensions of S4
This coming Wednesday, July 6 at 4pm CET, we will have in the Logica Universalis Webinar the talk "Unification in Pretabular Extensions of S4" by Stepan I. Bashmakov Abstract: L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described. https://link.springer.com/article/10.1007/s11787-021-00287-0 To attend, register here: https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gTR_N Jean-Yves Beziau Organizer of the Logica Universalis Webinar Editor-in-Chief Logica Universalis http://www.jyb-logic.org _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] How images can be used to develop philosophical understanding, talk June 29 at 5pm CET
Tomorrow Wednesday June 29, at 5pm CET I will give in Paris a talk related to my paper "Imaging Philosophical Discourse" http://www.jyb-logic.org/IMAGING-PHILOSOPHY explaining how images can be used to develop philosophical understanding. It is possible to attend on-line. Link https://u-paris.zoom.us/j/86017416105?pwd=RR9dIbk414Ucl9uV2NECyEf0a-nDLQ.1 ID of the messting : 860 1741 6105 Password : 632958 Jean-Yves Beziau University of Brazil, Rio de Janeiro https://sites.google.com/view/miaou-rio/jyb _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Logic in Question / Couturat by Anne-Françoise Schmid / LUW June 15 at 4pm CET
Next Wednesday, June 15 at 16h CET we will have the next session of the Logica Universalis Webinar. It is about the book "Logic in Question - Talks from the Annual Sorbonne Logic Workshop (2011- 2019)" published in the book series Studies in Universal Logic (SUL) https://www.springer.com/series/7391 This book is related to the Workshop "Logic in Question" organized every Spring at the Sorbonne in Paris since 2011 http://www.logic-in-question.org/ In this workshop all aspects of logic are discussed and we already had talks by a great variety of speakers from all over the world http://www.logic-in-question.org/speakers-2011-2019.html The present book collects not all the talks, but a good number of them. It is a 750-page book including 38 papers such as: - "What Is “Ancient Chinese Logic?" by Guo Zhenzhen - "Frege’s Silence About Bolzano" by Jan Sebestik - "The Relevance Logic Programme: Failed or Just Stalled?" by David Makinson - "Contributions of Logical Analysis for Mathematics Education" by Viviane Durand-Guerrier - "Back and Forth in Positive Logic", by Bruno Poizat and Aibat Yeshkeyev to quote just a few. This session of the webinar will be chaired by Razvan Diaconescu, member of the editorial board of SUL. There will be a general presentation of the workshop and the book and then a talk corresponding to one chapter of the book: - "The Place and Value of Logic in Louis Couturat’s Philosophical Thinking" by Anne-Françoise Schmid Louis Couturat was born January 17, 1868 and died August 3 1914. His world Logic Day Number is therefore B+3 "A confirmed pacifist, he was killed when his car was hit by a car carrying orders for the mobilization of the French Army, in the first stage of World War I." https://en.wikipedia.org/wiki/Louis_Couturat He proposed the word "Logistique" (Logistics) to name modern logic. He was close to Bertarnd Russell. The correspondence between Couturat and Russell, the most important scientific correspondence of Russell, dealing with all kinds of topics, was lost under the snow in La-Chaux-de-Fonds in Switzerland. Many years later It was edited and published by the author of the talk, Anne-Françoise Schmid Correspondance sur la philosophie, la logique et la politique : Bertrand Russell et Louis Couturat, 1897-1913 https://www.amazon.fr/Correspondance-sur-philosophie-logique-politique/dp/284174258X See here the review by Alasdair Urquhart: https://www.academia.edu/2140956/The_Couturat-Russell_Correspondence_edited_by_Anne-Francoise_Schmid Couturat was the creator and promoter of the universal language Ido Here is the wikipedia page about Couturat in Ido https://io.wikipedia.org/wiki/Louis_Couturat With Léopold Léau he wrote "Histoire de la Langue Universelle" https://archive.org/details/histoiredelalang00coutuoft Couturat published the work of Leibniz on logic which was almost unknown and wrote: La logique de Leibniz https://archive.org/details/lalogiquedeleib00coutgoog/page/n4/mode/2up By Anne-Françoise Schmid (together with Oliver Schlaudt) there is the book (also published by Birkhäuser): Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts https://link.springer.com/book/10.1007/978-3-030-84828-6 Within the project A PRIZE OF LOGIC IN EVERY COUNTRY ! the logic prize for France was named "Louis Couturat Logic Prize" http://www.uni-log.org/logic-prize-world Everybody is welcome to attend the next Logica Universalis Webinar Register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of the Logica Universalis Webinar Series Editor Studies in Universal Logic http://www.logica-universalis.org/sul _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW June 8, Ciro Russo, Winner of the 2nd World Logic Prizes Contest
For the next session of the Logica Universalis Webinar, Wednesday June 8 at 4pm CET, Ciro Russo, the Winner of the 2nd World Logic Prizes Contest, will present his paper "Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras" https://link.springer.com/article/10.1007/s11787-022-00303-x The 2nd World Logic Prizes Contest took place during the 7th World Congress on Universal Logic in Crete last April, with the participation of 15 logic prize winners from 15 countries. The winner was chosen by a jury of 6 members: https://sites.google.com/view/unilog-2022/7th-congress/logic-prizes. The president of the jury, Ivan Varzinczak, will be chairing this LUW session. Everybody is welcome to attend, just register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of the World Logic Prizes Contest and the Logica Universalis Webinar http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
Re: [PEIRCE-L] Sense and the Making of Sense / St. Petersburg State University, June 2-4
Dear Jerry I started with a very simple and intuitive triple: word / idea / thing (or in a more general setting: language / thought / reality). One may ask if this forms a full Venn diagram (each part is non empty). Or using the theory of opposition, if this forms a triangle of contrariety or a triangle of subcontrariety. But my main point in "The Pyramid of Meaning" is to consider that there is something above this triangle joining the three elements of the triple. I call it 'notion'. To do that I was directly inspired by Saussure. Saussure is very famous, but not so many people know that Saussure uses "sign" to denote the whole signifier/signified (signifiant/signifié). This use of 'sign' does not correspond to the standard use of the word which is rather on the side of the signifier. Saussure makes the following comment about his use of 'sign': "if I am satisfied with it, this is simply because I do not know of any word to replace it, the ordinary language suggesting no other." This is a kind of default choice. Maybe a not so good choice, but it is true that it is not clear what would be the best word, unless creating one. Anyway the excellent idea of Saussure was to consider on the one hand the distinction signifier/signified, and on the other hand to also consider the whole, giving it a name. So I was directly inspired by him and I decided to choose the word "notion" for the whole word/idea/thing. Then the shape of the pyramid came naturally. Most real pyramids have square bases, but mathematically speaking a pyramid can have any polygon as a basis. If we have a triangular basis, the pyramid is a tetrahedron, a simplex, as I explain in my paper: http://www.jyb-logic.org/PYRAMID-OF-MEANING Those who want to attend my talk tomorrow June 2 at 4pm St Petersburg time have to fill the following form https://regforms.spbu.ru/en/?option=com_rsform=rsform=1701 Best Wishes JYB >------- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://philpeople.org/profiles/jean-yves-beziau On Wed, Jun 1, 2022 at 2:44 PM Jerry LR Chandler < jerry_lr_chand...@icloud.com> wrote: > > > On Jun 1, 2022, at 5:55 AM, jean-yves beziau wrote: > > In this talk / paper, I present a new theory of meaning, inspired by > Saussure, > but instead of considering only a pair (signifier/signified) packed in one > element, the "sign", > I consider a triple (word/idea/thing) packed in one element, the “notion”. > prof. Beziau: > > > Dear Prof. Beziau: > > Thanks for posting this opportunity to learn more about your notions of > non-classical logics. > > Perhaps you may wish to express more about how semiosis arranges the three > elements of the sign into a single notion? > > As stated, the assertion is perplex and difficult to grasp semantically > and syntactically from a Peircian view. > > I will watch with interest. > > Cheers > Jerry > > > _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Sense and the Making of Sense / St. Petersburg State University, June 2-4
Sense and the Making of Sense - SeMaSe2022 St. Petersburg State University, Russia June 2-4 https://philevents.org/event/show/95889 To attend on-line register here: https://artesliberales.spbu.ru/en/calendar/sense-and-making-sense Tomorrow at 16h (St Petersburg time), I will present in this congress the talk "The Pyramid of Meaning" http://www.jyb-logic.org/PYRAMID-OF-MEANING In this talk / paper, I present a new theory of meaning, inspired by Saussure, but instead of considering only a pair (signifier/signified) packed in one element, the "sign", I consider a triple (word/idea/thing) packed in one element, the "notion" In 2017 I organized a workshop in Geneva, part of CLG 100: Arbitrariness of the Sign http://www.jyb-logic.org/a Here is the resulting book The Arbitrariness of the Sign in Question http://www.collegepublications.co.uk/las/?1 and here my introductory paper: "Arbitrariness Symbolic Key" http://www.jyb-logic.org/ARB Everybody is welcome to submit a book to the book series: Logic and Semiotics http://www.collegepublications.co.uk/las/ Some years before I also organized in Neuchâtel, Switzerland, a workshop on symbol vs arbitrary sign. Here is the resulting book: La Pointure du Symbole https://www.editionspetra.fr/livres/la-pointure-du-symbole and here my introductory paper: "L'Arbitraire du Signe face à la Puissance du Symbole" http://www.jyb-logic.org/PDS JYB >------- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] WCP6 and SQUARE7 - Deadline Extension: May 31st
The deadline for the twin events WCP6 and SQUARE7 has been extended up to May 31st, see below. Jean-Yves Beziau https://sites.google.com/view/miaou-rio/jyb >-- 6th World Congress on Paraconsistency Torun, Poland, September 5-8, 2022 https://wcp6.umk.pl/ 7th World Congress on the Square of Opposition Leuven, Belgium, September 9-13, 2022 https://www.square-of-opposition.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW May 18: Logical Diagrams, Visualization Criteria and Boolean Algebras by Roland Bolz
Logica Universalis Webinar, Wednesday May 18, 4pm CET Speaker: Roland Bolz (Humboldt University, Berlin, Germany) Title: Logical Diagrams, Visualization Criteria and Boolean Algebras Abstract: This paper presents logical diagrams as attempts to visualize facts about logical/linguistic/conceptual systems. It introduces four criteria for assessing visualization: 1) completeness, 2) correctness, 3) lack of distortion, and 4) legibility. It then presents well-known families of diagrams, based on the geometrical figures of a) the hexagon, and b) the tetrakis hexahedron. These are usually presented as exemplary diagrams. To understand better why they succeed so well at visualizing logical information, they are presented as visualizations of complete (finite) Boolean algebras. This also establishes the connection between the combinatorial concept of partition and the logical concept of opposition (i.e. contradiction, contrariness, and subcontrariness). Finally, the paper suggests that the two geometrical figures in question are part of a larger family of polytopes with deep connections to Boolean algebras. Chapter of the book The Exoteric Square of Opposition https://link.springer.com/book/9783030908225 Talk originally presented at the 6th SQUARE https://www.square-of-opposition.org/ Everybody is welcome to join: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau, Organizer of LUW and Editor of Studies in Universal Logic https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW May 11: On Nonmonotonic Consequence Relations by Alexei Muravitsky
This coming Wednesday, May 11 at 4pm CET, we will have the next session of the Logica Universalis Webinar with a talk by Alexei Muravitsky Louisiana Scholars’ College, Northwestern State University, USA https://my.nsula.edu/my/mobile/faculty/facprofile.php?fid=alexeim Title: "On Nonmonotonic Consequence Relations'' Abstract: We discuss nonmonotonic reasoning in terms of consequence relations and corresponding operators. Based on the matrix consequence that gives the monotonic case, we define a restricted matrix consequence that illustrates the nonmonotonic case. The latter is a generalization of the relation of logical friendliness introduced by D. Makinson. We prove that any restricted single matrix consequence, although it may be nonmonotonic, is always weakly monotonic and, in the case of a finite matrix, the restricted matrix consequence is very strongly finitary. Further, by modifying the definition of logical friendliness relation formulated specifically in a proof-theoretic manner, we show a possibility of obtaining other reflexive nonmonotonic consequence relations, for which a limited result towards finitariness is proved. This leads to numerous questions about nonmonotonic consequence relations in the segment between the monotonic consequence relation based on intuitionistic propositional logic and logical friendliness. https://link.springer.com/article/10.1007/s11787-021-00275-4 Everybody is welcome to join: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of LUW and President of LUA http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] The 6th World Congress on Paraconsistency, deadline approaching: April 30
Call for Papers WCP6, Deadline April 30 https://philevents.org/event/show/97622 The 6th World Congress on Paraconsistency will take place in Torun, Poland, Sept 5-8, 2022: https://wcp6.umk.pl/ Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://www.jyb-logic.org/papers-para.html _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW April 20: Nate Ackermann (Harvard University, USA) – Encoding Complete Metric Structures by Classical Structures
Next Session of the Logica Universalis Webinar is Wednesday April 20 at 4pm CET: Talk; Encoding Complete Metric Structures by Classical Structures by: Nate Ackermann (Harvard University, USA) Chair: Andrei Rodin, Editorial Board Logica Universalis Associate Organization: Cambridge/Boston Logic Group, presented by Rehana Patel To join: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau, Organizer of LUW, Editor-in-Chief of Logica Universalis http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW April 13 - On the Origin of Logical Determinism in Babylonia - Andrew Schumann
April 13, 2022 – Andrew Schumann (Head of the Department of Cognitive Science and Mathematical Modeling, University of Information Technology and Management in Rzeszow, Poland) – On the Origin of Logical Determinism in Babylonia https://link.springer.com/article/10.1007/s11787-021-00282-5 Associate Organization: Warsaw Scientific Society, presented by Jan Woleński https://en.wikipedia.org/wiki/Jan_Wole%C5%84ski Chair: Jean-Yves Beziau Editor-in-Chief Logica Universalis http://www.logica-universalis.org/LUAD Join the Logica Universalis Webinar (LUW) 2022 ! https://www.springer.com/journal/11787/updates/20065848 _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Guess who is the Secret Speaker of UNILOG'2022 and win a trip to the 8th UNILOG in Cusco, Peru !
Like in previous editions of UNILOG, we will have a Secret Speaker, a Speaker whose identity is revealed only at the time of her/his/its talk. Previous secret speakers at UNILOG include Saul Kripke and Jaakko Hintikka. Guess who is the Secret Speaker and win a trip to the 8th UNILOG in Cusco, Peru ! The game is open to the participants of UNILOG'2022 but also to anybody in the world. The winner will be the first to find the correct answer. Check the result by watching the lecture of the Secret Speaker at UNILOG'2022. The talk will be Sunday 10 of April at 5pm Greek time at UNILOG'2022 in Crete. If you are not in Crete, see the zoom link and other details here: https://sites.google.com/view/unilog-2022/7th-congress/secret-speaker Jean-Yves Beziau Founder and Organizer of UNILOG http://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] April 7: watch on-line the 2nd World Logic Prizes Contest
April 7: watch on-line the 2nd World Logic Prizes Contest See schedule and link here https://sites.google.com/view/unilog-2022/7th-congress/logic-prizes Jean-Yves Beziau Organizer of the World Logic Prizes Contests: 1st WLPC https://link.springer.com/article/10.1007/s11787-018-0215-6 2nd WLPC https://link.springer.com/article/10.1007/s11787-022-00304-w _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Winter-Summer 2022
gations are not algebraizable”, Notre Dame Journal of Formal Logic, 39 (1998), pp.135-139. https://www.jyb-logic.org/idempotent.pdf When I was working with Tel-Aviv in 1995-96 with Arnon Avron within the Marie-Curie GeTFun project led by João Marcos and Carlos Caleiro http://sqig.math.ist.utl.pt/GeTFun I asked Arnon if it would be possible to have a self-extensional logic three-valued paraconsistent logic with a standard implication and the result is no! : A.Avron and J.-Y.Beziau, “Self-extensional three-valued paraconsistent logics have no implication”, Logic Journal of the IGPL, Volume 25, Issue 2 (April 2017), pp.183-194. https://academic.oup.com/jigpal/article-abstract/25/2/183/2739325/Self-extensional-three-valued-paraconsistent?redirectedFrom=fulltext=false I then asked him about such a situation for four-valued matrix semantics, and later on he published the paper, giving a positive answer to the question: "The Normal and Self-extensional Extension of Dunn–Belnap Logic" https://link.springer.com/article/10.1007/s11787-020-00254-1 Arnon Avroin will also be a keynote speaker of WCP6 Coming back to S5, it has not only good formal properties but the paraconsistent negation of Z has a good intuitive motivation / interpretation, as shown by the reconstruction of S5 through Z. So at the end I think S5 is one of the best paraconsistent logic ! (it has a paracomplete negation too, not possible). I also worked on the fundamental philosophical aspects of paraconsistent logic, may main contributions are the two following papers "Cats that are not cats - Towards a natural philosophy of paraconsistency" http://www.jyb-logic.org/CATS "Round Squares are no Contradictions" http://www.jyb-logic.org/ROS Jean-Yves Beziau Creator and Editor of the Paraconsistent Newsletter Paraconsistent Logician and Artist https://sites.google.com/view/miaou-rio/jyb > _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Logica Universalis Webinar, March 16, Eunsuk Yang (joint work with Mike Dunn)
For the next edition of the Logica Universalis Webinar (LUW), next Wednesday, March 16 at 4pm CET, we will have a talk by: Eunsuk Yang (Jeonbuk National University, South Korea) https://philpeople.org/profiles/eunsuk-yang Joint work with Mike Dunn: Implicational Tonoid Logics https://link.springer.com/article/10.1007/s11787-021-00288-z and Implicational Partial Galois Logics https://link.springer.com/article/10.1007/s11787-021-00290-5 Chair: Jui-Lin Lee, Editorial Board SUL https://www.researchgate.net/profile/Jui-Lin-Lee Presentation of the Korean Association of Logic http://www.logicalkorea.com/ by its secretary Ilho Park https://sites.google.com/site/ilhoparkphil/ilho-park To attend, register in advance: https://www.springer.com/journal/11787/updates/20065848 Everybody is welcome! Jean-Yves Beziau Organizer of LUW and Editor-in-Chief of Logica Universalis https://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] The 2nd World Logic Prizes Contest at the Logica Universalis Webinar, March 9
Dear Colleagues Next Wednesday, March 9, at 4 pm CET there will be a session of the Logica Universalis Webinar (LUW) about the 2nd World Logic Prizes Contest: https://www.springer.com/journal/11787/updates/20065848 The chair of the session will be Göran Sundholm and the Logica Universalis Association (LUA), organizer of the contest, will be presented by its secretary, Katarzyna Gan-Krzywoszyńska. Everybody is welcome to attend, just follow the link which is indicated on the above webpage. The 2nd World Logic Prizes Contest will take place during UNILOG'2022 in Crete next April: https://sites.google.com/view/unilog-2022/logic-prizes The 1st World Logic Prizes Contest took place during UNILOG'2018 in Vichy, France in June 2018: http://www.uni-log.org/logic-prizes-2018 The papers presented at this contest were published here: *Logica Universalis*, Volume 12, issue 3-4, November 2018, Special Issue: 1st Logic Prizes Contest https://link.springer.com/journal/11787/volumes-and-issues/12-3 Most of the papers of the 2nd World Logic Prizes Contest are already available here https://link.springer.com/journal/11787/online-first and will soon be gathered in a special issue of Logica Universalis. Jean-Yves Beziau Founder of the World Logic Prizes Contest "Logic Prizes *et Cætera"* https://link.springer.com/article/10.1007/s11787-018-0215-6 _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] 6TH WORLD CONGRESS OF PARACONSISTENCY IN TORUŃ, POLAND
The Call for Papers is now open for the: 6TH WORLD CONGRESS OF PARACONSISTENCY September 5--8, 2022, Torun, Poland https://wcp6.umk.pl/ Just after it there will be the: 7TH WORLD CONGRESS ON THE SQUARE OF OPPOSITION September 9--13, 2022; Leuven, Belgium http://www.square-of-opposition.org/ The two events are related. The square of opposition theory permits to clarify the relation between classical negation and other negations: J.-Y.Beziau, “New light on the square of oppositions and its nameless corner”, Logical Investigations, 10, (2003), pp.218-232: https://www.jyb-logic.org/sep.pdf J.-Y.Beziau, “Round squares are no contradictions”, in New Directions in Paraconsistent Logic, Springer, New Delhi, 2015, pp.39-55. http://www.jyb-logic.org/ROS >-- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://www.philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW Fev 09 2022 An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
After the session of January 14, celebrating the World Logic Day https://www.logica-universalis.org/wld4 we are now starting for the 2nd year regular sessions of the Logica Universalis Webinar two times a month. The next session will be Wednesday February 9, 2022 at 4pm with a talk by Antonino Drago (University “Federico II” of Naples, Italy) "An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper" Abstract: Two dichotomies are considered as the foundations of a scientific theory: the kind of infinity—either potential or actual-, and the kind of organization of the theory—axiomatic or problem-based. The original intuitionist program relied on the choices of potential infinity and the problem-based organization. I show that the logical theory of Kolmogorov’s 1932 paper relied on the same choices. A comparison of all other theories sharing the same foundational choices allows us to characterize their common theoretical development through a few logical steps. The theory illustrated by Kolmogorov’s paper is then rationally re-constructed according to the steps of this kind of development. One obtains a new foundation of intuitionist logic, which is of a structural kind since it is based on and developed according to the structure of the above mentioned two fundamental choices. In addition, Kolmogorov’s illustration of his theory of intuitionist logic is an instance of rigorous reasoning of the intuitionist kind. Full paper: https://link.springer.com/article/10.1007/s11787-021-00292-3 Everybody is welcome to attend, register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of the Logica Universalis Webinar https://www.jyb-logic.org/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics
Dear Colleagues Today January 25, at 4pm CET, I will present the talk "MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics" at Cairo University Webinar on The History and Philosophy of Mathematics I will discuss in particular the semiotic aspect of this number. Details here: https://www.jyb-logic.org/MANY1-CAIRO JYB _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] UNESCO 4th World Logic Day - Round table on the Exceptionality of Logic
For the 4th edition of the World Logic Day, next Friday, January 14, 2022 The Logica Universalis Association (LUA) is organizing a round table on THE EXCEPTIONALITY OF LOGIC with the participation of - Yuri Gurevich - Jan Wolenski - María del Rosario Martínez-Ordaz - Srecko Kovac - Istvan Nemeti - Hajnal Andreka - Mihir Chakraborty Chair: Katarzyna Gan-Krzywoszynska http://www.logica-universalis.org/wld4 Everybody is welcome ! Jean-Yves Beziau, President of LUA _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Peirce on Images: In which sense Peirce had the idea that images were useful to develop our thinking?
Completing my recent email to the list (see below), I think it would be very nice to have for the WJPP a paper about Peirce on Images: In which sense Peirce had the idea that images (icons, symbols, diagrams,pictures) were useful to develop our thinking? An imaginative paper! JYB --- Dear Colleagues Here a recent paper of mine: "Imaging Philosophical Discourse" https://www.jyb-logic.org/IMAGING-PHILOSOPHY <https://jyb-logic.org/IMAGING-PHILOSOPHY> Everybody is welcome to submit a paper for the new journal announced in the last part of the paper World Journal of Pictorial Philosophy http://www.wjpp.org/www/ Deadline to submit a paper for the first issue: April 1st, 2022 >------ Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Use of Images in Philosophy
Dear Colleagues Here a recent paper of mine: "Imaging Philosophical Discourse" https://www.jyb-logic.org/IMAGING-PHILOSOPHY <https://jyb-logic.org/IMAGING-PHILOSOPHY> Everybody is welcome to submit a paper for the new journal announced in the last part of the paper World Journal of Pictorial Philosophy https://wjpp.org/www/ Deadline to submit a paper for the first issue: April 1st, 2022 >------ Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] January 14, 2022: 4th edition of the World Logic Day
Dear Colleagues On January 14 it will be the 4th edition of the World Logic Day: https://wld.cipsh.international/wld2022.html If you organize something don't forget to announce it on the above page by writing to: https://wld.cipsh.international/contact.html Here a video explaining why, how and when I created the WLD: ORIGIN OF THE WORLD LOGIC DAY https://www.youtube.com/watch?v=UJJDL9MKYOk Here another video describing how I succeeded to make this day proclaimed at unanimity by the general assembly of UNESCO through the Brazilian Ambassador: THE INCLUSION OF THE WORLD LOGIC DAY IN THE UNESCO INTERNATIONAL DAYS CALENDAR https://www.youtube.com/watch?v=xeDNHL-YHKA And here a paper explaining why logic is exceptional: IS LOGIC EXCEPTIONAL? https://www.jyb-logic.org/ILE Happy New Year 2022 ! Jean-Yves Beziau President of LUA - Logica Universalis Association http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Paraconsistent Newsletter Fall-Spring 2021
Now released the Paraconsistent Newsletter Fall-Spring 2021 https://paraconsistency.org/2021fall-spring with - latest papers, books, events, videos of interest for paraconsistentists - an exclusive interview with Marek Nasieniewski, organizer of the next World Congress on Paraconsistency (Torun, Poland, September 2022) - obituary of Andrea Loparic (1941-2021) and, as always, you can win free holidays to the island of inconsistency if you find the author of the seasonal declaration JYB >--- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://philpeople.org/profiles/jean-yves-beziau _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Decolonizing “Natural Logic” / Logical Skills / LUWebinar Dec 15, 4 pm CET
This coming Wednesday, Dec 15, in the Logica Universalis Webinar, we will have the presentation of the book Logical Skills edited by Julie Brumberg-Chaumont & Claude Rosental https://link.springer.com/book/10.1007/978-3-030-58446-7 published in the book series Studies in Universal Logic https://www.springer.com/series/7391 and a talk based on one of the chapters of this book Decolonizing “Natural Logic” by Scott L. Prat “Natural logic” was proposed by Lewis Henry Morgan (1818–1881) as the engine of cultural evolution, concluding that the “course and manner” of cultural development “was predetermined, as well as restricted within narrow limits of divergence, by the natural logic of the human mind.” This essay argues that Morgan’s conception of natural logic aids the project of settler colonialism. Rather than being a false account of human agency, however, it is a conception of natural logic that is produced through the systematic narrowing of possibilities for agency, human, and otherwise. This narrowed logic is thus only a part of a differently conceived logic of agency that is also general (and so serves as the framework for all action) and normative (albeit with a set of norms different from those identified by Morgan). The discussion proceeds in four sections: first, a presentation of Morgan’s conception of natural logic and its origins; second, an analysis of four colonizing implications of Morgan’s view; third, examples of further developments of natural logic in the twentieth and twenty-first centuries in the work structuralist and post-structuralist theorists; and, last, a brief introduction of a decolonial logic that provides a broader alternative conception of the structure of agency, human, and otherwise, and that avoids the oppressive effects of the reductionism of the natural logic received from Morgan and his successors. https://link.springer.com/chapter/10.1007/978-3-030-58446-7_2 Chair: Raffaela Giovganoli https://philpeople.org/profiles/raffaela-giovagnoli To attend this LUW session register here: https://www.springer.com/journal/11787/updates/18988758 Jean-Yves Beziau President of LUA - Logica Universalis Association http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] UNILOG'2022: Ready to go? Early Bird Registration Fee: Dec 15
Dear Colleagues We are working on the preparation of UNILOG'2022 and the conditions are good. The COVID-19 has always been weak in Crete. The event will be 100% in person. The doors of the Island were open to tourism last summer without problem and the conference center, near Chania, where UNILOG'2022 will take place has already resumed its activities a couple of months ago. Note also that the event will take place in the first half of April, before the start of the tourist season. UNILOG 2022 is organized under the Aegis of the Government of Crete. Crete is an island with a history of about 5.000 years, cradle of Western civilization, including the Labyrinth, Plato's cave and much more. Everybody is welcome to join and enjoy this wonderful place. The deadline for early bird registration fee is December 15: https://sites.google.com/view/unilog-2022/registration UNILOG is a series of events (combining a congress and a school) promoting - logic in all its aspects: mathematical, philosophical, computational, semiotic, historical - the relations between logic and other fields 7th UNIVERSAL LOGIC SCHOOL The school will have a duration of 5 days: from April 1st to April 5, 2022 with: - an opening round table on the topic "Why study logic?" - 30 tutorials - a closing session about how to publish 7th UNIVERSAL LOGIC CONGRESS The congress will have a duration of 6 days: from April 6 to April 11 2022, with - keynote speakers - contributing speakers - workshops - a secret speaker (as in previous editions), i.e. a speaker whose identity is revealed only at the time of his/her/its talk or after - a contest 2nd WORLD LOGIC PRIZES CONTEST The 1st World Logic Prizes Contest took place in Vichy, France, during the 6th UNILOG in 2018. This contest is a competition between winners of logic prizes of different countries. The winner is awarded the Universal Logic Prize. There will also be: - a session honoring recently deceased colleagues, participants of previous UNILOGs: Mike Dunn (1941-2021) and John Cororan (1937-2021) - a book exhibition and some book launches We look forward to seeing you in Crete next April ! Best Wishes Jean-Yves Beziau & Ioannis Vandoulakis Organizers of UNILOG'2022 https://sites.google.com/view/unilog-2022/ _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW Dec 8, 4pm CET / Measuring Inconsistency in Generalized Propositional Logic
The next Logica Universalis Webinar session will take place next Wednesday, Dec 8, at 4pm CET with the talk "Measuring Inconsistency in Generalized Propositional Logic" by John Grant (University of Maryland, USA) Abstract: Consistency is one of the key concepts of logic; logicians have put a great deal of effort into proving the consistency of many logics. Understanding what causes inconsistency is also important; some logicians have developed paraconsistent logics that, unlike classical logics, allow some contradictions without making all formulas provable. Another direction of research studies inconsistency by measuring the amount of inconsistency of sets of formulas. While the initial attempt in 1978 was too ambitious in trying to do this for first-order logic, this research got a substantial boost when an inconsistency measure was proposed for propositional logic in 2002. Since then, researchers in logic and artificial intelligence (AI systems need the capability to deal with inconsistency) have made many interesting proposals and found related issues. Almost all of this work has been done for propositional logic. The purpose of this paper is to extend inconsistency measures to logics that also contain operators, such as modal operators. We use the terminology “generalized propositional logic” for such logics. We show how to extend propositional inconsistency measures to sets of formulas in any such generalized propositional logic. Examples are used to illustrate how various modal operators, including spatial and tense operators, fit into this framework. We also show that the addition of operators leads to a weak type of inconsistency. In all cases, the calculations for several inconsistency measures are given. https://link.springer.com/article/10.1007/s11787-020-00256-z Associate Organization: World Association of Paraconsistency (WAP) http://www.paraconsistency.org/ presented by Maria Martinez-Ordaz https://www.mariamartinezordaz.com/ To attend, register here: https://www.springer.com/journal/11787/updates/18988758 Best Wishes Jean-Yves Beziau Organizer of the Logica Universalis Webinar President of Logica Universalis Association http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW Nov 17, 4pm CET / Correspondence Analysis for Some Fragments of Classical Propositional Logic
The next Logica Universalis Webinar session will take place next Wednesday, Nov 17, at 4pm CET with the talk "Correspondence Analysis for Some Fragments of Classical Propositional Logic" by Yaroslav Petrukhin (University of Łódź, Poland) and Vasilyi Shangin (Lomonosov Moscow State University, Russia) Abstract: We apply Kooi and Tamminga’s correspondence analysis (that has been previously applied to some notable three- and four-valued logics) to some conventional and functionally incomplete fragments of classical propositional logic. In particular, the paper deals with the implication, disjunction, and negation fragments. Additionally, we consider an application of correspondence analysis to some connectiveless fragment with certain basic properties of the logical consequence relation only. As a result of the application, one obtains a sound and complete natural deduction system for any binary extension of each fragment in question. With the focus on exclusive disjunction we comparatively study the proposed systems. Finally, we discuss Segerberg’s systems for connectiveless and negation fragments and compare them with our systems. https://link.springer.com/article/10.1007/s11787-021-00267-4 To attend, register here: https://www.springer.com/journal/11787/updates/18988758 Best Wishes Jean-Yves Beziau Organizer of the Logica Universalis Webinar President of Logica Universalis Association http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW - November 10 - Calculi for Many-Valued Logics by Michael Kaminski and Nissim Francez
The next session of LUW (Logica Universalis Webinar) will take place this coming Wednesday, November 10, at 4pm CET Title of the Talk: Calculi for Many-Valued Logics Authors:Michael Kaminski and Nissim Francez Abstract: We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and there is a natural duality among these calculi. We also prove the cut elimination theorems for the sequent-like systems. https://link.springer.com/article/10.1007/s11787-021-00274-5 Associate Organization: Logic in Israel, presented by Liron Cohen https://in.bgu.ac.il/en/Pages/Liron-Cohen.aspx Chair:Anna Zamansky, Member of the Editorial Board of Studies in Universal Logic https://is-web.hevra.haifa.ac.il/index.php/en/dr-anna-zamansky To attend, register here: https://www.springer.com/journal/11787/updates/18988758 Jean-Yves Beziau Organizer of the Logica Universalis Webinar President of Logica Universalis Association http://www.logica-universalis.org/LUAD _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Lewis Carroll’s Symbolic Logic: Why Make Things Simple When You Can Make Them Complicated?
This coming Wednesday, October 13, at 4 pm CET, one more session of the Logica Universalis Webinar (LUW). It will be dedicated to Lewis Carroll’s logic. See details below. Everybody is welcome to join ! Register in advance here: https://www.springer.com/journal/11787/updates/18988758 Also recently published "Lewis Carroll: Logic" by Fancine Abeles in the Internet Encyclopedia of Philosophy (IEP) https://iep.utm.edu/car-logi/ and a workshop on Lewis Carroll at UNILOG'2022: https://sites.google.com/view/unilog-2022/workshops/lewis-carrolls-logic Jean-Yves Beziau Organizer of LUW, Logic Area Editor of IEP, President of LUA http://www.logica-universalis.org/LUAD > Amirouche Moktefi (Ragnar Nurkse Tallinn University of Technology, Estonia) "Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic" Logica Universalis, volume 15, pages359–379 (2021) https://link.springer.com/article/10.1007/s11787-021-00286-1 Lewis Carroll (1832–1898) published a system of logic in the symbolic tradition that developed in his time. Carroll’s readers may be puzzled by his system. On the one hand, it introduced innovations, such as his logic notation, his diagrams and his method of trees, that secure Carroll’s place on the path that shaped modern logic. On the other hand, Carroll maintained the existential import of universal affirmative Propositions, a feature that is rather characteristic of traditional logic. The object of this paper is to untangle this dilemma by exploring Carroll’s guidelines in the design of his logic, and in particular his theory of existential import. It will be argued that Carroll’s view reflected his belief in the social utility of symbolic logic. _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] LUW October 6 : being provable in Peano Arithmetic with at most k steps
This coming Wednesday, October 6, at 4 pm CET, one more session of the Logica Universalis Webinar (LUW). See details below. Everybody is welcome to join ! Register in advance here: https://www.springer.com/journal/11787/updates/18988758 Jean-Yves Beziau Organizer of LUW and President of LUA http://www.logica-universalis.org/LUAD > Paulo Guilherme Santos & Reinhard Kahle NOVA School of Science and Technology, Caparica, Portugal and University of Tübingen, Germany "k-Provability in PA" Logica Universalis, On-line first June 09, 2021 https://link.springer.com/article/10.1007/s11787-021-00278-1 We study the decidability of k-provability in PA—the relation ‘being provable in PA with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a proof that has a given skeleton (the list of axioms and rules that were used). The decidability of k-provability for the usual Hilbert-style formalisation of PA is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which k-provability is decidable, and we present a characterisation of some proof-skeletons for which one can decide whether a formula has a proof whose skeleton is the considered one. These characterisations are natural and parameterised by unification algorithms. _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
[PEIRCE-L] Logic and Love - Workshop at UNILOG'2022 - Crete
The 7th UNILOG will take place in the beautiful island of Crete in April 2022 https://sites.google.com/view/unilog-2022/ Besides the main session there will be about 20 Workshops, among them: WORKSHOP ON LOGIC & LOVE Love and Logic can be seen as opposed or intertwined. If human beings are characterized as rational animals and if love is considered as a typical feature of those animals, there must be some connections between the two. The aim of this workshop is to investigate these connections. Those interested in logic and love are invited to submit their proposals on any aspect related to this subject. Topics may include, but are not restricted to: • Reason. Emotion, Irrationality of Love • The Mechanisms of Love • Passion for Logic • Logic, Symbolism of Love • Love, Chance and Logic • The Implications and Consequences of Love • Love and Contradiction • The Logical Relations between the different Kinds of Love • Universal Love and Universal Logic Submission deadline: October 15, 2021, see details here: https://sites.google.com/view/unilog-2022/workshops/logic-and-love Jean-Yves Beziau and Caroline Pires Ting (organizers) _ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
Re: [PEIRCE-L] Peirce's Belief in God (was A comment)
Dear Colleagues It would be nice to have a session of our LARAWebinar https://www.logicandreligion.com/webinars related to Peirce. Proposals are welcome. Among the LARA publications we have the following paper: The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God by Cassiano Terra Rodrigues see here https://link.springer.com/journal/11841/56/2/page/1 Jean-Yves Beziau Vice-President of LARA https://www.logicandreligion.com/lara On Tue, Sep 14, 2021 at 10:58 PM Jon Alan Schmidt wrote: > John, Edwina, List: > > JAS: Why not simply admit disagreement with Peirce's explicitly stated > belief that God as traditionally defined is the real, personal, and > transcendent creator of the universe? > > > JFS: I have not seen any such definition in Peirce's writings. Please show > (1) Peirce's exact definition and (2) his statement that he believes it. > > ET: I don't think that Peirce said that section that I have underlined. I > don't know what 'traditionally defined' means. > > > Again, I have provided *numerous *exact quotations from *various *writings > by Peirce over the last several days. I will provide a few of them one more > time, which should settle the matter for anyone who is genuinely interested > in knowing *what Peirce believed* ( > https://list.iupui.edu/sympa/arc/peirce-l/2021-09/msg00146.html). > > In the penultimate paragraph of "The Law of Mind," he explicitly states > that his synechism *requires *accepting the doctrine of a *personal *God, > whom we directly perceive and with whom we are in personal communication. > He also offers an explanation for why so many people nevertheless reject > this doctrine. > > CSP: A difficulty which confronts the synechistic philosophy is this. In > considering personality, that philosophy is forced to accept the doctrine > of a personal God; but in considering communication, it cannot but admit > that if there is a personal God, we must have a direct perception of that > person and indeed be in personal communication with him. Now, if that be > the case, the question arises how it is possible that the existence of > this being should ever have been doubted by anybody. The only answer that I > can at present make is that facts that stand before our face and eyes and > stare us in the face are far from being, in all cases, the ones most easily > discerned. That has been remarked from time immemorial. (CP 6.162, EP > 1:332-333, 1892) > > > In a manuscript entitled "Answers to Questions Concerning My Belief in > God," Peirce carefully distinguishes existence from reality and explicitly > affirms his own belief in the *reality *of God--i.e., that God possesses > certain characters regardless of what anyone thinks about God--as well as > his opinion that just about everyone believes this, whether they > acknowledge it or not. > > CSP: I will also take the liberty of substituting "reality" for > "existence." This is perhaps overscrupulosity; but I myself always use *exist > *in its strict philosophical sense of "react with the other like things > in the environment." Of course, in that sense, it would be fetichism to say > that God "exists." The word "reality," on the contrary, is used in ordinary > parlance in its correct philosophical sense. ... I define the *real *as > that which holds its characters on such a tenure that it makes not the > slightest difference what any man or men may have *thought* them to be, > or ever will have *thought *them to be, here using thought to include, > imagining, opining, and willing (as long as forcible *means *are not > used); but the real thing's characters will remain absolutely untouched. > Of any kind of figment, this is not true. So, then, the question being > whether I believe in the reality of God, I answer, Yes. I further opine > that pretty nearly everybody more or less believes this, including many of > the scientific men of my generation who are accustomed to think the belief > is entirely unfounded. (CP 6.495-496, c. 1906) > > > Later in the same manuscript, he explicitly describes prayer as a > universal human instinct and the expression of the soul's consciousness of > its relation to God > > CSP: We, one and all of us, have an instinct to pray; and this fact > constitutes an invitation from God to pray. And in fact there is found to > be not only *soulagement *in prayer, but great spiritual good and moral > strength. I do not see why prayer may not be efficacious, or if not the > prayer exactly, the state of mind of which the prayer is nothing more than > the expression, namely the soul's consciousness of its relation to God, > which is nothing more than precisely the pragmatistic meaning o