LOGIC – History

What is logic?

Logic is basically the study of truth and how we can obtain universal truths through mathematical deduction.

History of Logic:

Mathematical logic was born in the mid 19th century. It reflected two traditions which were philosophical logic and mathematics. Mathematical logic was also called “logistic”,”symbolic logic” and the “algebra of logic” and now we smply call it “formal logic”

Early History:

Theories of logic was divided into many countries highlighting Chine, India, Greece and the world of Islam in general. For thousands on years Greek techniques (especially Aristotelian logic) were greatly accepted and used in western science and mathematics as it appears in Oreganon.

During the last three decades of the nineteenth century, Cantor, Frege, and other mathematicians worked to establish a solid foundation for the advancement of mathematical analysis. This work laid the groundwork for modern mathematical logic. Mathematicians and philosophers like Hilbert and Russell vigorously investigated the logical foundations of mathematics following “the crisis in the foundations of mathematics” that was sparked by the discovery of multiple logical paradoxes at the turn of the twentieth century. The groundbreaking findings of Gödel in 1930 and 1931, which revealed the extent and boundaries of the mechanization of mathematical reasoning, continued to serve as a major source of inspiration for advances in logic science. Links between logic and the foundations of mathematics were also maintained.Turing’s mathematical description of mechanical computation in terms of basic devices—now known as Turing machines—was a direct result of the major scientific upsurge in response to Gödel’s findings. The scientific underpinnings for the computer and information technology revolution that started in the latter half of the 20th century and is still going strong today were established by the work of Gödel, Turing, and other logicians in the 1930s.