The history of logic deals with the study of the development of the science of valid inference. Formal logics developed in ancient times in India, China, and Greece. Wikipedia