Category talk:Metalogic

From Wikipedia, the free encyclopedia

	Philosophy Portal This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
Category	This article has been rated as Cat-Class on the quality scale.
Mid	This article has been rated as mid-importance on the importance scale.
Additional information: Related task forces (core areas): Logic

This category was nominated for deletion, renaming, or merging with another category on 2008 January 15. The result of the discussion was keep.

[edit] Metalogic vs Mathematical Logic

The way the definition of this category is worded: 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 does indeed make the category subsumable by Mathematical Logic; that is, its topics and subcategories are defined precisely as the topics and subcategories of mathematical logic. The destinction may be mostly pedagogical, but the assumptions of logic, axioms and rules of inference, are justified not by logic but by metalogic, with appeals to epistemology, theory of knowledge, theory of mind, and theory of language. So I think some reference to those subjects in the discription of this category might help at least in justifying it; metametalogic :-) Pete St.John (talk) 18:40, 22 January 2008 (UTC)