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
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 el estudio de las propiedades y los componentes de los sistemas lógicos.
@es
La métalogique est l'étude de ...... la 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 ist eine philosophis ...... hre und um eine Modelltheorie.
@de
Metalogika – formalna teoria s ...... . niesprzeczność danej logiki.
@pl
Metalógica é o estudo da metat ...... nhecimento da Teoria da Prova.
@pt
Метало́гика — изучение метатео ...... рамках математической логики.
@ru
Wikipage page ID
Wikipage revision ID
701,708,353
hypernym
type
comment
La metalógica es el estudio de las propiedades y los componentes de los sistemas lógicos.
@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 ist eine philosophis ...... hre und um eine Modelltheorie.
@de
Metalogika – formalna teoria s ...... . niesprzeczność danej logiki.
@pl
Metalógica é o estudo da metat ...... para expressar tais afirmações
@pt
Метало́гика — изучение метатео ...... разделом теории доказательств.
@ru
label
Metalogic
@en
Metalogica
@nl
Metalogik
@de
Metalogika
@pl
Metalógica
@es
Metalógica
@pt
Métalogique
@fr
Металогика
@ru