Metalogic
Metalogic is the study of 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.
main interest
notableIdea
Absorption (logic)Andrzej_GrzegorczykAnton GüntherAssociative propertyAutomated reasoningBiconditional eliminationBiconditional introductionCategorical logicCommutative propertyCommutativity of conjunctionCompleteness (logic)Conceptual systemConjunction eliminationConjunction introductionConstructive dilemmaDe Bruijn indexDe Morgan's lawsDeductive scienceDestructive dilemmaDisjunction eliminationDisjunction introductionDisjunctive syllogismDistributive propertyDouble negationDoxastic logicEdmund_HusserlEffective methodExistential graphExperimental mathematicsExportation (logic)First-order logicFrege's theoremFunctional predicateGeoffrey Hunter (logician)Gödel (programming language)History of logicHistory of metalogicHypothetical syllogismIf and only ifIndex of logic articles
Link from a Wikipage to another Wikipage
main interests
notable ideas
primaryTopic
Metalogic
Metalogic is the study of 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.
has abstract
La metalógica es la rama de la ...... ra propiedad es la compacidad.
@es
La métalogique est l'étude de ...... a théorie de la démonstration.
@fr
Metalogic is the study of the ...... that is known as proof theory.
@en
Metalogica is de studie van de ...... metawiskundig van aard waren.
@nl
Metalogik är studiet av logike ...... tik, datalogi eller matematik.
@sv
Metalogika adalah bidang studi ...... ng dikenal sebagai teori bukti
@in
Metalogika – formalna teoria . ...... . niesprzeczność danej logiki.
@pl
Metalógica é o estudo da metat ...... nhecimento da Teoria da Prova.
@pt
Метало́гика — изучение метатео ...... рамках математической логики.
@ru
Металогіка — вивчення метатеор ...... я в рамах математичної логіки.
@uk
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,011,780,410
Link from a Wikipage to another Wikipage
author-first
A.G.
@en
author-last
Dragalin
@en
id
Meta-logic&oldid=14952
@en
title
Meta-logic
@en
wikiPageUsesTemplate
hypernym
type
comment
La metalógica es la rama de la ...... ra propiedad es la compacidad.
@es
La métalogique est l'étude de ...... sés pour exprimer des vérités.
@fr
Metalogic is the study of the ...... at are used to express truths.
@en
Metalogica is de studie van de ...... happen van deze systemen zelf.
@nl
Metalogik är studiet av logike ...... tik, datalogi eller matematik.
@sv
Metalogika adalah bidang studi ...... apkan adanya kebenaran logika.
@in
Metalogika – formalna teoria . ...... . niesprzeczność danej logiki.
@pl
Metalógica é o estudo da metat ...... para expressar tais afirmações
@pt
Метало́гика — изучение метатео ...... разделом теории доказательств.
@ru
Металогіка — вивчення метатеор ...... я в рамах математичної логіки.
@uk
label
Metalogic
@en
Metalogica
@nl
Metalogik
@de
Metalogik
@sv
Metalogika
@in
Metalogika
@pl
Metalógica
@es
Metalógica
@pt
Métalogique
@fr
Металогика
@ru