http://aspaqlaria.aishdas.org/2011/02/22/halakhah-and-phenomenology-symbolic-logic/
Halakhah and Phenomenology - Symbolic Logic