Category:Metalogic

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
English: Metalogic is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves. According to Geoffrey Hunter, while logic concerns itself with the "truths of logic," metalogic concerns itself with the theory of "sentences used to express truths of logic."
metalogic 
study of the properties of logical systems
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Authority control
Edit infobox data on Wikidata
metalógica (es); Металогика (ky); Metalogika (sk); металогика (mk); Металогика (ru); Մետատրամաբանություն (hy); Metalogik (de); metalógica (pt); metalogic (en); فرامنطق (fa); 元逻辑 (zh); Metalogika (id); Metalogică (ro); メタ論理 (ja); Metalògica (ca); Metalogica (nl); Metalogik (sv); Metalogika (pl); Metalogikk (nb); Metaməntiq (az); 元邏輯 (zh-hant); 元逻辑 (zh-cn); Металогіка (uk); Métalogique (fr); Металогика (kk); metalogiko (eo); 元逻辑 (zh-hans); Металогика (bg) study of the properties of logical systems (en) Objektlogik (sv); 元逻辑学 (zh); Metateorema, Metalogica (es)

Subcategories

This category has the following 7 subcategories, out of 7 total.

C

F

M

P

S

Media in category "Metalogic"

The following 4 files are in this category, out of 4 total.