The following are the current most viewed articles on Wikipedia within Wikipedia's Metalogic category. Think of it as a What's Hot list for Metalogic. More info »
This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.
Rank  Topic  Wikipedia views  

1  Consistency  1,016  
2  Effective method  583  
3  Formal system  530  
4  Logical consequence  529  
5  Model theory  483  
6  Proof theory  459  
7  Completeness  423  
8  Metalanguage  362  
9  Use–mention distinction  328  
10  Wellformed formula  328  
11  Metalogic  265  
12  Decidability (logic)  256  
13  Metasyntactic variable  238  
14  Type–token distinction  182  
15  Syntax (logic)  122  
16  Metacommunication  103  
17  Symbol (formal)  90  
18  Object language  76  
19  Metatheorem  52  
20  Object theory  21  
21  Łoś–Tarski preservation theorem  less than 5 views 
Metalogic is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves.^{[1]} According to Geoffrey Hunter, while logic concerns itself with the "truths of logic," metalogic concerns itself with the theory of "sentences used to express truths of logic"'^{[2]}
The basic objects of study in metalogic are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic known as model theory, while the study of deductive apparatus is the branch known as proof theory.
This category has the following 5 subcategories, out of 5 total.
The following 18 pages are in this category, out of 18 total. This list may not reflect recent changes (learn more).
CDEF 
LMO 
PSTUW 
