This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.
Logicians should reclaim the word deep. “Deep” in the sense of allowing arbitrarily many steps in proofs systems until failure or success, as in classical logic for example. So that’s deep reasoning.
Shallow reasoning is when the system only permits a few steps of proofs, as seen in bounded proof systems in some neural theorem provers.