History
Metalogical questions have been asked since the time of Aristotle. However, it was only with the rise of formal languages in the late 19th and early 20th century that investigations into the foundations of logic began to flourish. In 1904, David Hilbert observed that in investigating the foundations of mathematics that logical notions are presupposed, and therefore a simultaneous account of metalogical and metamathematical principles was required. Today, metalogic and metamathematics are largely synonymous with each other, and both have been substantially subsumed by mathematical logic in academia.
Read more about this topic: Metalogic
Famous quotes containing the word history:
“The history of medicine is the history of the unusual.”
—Robert M. Fresco, and Jack Arnold. Prof. Gerald Deemer (Leo G. Carroll)
“The history of modern art is also the history of the progressive loss of art’s audience. Art has increasingly become the concern of the artist and the bafflement of the public.”
—Henry Geldzahler (1935–1994)
“History ... is, indeed, little more than the register of the crimes, follies, and misfortunes of mankind.
But what experience and history teach is this—that peoples and governments have never learned anything from history, or acted on principles deduced from it.”
—Georg Wilhelm Friedrich Hegel (1770–1831)