Logic is “the science whose laws are the object of correct thought”. (Cassou-Nogues 2009, 77) Sophisticated studies of logic arose in ancient China, India, and Greece. In India, within the Rigveda there is a hymn that contemplates the origins of the universe using language that reflects the four circles of the Buddhist catuskoti: "A", "not A", "A and not A", and "not A and not not A". (Kak 2004, 15) Gongsun Long, a Chinese philosopher, stated the paradox “One and one cannot become two, since neither becomes two.”, and together with other members of the School of Names examined puzzles such as “A white horse it's not a horse" starting from the 5th century BC (Fraser 2009) From the Greek school of thought came Aristotle whose "main achievement... was the foundation of the science of logic". (Kline 1972, 53) His ideas about mathematical nature and relationships to the physical world were long-lasting. (Kline 1972, 51) Aristotelian logic was to become widely accepted in mathematical and scientific thought, remaining "unchallenged until the nineteenth century." (Kline 1972, 53) Islamic scholars who “expanded the scope and power of Aristotelian logic and assimilated the methods of Greek logic to the language and uses of Arabic learning” made further developments (Goodman 184, 1992). logical approaches, such as the theory of supposition, were developed.” The argument occurred in the mid-nineteenth century, the beginnings of logic as a formal discipline of study equivalent to rigorous proof in mathematics. In this period modern symbolic logic appeared and found application in the mat... half of paper. ....Cassou-Nogues, P. 2009. "Gödel's Introduction to Logic in 1939." History and philosophy of logic 30, n. 1:69-90. Fraser, Chris 2009. “School of Names,” The Stanford Encyclopedia of Philosophy (Winter 2009 edition), Edward N. Zalta (ed.), URL = .Goodman, Lenn Evan 1992. Avicenna. Routledge.Kak, Subhash. 2004. The Architecture of Knowledge: Quantum Mechanics, Neuroscience, Computers, and Consciousness. History of science, philosophy and Indian culture project. Katz, Victor J. 2009. A History of Mathematics. Addison-Wesley. Kline, Morris. 1972. Mathematical Thought from Antiquity to Modern Times. Oxford University Press. Peckhaus, Volker. 1999. "Nineteenth-Century Logic Between Philosophy and Mathematics." The Bulletin of Symbolic Logic, vol. 5, no. 4 (December 1999), pp. 433-450.