Logic is “the science whose laws are the objects of correct thought”. (Cassou-Nogues 2009, 77) Sophisticated studies of logic appeared in ancient China, India, and Greece. In India, the Rigveda 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, with other members of the School of Names, examined riddles such as "A white horse is not a horse" from the fifth century BCE. (Fraser 2009) From the Greek school of thought came Aristotle whose “major achievement… was the founding 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 came to be widely accepted in mathematical and scientific thought, remaining "uncontested until the 19th century." (Kline 1972: 53) Islamic scholars who "expanded the scope and power of Aristotelian logic and assimilated the methods of Greek logic into the language and usages of Arabic learning" made new developments (Goodman 184, 1992). In medieval Europe, “new developments were made. Logical approaches have developed, such as the theory of supposition” (Bos 2007, 363). It is then “between the 16th and 19th centuries… a non-creative period in logic” (Peckhaus 1999, 434). The subject arose in the mid-19th century, the beginnings of logic as a formal discipline of study equivalent to rigorous proof in mathematics. At this time, modern symbolic logic appeared and found application in the medium of paper. ....Cassou-Nogues, P. 2009. "Introduction to Gödel's logic in 1939." History and Philosophy of Logic 30, No. 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 Indian Science, Philosophy and Culture Project. Katz, Victor J. 2009. A History of Mathematics. Addison-Wesley. Kline, Morris. 1972. Mathematical Thought from Ancient to Modern Times. Oxford University Press. Peckhaus, Volker. 1999. “19th Century Logic Between Philosophy and Mathematics.” The Bulletin of Symbolic Logic, Vol. 5, no. 4 (December 1999), pp.. 433-450.