The System der Logik (1828) of Bachmann (a Kantian logician of distinction) contains a historical survey (pp. 569-644), as does the Denklehre (1822) of van Calker (allied in thought to Fries), pp. 12 sqq.; Eberstein's Geschichte der Logik and Metaphysik bei den Deutschen von Leibniz bis auf gegenwartige Zeit (latest edition, 1 799) is still of importance in regard to logicians of the school of Wolff and the origines of Kant's logical thought.
His philosophical treatises abound with incoherent formulae to which, according to their inventor, every demonstration in every science may be reduced, and posterity has ratified Bacon's disdainful verdict on Lull's pretensions as a thinker; still the fact that he broke away from the scholastic system has recommended him to the historians of philosophy, and the subtle ingenuity of his dialectic has compelled the admiration of men so far apart in opinion as Giordano Bruno and Leibniz.