Category:Metalogic

出典:ウィキメディア・コモンズ (Wikimedia Commons)
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
典拠管理
ウィキデータ
Blue pencil.svg

下位カテゴリ

このカテゴリに属する 6 個のサブカテゴリのうち、 6 個を表示しています。

C

F

M

S

カテゴリ「Metalogic」にあるメディア

このカテゴリに属する 4 個のファイルのうち、 4 個を表示しています。