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