Open Logic Project
I would be very interested to understand how people use logic theories in day to day life or work?Is this something which one can learn and use in other walks of life, for example programming or ML?Edit:What I often find is that reading this type of material seems very mentally stimulating, but these texts do not seem to offer any introduction or intuition as to why someone should learn this material or how to use it outside of the logic domain.