logicday_logo grcls_logo

Workshop on the occasion of the UNESCO World Logic Day

CLICK HERE for the Workshop Page in Japanese

Hybrid (Japanese is the official language used in the Workshop)
Date: Jan. 14th, 2023, 13:00−17:30 (JST)
Venue: G-Lab, 6F, East Building, Mita Campus, Keio University
Free registration link: [Here]

URL: https://abelard.flet.keio.ac.jp/seminar/World_Logic_Day_2023

Contact information: logic@abelard.flet.keio.ac.jp

January 14th is the UNESCO World Logic Day, declared in the UNESCO Conference, November, 2019, which was proposed by IUHPST/DLMPST and CIPSH. The day is the occasion to recognize the contribution of logic to the society and human life. Since 2021, CIPSH promoted the activities worldwide. This 2023 Workshop is the third version of the series.
Part 1

Opening Remark and Messages

Main Invited Lecture:
Takuro Onishi (Kyoto University)
“Carving up new concepts: A joy of Non-Classical Logic”
Abstract: The interest of logic, especially non-classical logic, lies in the way it creates new concepts by analyzing concepts we take for granted. In this lecture, I introduce the study of negative modality and related topics, and discuss how it attempts to decompose and reorganize the framework of classical logic.

Invited talk:
Sakiko Yamasaki (Kanazawa University, JSPS)
“An elucidation of foundational problems in philosophy of information――via information flow and levels of abstraction”

Invited talk:
Masanobu Toyooka(*)& Katsuhiko Sano (Hokkaido University)
“A collapsing problem of combining intuitionistic and classical logic and a way of avoiding the problem in sequent calculus”
Abstract: It is known that if we try to provide a proof theory of a logic combining classical and intuitionistic logic and combine the rules of both logics directly, the problem called ``collapsing problem'' occurs. As a logic avoiding this problem successfully, this presentation deals with the logic called C+J, which is studied by Humberstone (1979), del Cerro & Herzig (1996), etc. Although a Hilbert system and a natural deduction system were already provided for this logic, this presentation provides a sequent calculus and explains how the collapsing problem can be avoided.

Part 2 (Project Report)

  • Koji Mineshima & Mitsuhiro Okada (Keio University) & Yuichiro Hosokawa (Gunma Prefectural Women's University)
    “Disagreement in logic and reasoning" Project Report
  • Ryosuke Igarashi (Kyoto University)
    “Logical disagreement in past and present”
  • Onyu Mikami (Tokyo Metropolitan University)
    “Recapturing the concept of truth in language activities”
  • Takayuki Amamoto (Keio University)
    “Towards Dynamic Semantics of Argumentation Structures in Natural Language”
  • Yuri Sato (The University of Tokyo)
    “Computation of meaning and image captions: logic and negation”

Part 3: Issues on Logic Education

Special Invited Talk:
Yuko Murakami (Rikkyo University)
“A proposal toward integrated education of logic and data science”
Abstract: Undergraduate and master’s programs in data science are mushrooming in recent years under the promotion of digital transformation in Japan. Curriculums vary but mainly cover statistics and machine learning with focus on economics and engineering, without connection to foundational computer science. Logic is mostly ignored.
This talk will propose a logic curriculum for returning master’s students in data science with no backgrounds in logic in their undergraduates.

Discussion Session
  • Ryosuke Igarashi (Kyoto University)
  • Onyu Mikami (Tokyo Metropolitan University)
  • Koji Mineshima (Keio University)
  • Mitsuhiro Okada (Keio University) (in collaboration with the IUHPST Committee of SCJ)

Co-Organized by:
  • Global Research Center for Logic and Sensitivity, Keio University
  • Center for Applied Philosophy and Ethics (CAPE), Graduate School of Letters, Kyoto University
  • Okamoto Philosophy Laboratory, Tokyo Metropolitan University