text: The syllogistic logic developed by Aristotle predominated in the West until the mid-19th century, when 
  interest in the foundations of mathematics stimulated the development of modern symbolic logic.[202] 
  Many see Gottlob Frege's*Begriffsschrift*as the birthplace of modern logic. Gottfried Wilhelm Leibniz's 
  idea of a universal formal language is often considered a forerunner. Other pioneers were George Boole, 
  who invented Boolean algebra as a mathematical system of logic, and Charles Peirce, who developed the 
  logic of relatives. Alfred North Whitehead and Bertrand Russell, in turn, condensed many of these 
  insights in their work*Principia Mathematica*. Modern logic introduced novel concepts, such as functions, 
  quantifiers, and relational predicates. A hallmark of modern symbolic logic is its use of formal language 
  to precisely codify its insights. In this regard, it departs from earlier logicians, who relied mainly on 
  natural language.[203] Of particular influence was the development of first-order logic, which is usually 
  treated as the standard system of modern logic.[204] Its analytical generality allowed the formalization of 
  mathematics and drove the investigation of set theory. It also made Alfred Tarski's approach to model 
  theory possible and provided the foundation of modern mathematical logic.[205] 