The syllogism was replaced by first-order logic after the work of Gottlob Frege, published in 1879. This logic is suitable for mathematics, computers, linguistics and other subjects, because it uses numbers (quantified variables) instead of sentences.