Task: Text Categorization
Input (English): This thinker called everything that is true of an individual substance at a particular time its "complete concept." Ramon Llull's Ars Magna inspired this man's plans for an "alphabet of human thought." This deviser of the predicate-in-notion principle has a namesake "law" concerning the identity of indiscernibles. This thinker replaced causation with his idea of "pre-established harmony." This author of a refutation of Locke's Essay Concerning Human Understanding and a Discourse on Metaphysics used the principle of sufficient reason to address the problem of evil in his Theodicy. For 10 points, name this German polymath who believed in immaterial windowless unities called monads, and wrote that God must have created the best possible world before co-discovering calculus.
Output (English): Social Science