A crucial question for the foundations of mathematics and logic generally is:
Is logic prescriptive or descriptive?
I have a written a short analysis of that which I would be glad to make available in order to get
comments.
Richard L. Epstein