Joachim Georg Darjes

Joachim Georg Darjes (1714–1791) was an 18th-century German logician who contributed to the development of formal logic. He is noted for creating a minor symbolic formulation of logic in 1747, building upon the ideas of Gottfried Wilhelm Leibniz and Christian Wolff. Darjes's work, along with that of J.A. Segner, represented early attempts at symbolic representation in logic during a period of diverse and sometimes chaotic development in the field. His contributions, while considered minor in the grand scheme of modern logic, were part of the broader intellectual landscape that eventually led to more sophisticated symbolic systems.123