Modern logic began with the publication in 1879 of the Begriffsschrift of Gottlob Frege (1848–1925). In the Begriffsschrift we find for the first time a comprehensive treatment of the ideas of generality and existence, because sentence forms which were hitherto accommodated only by complicated ad hoc theories are here provided with an adequate symbolization by the device of quantification, rules for which are adjoined to the first complete formalization of the classical propositional calculus. The result closely approximates a modern formal axiomatic theory. It meets Frege's aim of a codification of the logical principles used in mathematical reasoning, although the.....
Order our Gottlob Frege Article
