History of logic

The history of logic is the study of the development of the science of valid inference (logic). Formal
logics were developed in ancient times in China, India, and Greece. Greek methods,
particularly Aristotelian logic (or term logic) as found in the Organon, found wide application and
acceptance in science and mathematics for millennia.[1] The Stoics, especially Chrysippus, were the
first to develop predicate logic.
Aristotle's logic was further developed by Christian and Islamic philosophers in the Middle Ages,
such as Boethius or William of Ockham, reaching a high point in the mid-fourteenth century. The
period between the fourteenth century and the beginning of the nineteenth century was largely one
of decline and neglect, and is regarded as barren by at least one historian of logic. [2] Empirical
methods seemed to rule the day, as evidenced by Bacon's Novum Organon.
Logic was revived in the mid-nineteenth century, at the beginning of a revolutionary period when the
subject developed into a rigorous and formal discipline whose exemplar was the exact method of
proof used in mathematics, a hearkening back to the Greek tradition.[3] The development of the
modern "symbolic" or "mathematical" logic during this period by the likes of Boole,Frege, Russell,
and Peano is the most significant in the two-thousand-year history of logic, and is arguably one of
the most important and remarkable events in human intellectual history.[4]
Progress in mathematical logic in the first few decades of the twentieth century, particularly arising
from the work of Gdel and Tarski, had a significant impact on analytic philosophy and philosophical
logic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic
logic, andrelevance logic.
refference:

The History of Logic from Aristotle to Gdel and Its Relationship with
Ontology with annotated bibliographies on the history of logic