Abstract Categorical Logic / Isabelle Bloch / LUW February 22

jean-yves beziau beziau100 at gmail.com
Mon Feb 20 13:23:20 EST 2023

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.

Associate Organization: GDR IA,  CNRS, presented by  Meghyn Bienvenu

Chair: Andrei Rodin, Editorial Board LU

Everybody is welcome to join, register here:
Jean-Yves Beziau
Organizer of LUW and Editor-in-Chief of Logica Universalis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20230220/ac1476fa/attachment-0001.html>

More information about the FOM mailing list