Page "History of logic" Paragraph 32

The difficulties involved in this enterprise, in part, stimulated the neo-scholastic school of Navya-Nyāya, which developed a formal analysis of inference in the sixteenth century.

This later school began around eastern India and Bengal, and developed theories resembling modern logic, such as Gottlob Frege's " distinction between sense and reference of proper names " and his " definition of number ," as well as the Navya-Nyaya theory of " restrictive conditions for universals " anticipating some of the developments in modern set theory.

Since 1824, Indian logic attracted the attention of many Western scholars, and has had an influence on important 19th-century logicians such as Charles Babbage, Augustus De Morgan, and particularly George Boole, as confirmed by his wife Mary Everest Boole who wrote in an " open letter to Dr Bose " titled " Indian Thought and Western Science in the Nineteenth Century " written in 1901 < ref >