Workshop organized by Jean-Yves Beziau and Caroline Pires Ting Federal University of Rio de Janeiro (Brazil) and Logica Universalis Association (Geneva, Switzerland) Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023

CALL FOR PAPERS On the one hand symbolism is important in most religions, on the other hand modern logic is often characterized as symbolic. This workshop, part of WoCoLoR4, explores the relation between these two symbolic approaches. Suggested topics include - but are not limited to - the following:

Boole's symbolic mathematical notation in logic and abstract religious

notions

Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity

Christian triangle, Islamic geometrical objects and the theory of oppositions

Yin/Yang and the notion of complementary contradiction the symbolism of the cross, crucifixion, negation and abnegation Venn symbolic logic, Venn diagrams and their application for

understanding religious phenomena

the universal quantifier and catholicism as a religion for all is the existential quantifier really symbolizing existence? Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles

Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic logician

logical "interpretation" of Gödel's proof of the existence of God in

symbolic logic

Submit a one page abstract by June 15 Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 https://sites.google.com/view/symbol-relog