What is the teleology of logic? Every body of knowledge has to have a teleology for which it's designed. The body of knowledge in logic doesn't clearly have any teleology or any purpose to which it has been designed. Whether it is mechanization of language calculations or just formalizing language, what use is symbolic logic meant to have eventually?
I was reading Modal Logic and all the axioms with the manipulation of symbols made me think, what does all this really amount to? Will there be another Charles Babbage who would make use of all these axioms and logic systems? Why build logic systems by adding more and more axioms? Why can't there be a single Logic system rather than this progressive increase in systems by adding axioms to previous systems? Why are deontic logic systems constructed? What benefit will philosophers or scientists accrue from them? There are many such questions that occupy my mind.