翻訳と辞書 Words near each other ・ Metalobosia ducalis ・ Metalobosia elis ・ Metalobosia holophaea ・ Metalobosia invarda ・ Metalobosia postflavida ・ Metalobosia postrubida ・ Metalobosia similis ・ Metalobosia varda ・ Metalocalypse ・ Metalocalypse (season 1) ・ Metalocalypse (season 2) ・ Metalocalypse (season 3) ・ Metalocalypse (season 4) ・ Metalocutionary act ・ Metalogenia ・ Metalogic ・ Metalogix Software ・ Metalogy ・ Metalopex ・ Metalopha ・ Metalopha gloriosa ・ Metalopha liturata ・ Metalorganic vapour phase epitaxy ・ Metalorganics ・ Metaloricaria ・ Metaloricaria nijsseni ・ Metaloricaria paucidens ・ Metals (album) ・ Metals Disintegrating Company ・ Metals in medicine Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Metalogic ： ウィキペディア英語版 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.〔Harry Gensler, Introduction to Logic, Routledge, 2001, p. 253.〕 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.〔Hunter, Geoffrey, ''Metalogic: An Introduction to the Metatheory of Standard First-Order Logic'', University of California Press, 1971〕 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. == Overview == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Metalogic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.