1

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.

  • 4
    "Every body of knowledge has to have a teleology for which it's designed. " WHY ? – Mauro ALLEGRANZA Nov 24 '19 at 14:42
  • 1
    No teleology at all. It is the study of deductive reasoning, today mainly applied to mathematical reasoning through the modern form of formal logic: mathematical logic. – Mauro ALLEGRANZA Nov 24 '19 at 14:43
  • What does an answer to this question look like to you? (For instance, would the idea be relevant that one goal of logic is clearer, more consistent and more coherent thinking and speaking?) —It might also help to share what you might have been reading or studying that sparked this question, or made it interesting/important from a philosophical perspective to you – Joseph Weissman Nov 24 '19 at 14:44
  • 1
    You are in the right track imo. Your intuition is good. The fact-value dichotomy came out of logical positivism. You may want to read Hilary Putnam’s book on the subject. Here is a video with Putnam discussing the problem. I apologize to other members that I keep posting this video. If this video means nothing to you now, it think it will one day as you continue to pursue your thoughts. m.youtube.com/watch?v=oLJfEVu3kbY – Gordon Nov 24 '19 at 16:49
  • 1
    "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 talks of axioms and Logic systems?" Exactly; see e.g. this post. See also Dynamic logic : "an extension of modal logic originally intended for reasoning about computer programs". – Mauro ALLEGRANZA Nov 25 '19 at 12:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.