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