[Event at CIG] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Extended Deadline June 15

[jean-yves beziau]

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