I like it when logic (broadly construed) is an emergent property of something more basic. Our ability to think logically may indeed be an accident. Examples of

I like it when logic (broadly construed) is an emergent property of something more basic. Our ability to think logically may indeed be an accident. Examples of this within mathematical logic: In Intuitionistic Type Theory, logic emerges out of computing considerations: Lambda calculus. In Homotopy Type Theory, it emerges out of a subfield of topology called homotopy theory. In topos theory, it emerges out of the geometric concept of a sheaf. All of the above is a special case of Categorical Logic, where categories admit "internal logics". Can a connection be made to neural networks and Stochastic Gradient Descent?