首页|国学书库|影印古籍|诗词宝典|二十四史|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|图书集成|印谱|丛书|中医中药|软件下载
译文|四库全书|全文检索|古籍书目|国学精选|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|石刻墓志|家谱|对联|历史地图|会员中心
以形式化的逻辑系统为研究对象的理论。采取公理化的方法，研究形式语言、形式系统和逻辑演算的语法和语义。*塔尔斯基认为“元逻辑”大致即“关于逻辑的科学”或即“演绎科学的逻辑语法与语义学”。西方逻辑学著作中以“元”(meta-)为前缀词头的术语颇多，如“元定理”、“元语言”、“元演算”等。
