Axiomatic Method


Schedule. Monday 10 of April, Morning


9:30 - 10:30 KENYOTE TALK Josef Mensik, "Axioms, meta-structures and structures in mathematics"
10.30-11:00 Avril Styrman, "Axiomatic Analysis of The Principle of Plenitude"
11hh-11h30 Coffee Break
11:30-12:00 Jean-Yves Beziau, University of Brazil, Rio de Janeiro, "What is an axiom?"
12:00-12:30 Andrei Rodin, Computer-Assisted Proofs, Univalent Foundations, and Axiomatic method
12h30-13h00 Tomasz Jarmużek and Mateusz Klonowski, University of Torun, Poland, "Axiomatizing some family of Boolean logics with relating implication"

Organizer

Andrei Rodin

University of St Petersburg (St Petersburg) and Russian Academy of Sciences (Moscow)

Member of the the Board of of Logica Universalis Association


TOPIC

The notion of axiom was pivotal for the development of mathematics, and the axiomatic method has been extended to many sciences including logic itself.

The objective of this workshop is to study the notion of axiom and the axiomatic method in all their aspects.


J. Dieudonné, "Les méthodes axiomatiques modernes et les fondements des mathématiques". Revue scientifique (Paris), vol. 77 (1939), pp. 224–232.

J.Hintikka, "What is the axiomatic method?“, Synthese 183 (2011), pp. 69–85

CALL FOR PAPERS

Those interested in the notion of axiom and the axiomatic methods are invited to submit their proposals on any aspect related to this subject. Topics may include, but are not restricted to:

  • The notion of axiom and related notions: postulate, principle, hyypothesis

  • Axiom and Axiomatization in Ancient Greece

  • Axiom in Proof Theory

  • Axiom in Model Theory

  • Axiomatization of Arithemic

  • Bourbaki and the axiomatic method

  • Hilbert and axiomatic thinking

  • Axiomatization and the Axiomatic Method in Physics, Biology, Economics, Philosophy , Theology, ...

  • Axiomatization and Category Theory

  • Axiomatization and Universal Algebra

  • Axiom of Choice

  • Axiom of Parralel

  • Axiom and Intuition

  • History of Axiomatid Method

  • Axiom and Logical Rules

To submit a contribution, please send a one-page abstract to: andrei@philomatica.org

Accepted submissions will be invited to submit a paper to a book or a special issue that will be edited by the organizer after the workshop.

For any query, please contact the organizer of the workshop.

IMPORTANT DATES

Submission: December 15, 2021

Notification: December 20, 2021

Workshop: 6-11 April , 2022 (the workshop will take place at some point during the UNILOG congress).