• 一个没有连词和分类器的一阶逻辑系统_一阶逻辑论文

    一个没有连词和分类器的一阶逻辑系统_一阶逻辑论文

    不用联结词和量词的一阶逻辑系统,本文主要内容关键词为:量词论文,逻辑论文,系统论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。在文〔2〕中,我们建立了不用联结...
  • 词法项扩展性的一阶语言定义_一阶逻辑论文

    词法项扩展性的一阶语言定义_一阶逻辑论文

    词项周延性的一阶语言定义,本文主要内容关键词为:定义论文,语言论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。本文尝试在一阶逻辑中给出词项(一元谓词)周延性的...
  • 如何理解“存在”?_一阶逻辑论文

    如何理解“存在”?_一阶逻辑论文

    如何理解“存在”?,本文主要内容关键词为:,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。“存在”问题在哲学中始终是十分基本和特别重要的,甚至称得上是永恒的问题,...
  • 逻辑革命?_一阶逻辑论文

    逻辑革命?_一阶逻辑论文

    逻辑学中的一场革命?,本文主要内容关键词为:逻辑论文,学中论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。初看起来,逻辑学似乎不可能成为一个发生革命的领域,即...
  • 论“必然结论”_一阶逻辑论文

    论“必然结论”_一阶逻辑论文

    论“必然地得出”,本文主要内容关键词为:,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。联合国教科文组织明确规定逻辑是与数学、物理、化学、天文、地理、生命科学等学...
  • 关于逻辑哲学的几点思考_哲学论文

    关于逻辑哲学的几点思考_哲学论文

    关于逻辑哲学的几点思考,本文主要内容关键词为:逻辑论文,几点思考论文,哲学论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。逻辑哲学,不仅与逻辑有关而且与哲学有...
  • 模态逻辑的哲学命运_一阶逻辑论文

    模态逻辑的哲学命运_一阶逻辑论文

    模态逻辑的哲学归宿,本文主要内容关键词为:归宿论文,逻辑论文,哲学论文,模态论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[中图分类号]B81-05[文献标...
  • 具有经典一阶逻辑的Hilbert型系统_一阶逻辑论文

    具有经典一阶逻辑的Hilbert型系统_一阶逻辑论文

    经典一阶逻辑的希尔伯特型系统,本文主要内容关键词为:希尔伯特论文,逻辑论文,经典论文,系统论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:O141...
  • 本体和本体语言及其在信息检索领域的应用_rdf论文

    本体和本体语言及其在信息检索领域的应用_rdf论文

    论本体与本体语言及其在信息检索领域的应用,本文主要内容关键词为:本体论文,信息检索论文,领域论文,语言论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。本体(O...
  • 关于现代逻辑学教学中若干问题的思考_逻辑学论文

    关于现代逻辑学教学中若干问题的思考_逻辑学论文

    关于现代逻辑教学中若干问题的思考,本文主要内容关键词为:若干问题论文,逻辑论文,教学中论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。自1978年全国第一次逻...
  • 一阶逻辑的内涵语义_一阶逻辑论文

    一阶逻辑的内涵语义_一阶逻辑论文

    一阶逻辑的内涵语义,本文主要内容关键词为:语义论文,内涵论文,逻辑论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81;O141文献标识码:A文...
  • 问题的逻辑语言维度_一阶逻辑论文

    问题的逻辑语言维度_一阶逻辑论文

    存在问题的逻辑语言维度,本文主要内容关键词为:维度论文,存在问题论文,逻辑论文,语言论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B812.4文...
  • 自然语言与逻辑语言:现代逻辑的延伸_自然语言处理论文

    自然语言与逻辑语言:现代逻辑的延伸_自然语言处理论文

    自然语言和逻辑语言:现代逻辑的延伸,本文主要内容关键词为:逻辑论文,自然语言论文,语言论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81-05...
  • 不完全性和形式语言_一阶逻辑论文

    不完全性和形式语言_一阶逻辑论文

    不完全性与形式语言,本文主要内容关键词为:完全性论文,形式论文,语言论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。一、引言谈到哥德尔不完全性定理,有人说它动...
  • 罢工模型理论的模态逻辑_一阶逻辑论文

    罢工模型理论的模态逻辑_一阶逻辑论文

    走向模型论的模态逻辑,本文主要内容关键词为:逻辑论文,模型论文,走向论文,模态论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。修订日期:2008-11-14中...
  • 不变的一阶片段:凹槽逻辑_自然语言论文

    不变的一阶片段:凹槽逻辑_自然语言论文

    无变元的一阶片段:Fluted逻辑,本文主要内容关键词为:片段论文,逻辑论文,无变元论文,Fluted论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[中图分...
  • 逻辑基本定律的公式表示_同一律论文

    逻辑基本定律的公式表示_同一律论文

    逻辑基本规律的公式表示,本文主要内容关键词为:公式论文,逻辑论文,规律论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81文献标识码:A文章编号...
  • 论逻辑学与通识教育--与王璐教授商榷_通识教育论文

    论逻辑学与通识教育--与王璐教授商榷_通识教育论文

    再论逻辑学与通识教育——与王路教授商榷,本文主要内容关键词为:逻辑学论文,教授论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。中图分类号:B81文献标识码:A...
  • 古典数学的逻辑基础_数学论文

    古典数学的逻辑基础_数学论文

    经典数学的逻辑基础,本文主要内容关键词为:逻辑论文,数学论文,基础论文,经典论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。经典数学理论的逻辑完全是一阶逻辑还...
  • 狭义相对论的一阶公理_狭义相对论论文

    狭义相对论的一阶公理_狭义相对论论文

    狭义相对论的一阶公理化,本文主要内容关键词为:公理化论文,狭义相对论论文,此文献不代表本站观点,内容供学术参考,文章仅供参考阅读下载。[中图分类号]B813[文献标识码]A[文...