Metalogic
Study of the properties of logical systems
Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems.
Nº Q1366730 ★★
Uncommon · Knowledge
Metalogic
Study of the properties of logical systems
Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems.
From Wikipedia
Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths. The basic objects of metalogical study are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
Mathematical logic
Subfield of mathematics
Nº Q1166618 ★★★★
Not listed
-
Logic
Study of correct reasoning
Nº Q8078 ★★★★
Not listed
-
Metalanguage
Linguistics term; language or symbols used when language itself is being discussed or examined.
Nº Q193983 ★★
Not listed
-
S
Semantics (logic)
Study of the semantics, or interpretations, of formal and natural languages
Nº Q963731 ★★
Not listed
-
P
Philosophical logic
Application of logical methods to philosophical problems
Nº Q491412 ★★
Not listed
-
C
Completeness (logic)
Fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic
Nº Q15846555 ★
Not listed