Bulletin of the Section of Logic