You're completely right. There is no theory behind program design and structure. We have no way of measuring why one paradigm is better than another paradigm. T

You're completely right. There is no theory behind program design and structure. We have no way of measuring why one paradigm is better than another paradigm. This is the first thing that needs to be solved before we can unequivocally prove that one paradigm is better than the other. The first question that needs to be answered is, what exactly is a well designed programming language? What exactly is a well structured program? Until you are able to answer the questions above axiomatically we are doomed to run in circles forever.