Leipzig
Ei ole varmaa tietoa, milloin Leipzig perustettiin, mutta varhaisin maininta siitä on eräässä asiakirjassa vuodelta 1015. Leipzigin saatua kaupunki- ja torikauppaoikeudet vuonna 1165 kaupungista kehittyi nopeasti kaupankäynnin keskus Saksan laajetessa itään päin. Väkiluku ylitti 100 000 rajan noin vuonna 1870, jolloin Leipzigista tuli suurkaupunki. Kaupunki on Leipzigin hallintopiirin keskus. Noin 573 000 asukkaan Leipzig on Saksin osavaltion ja samalla koko entisen Itä-Saksan alueen suurin kaupunki.
Gottfried Leibniz
Leibniz on merkittävin loogikko Aristoteleen ja vuoden 1847, jolloin Boole ja De Morgan julkaisivat nykyaikaisen logiikan alullepanneita teoksia, välisenä aikana. Leibniz määritteli keskeisiä ominaisuuksia, joita nykyään kutsutaan sellaisilla nimillä kuin konjunktio, disjunktio, negaatio, identiteetti, osajoukko ja tyhjä joukko. Leibnizin logiikka ja periaatteessa koko hänen filosofiansa voidaan palauttaa kahteen periaatteeseen:Mitä kohtaan (1) tulee, yksinkertaisten ajatusten joukko on paljon suurempi kuin mitä Leibniz ajatteli. Kohdan (2) suhteen Leibniz oli oikeassa siinä, että logiikan voidaan katsoa perustuvan symmetrisiin yhdisteisiin, mutta ne eivät vastaa sen enempää yhteen- kuin kertolaskuakaan. 1900-luvun alkupuolella muotoutunut formaali logiikka vaatii vähimmillään myös negaation sekä kvantifioitujen muuttujien käyttöä.