De Arte Combinatoria

work by Leibniz

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

June 25, 2026

Quick Summary

Gottfried Wilhelm Leibniz's De Arte Combinatoria (1666) was a foundational work in the field of combinatorics. This treatise explored the idea of discovering truths by systematically combining concepts into judgments. Leibniz envisioned a "calculus of reason" where symbols would be manipulated according to rules, allowing for mechanical and algorithmic reasoning. He also aimed to create a "universally characteristic language" to represent concepts and their relationships. While Leibniz developed a sophisticated symbolic logic, much of his work remained unpublished for a long time, limiting its immediate influence on the development of logic. However, his ideas laid groundwork for future advancements in symbolic logic and the concept of automated reasoning.123

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

3 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

Gottfried Wilhelm Leibniz
Early life and education
” In 1666 he wrote De Arte Combinatoria (“On the Art of Combination”), in which he formulated a model that is the theoretical ancestor of some modern computers: all reasoning, all discovery, verbal or not, is reducible to an ordered combination of elements, such as numbers, words, sounds, or colours.
Read More
” In 1666 he wrote De Arte Combinatoria (“On the Art of Combination”), in which he formulated a model that is the theoretical ancestor of some modern computers: all reasoning, all discovery, verbal or not, is reducible to an ordered combination of elements, such as numbers, words, sounds, or colours.
Read More

history of logic
Leibniz
…Lull, and he wrote the De arte combinatoria (1666); this work followed the general Lullian goal of discovering truths by combining concepts into judgments in exhaustive ways and then methodically assessing their truth. Leibniz later developed a goal of devising what he called a “universally characteristic language” (lingua characteristica universalis)…
Read More
…Lull, and he wrote the De arte combinatoria (1666); this work followed the general Lullian goal of discovering truths by combining concepts into judgments in exhaustive ways and then methodically assessing their truth. Leibniz later developed a goal of devising what he called a “universally characteristic language” (lingua characteristica universalis)…
Read More