The Full Wiki

Metalogic: Trending topics

  
  

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.


Encyclopedia

From Wikipedia, the free encyclopedia

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.

The main article for this category is Metalogic.

References

  1. ^ Harry J. Gensler, Introduction to Logic, Routledge, 2001, p. 253.
  2. ^ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Pres, 1971, p. 3.

Subcategories

This category has the following 5 subcategories, out of 5 total.

F

M

P

Pages in category "Metalogic"

The following 18 pages are in this category, out of 18 total. This list may not reflect recent changes (learn more).

C

D

E

F

L

M

O

P

S

T

U

W








Got something to say? Make a comment.
Your name
Your email address
Message