Editing Metalogic (section)

== History ==
Metalogical questions have been asked since the time of [[Aristotle]].<ref>{{Citation |last=Smith |first=Robin |title=Aristotle's Logic |date=2022 |url=https://plato.stanford.edu/archives/win2022/entries/aristotle-logic/ |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |access-date=2023-08-28 |edition=Winter 2022 |publisher=Metaphysics Research Lab, Stanford University |editor2-last=Nodelman |editor2-first=Uri}}</ref> 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 [[metamathematics|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. A possible alternate, less mathematical model may be found in the writings of [[Charles Sanders Peirce]] and other [[semiotics|semioticians]].