Workshop at the 4th World Congress on Logic and Religion organized by