Sechs Versuche einer Zeichenkunst in der Vernunftlehre
Quick Summary
Sechs Versuche einer Zeichenkunst in der Vernunftlehre (1777), or "Six Attempts at a Symbolic Method in the Theory of Reason," is a significant work by Johann Heinrich Lambert, a prominent 18th-century logician and mathematician. Lambert's work presented an elegant and efficient symbolic calculus for logic, which largely duplicated earlier ideas by Leibniz.12
Key features of Lambert's logic include:
* Separating concepts into genus and differentia.12
* Differentiating between known, undetermined, and unknown concepts.12
* Using an exclusive sense for the disjunction or union operation (+).12
* Developing a method for expressing quantification, such as "Every A is B," using notation similar to Boole's later work.12
* Considering symbolic theorems for relations and introducing notation for relational notions using single-placed functions.12
Lambert's contributions were notable for their time, though they did not significantly influence later developments as much as those of Boole and Frege.12
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.
