History of logic - Wikipedia
https://en.wikipedia.org/wiki/History_of_logicThe history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic (or term logic) as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.
Analytic philosophy - Wikipedia
en.wikipedia.org › wiki › Analytic_philosophyLater, his book written with Whitehead, Principia Mathematica (1910–1913), encouraged many philosophers to renew their interest in the development of symbolic logic. Additionally, Russell adopted Frege's predicate logic as his primary philosophical method, a method Russell thought could expose the underlying structure of philosophical problems.
Inquiry - Wikipedia
en.wikipedia.org › wiki › InquiryIn its inception, the pragmatic model or theory of inquiry was extracted by Peirce from its raw materials in classical logic, with a little bit of help from Kant, and refined in parallel with the early development of symbolic logic by Boole, De Morgan, and Peirce himself to address problems about the nature and conduct of scientific reasoning.