Category talk:Metalogic

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
WikiProject Philosophy (Rated Category-class)
WikiProject iconThis category is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.
Category page Category  This category does not require a rating on the project's quality scale.

Metalogic vs Mathematical Logic[edit]

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)