4th WORLD CONGRESS ON LOGIC AND RELIGION

WORKSHOP

Religious Symbolism and Symbolic Logic

Organizers:  Jean-Yves Beziau and  Caroline Pires Ting,   Federal University of Rio de Janeiro, Brazil 

Keynote Speaker:  Franziska Kohlt, University of Leeds, UK and University of Southern California, USA,  "Lewis Carroll's Logic and Religion" 

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 the 4th World Congress on Logic and Religion, explores the relation bewteen 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 to understanding of 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 May 31st to:  jyb.logos@gmail.com

After the event full papers will be published in a special issue of the journal Logica Universalis  or  in a book of the series Studies in Universal Logic