Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
metalogic
Discover
Coriander leaves, fresh green cilantro on wooden background, herbs
Why Does Cilantro Taste Like Soap to Some People?
Saint Lucia Day. Young girl wears Lucia crown (tinsel halo) with candles. Holds Saint Lucia Day currant laced saffron buns (lussekatter or Lucia's cats). Observed December 13 honor virgin martyr Santa Lucia (St. Lucy). Luciadagen, Christmas, Sweden
7 Winter Solstice Celebrations From Around the World
Orange basketball on black background and with low key lighting. Homepage 2010, arts and entertainment, history and society
The 10 Greatest Basketball Players of All Time
King Cobra snake in Malaysia. (reptile)
9 of the World’s Deadliest Snakes
Watergate scandal. Richard M. Nixon. President Nixon gives a press conference and talks to the press, March 12, 1971.
9 American Political Scandals
Close-up of ostriches (Struthio camelus) necks and heads; location unknown.
6 of the World's Most Dangerous Birds
Nativity Scene, Adoration of the Magi, Church of the Birth of the Virgin Mary, Montenegro
Why Is Christmas in December?
metalogic Article

metalogic summary

verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://mainten.top/summary/metalogic
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Written and fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Below is the article summary. For the full article, see metalogic.

metalogic , Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal treatment of natural languages (e.g., English, Russian, etc.). Metalogic has led to a great deal of work of a mathematical nature in axiomatic set theory, model theory, and recursion theory (in which functions that are computable in a finite number of steps are studied).