Title: A Logical Consequence Informed by Probability Speaker: Neil F. Hallonquist, Johns Hopkins University, USA There are two general conceptions on the relationship between probability and logic. In the first, these systems are viewed as complementary—having offsetting strengths and weaknesses—and there exists a fusion of the two that creates a reasoning system that improves upon each. In the second, probability is viewed as an instance of logic, given some sufficiently broad formulation of it, and it is this that should inform the development of more general reasoning systems. These two conceptions are in conflict with each other, where the root issue of contention is the proper abstraction of the concept of logical consequence. In this work, we put forth a proposal on this abstraction based on an extension of the subset relation through the use of projections, which in turn, allows for the formalization of valid inferences to more general settings. Our proposal results in a formalism that encompasses probability and classical logic, and importantly, does so with minimal machinery. This formalism makes assertions about the relationship between these two systems that are explicit, and suggests a path forward in the development of alternatives to them. https://link.springer.com/article/10.1007/s11787-024-00359-x
Preceded by the presentation of the 8th World Congress and School on Universal Logic (UNILOG) that will take place in Cusco, Peru, December 4-14, 2025 https://sites.google.com/view/unilog2025/ by the organizers: https://sites.google.com/view/unilog2025/organizers Everybody is welcome to join, register here: https://link.springer.com/journal/11787/updates/27731708 Chair: Jean-Yves Beziau, Editor-in-Chief Logica Universalis Organizer of the Logica Universalis Webinar - 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 [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iu.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.
