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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBeHrQMu7s%3DPUYRVTdP%2Bcr3edT--ZAa%2BH8FYXLhb4mhKQ%40mail.gmail.com.
