全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    本质主义与模态逻辑  CNKI文献

    谈论事物的方式决定了模态逻辑承诺了本质主义。回避本质妨碍了量化模态逻辑的发展。本文提出了必然的一种本质主义解释。这种解释为亚里士多德的混合模态三段论提供了一个漂亮的语义模型。

    余俊伟 《哲学动态》 2016年01期 期刊

    关键词: 模态 / 本质主义 / 模态三段论

    下载(290)| 被引(4)

    理解弗雷格的专名涵义  CNKI文献

    论文提出了理解弗雷格专名涵义的一种新的角度:路径观点。这一观点比较吻合弗雷格所坚持的涵义概念的若干特征,解决了弗雷格名称理论的许多极具争议的问题,如间接涵义、涵义的本体论,涵义是否有无限多层次。对照克里普...

    余俊伟 《逻辑学研究》 2014年04期 期刊

    关键词: 弗雷格 / 专名 / 涵义

    下载(244)| 被引(5)

    三种逻辑理论的哲学背景分析  CNKI文献

    三段论、一阶逻辑和现代模态逻辑的技术背后都有相应的哲学理论背景。前两种逻辑形态与各自的哲学是契合的,其哲学基础也是一脉相承的。虽然模态逻辑是一阶逻辑的扩张,前者的形式语义学是后者的膨胀,但是,克里普克的语...

    余俊伟 《哲学动态》 2018年09期 期刊

    关键词: 逻辑哲学 / 可能世界语义学 / 名称理论

    下载(220)| 被引(1)

    不同层次的逻辑多元论  CNKI文献

    Beall与Restall提出了基于后承关系考虑的逻辑多元论。后承关系的一般模式含有参数x-情形。对x做不同解释,就获得不同的后承关系,也即不同的逻辑。这种观点基于"真"概念。如果对"真"概念的理解有...

    余俊伟 《逻辑学研究》 2019年02期 期刊

    关键词: 逻辑多元论 / 逻辑一元论 / 经典逻辑 / 非经典逻辑

    下载(96)| 被引(0)

    关于模态形而上学的几点思考  CNKI文献

    模态逻辑的"原罪"除了奎因指出的混淆了使用与提及外,还包括误以为在命题层面可以揭示概念间的必然联系。必然涉及内涵特性,单纯地从外延角度、在命题层面考察必然,有无法克服的缺陷。克里普克通过语言分析...

    余俊伟 《逻辑学研究》 2017年03期 期刊

    关键词: 模态逻辑 / 先天偶然与后天必然 / 可能世界语义学

    下载(87)| 被引(1)

    试论弗雷格的指称理论  CNKI文献

    弗雷格认为专名有内涵和外延 ;涵义决定指称。弗雷格的概念词即为通名。弗雷格第一个将词的指称理论推广到语句上 ,论证了语句的内涵是其思想 ,外延是真值。作者认为外延论题也适用于语句。

    余俊伟 《北京化工大学学报(社会科学版)》 2002年03期 期刊

    关键词: 指称 / 专名 / 语句 / 内涵

    下载(456)| 被引(8)

    逻辑之门:作者与译者的对话——范·本特姆教授访谈录  CNKI文献

    范·本特姆(J.van Benthem)教授是当今最著名的逻辑学家之一,他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。从1970年代到现在,他撰写了六部专著和约300篇学术论文,主编了四部具有权威性的逻辑手册,其影...

    刘奋荣 刘新文... 《哲学动态》 2008年01期 期刊

    关键词: 模态逻辑系统 / 计算机科学 / 领域 / 逻辑

    下载(247)| 被引(4)

    解读《命名与必然性》  CNKI文献

    克里普克在《命名与必然性》中提出了历史的因果命名理论 ,并认为存在必然后验真理、偶然先验真理 ,这是为模态逻辑作理论上的辩护。其理论是融贯的 ,奎因对模态逻辑的批评是不成立的。《命名与必然性》为模态逻辑作了...

    余俊伟 《玉溪师范学院学报》 2003年01期 期刊

    关键词: 历史的因果命名理论 / 必然性 / 必然后验真理 / 偶然先验真理

    下载(295)| 被引(8)

    弗雷格论条件与普遍性  CNKI文献

    弗雷格在创建现代逻辑之时就已分析了蕴涵怪论。他强调"对于思想只应该考虑它是真的还是假的,而实际上根本不应该考虑思想内容本身",否则,要么将问题复杂化而无实际益处;要么前后件不是真正的句子。后一情形...

    余俊伟 《湖南科技大学学报(社会科学版)》 2010年06期 期刊

    关键词: 条件性 / 普遍性 / 因果联系 / 充分条件

    下载(115)| 被引(5)

    从弗雷格的文本评析黑尔与赖特的新弗雷格主义  CNKI文献

    弗雷格的逻辑主义欲以逻辑作为算术之基础。《算术基本规律》采用公理系统实现他的计划,但其系统导致罗素悖论,弗雷格认为原因是第五条公理,并最终承认计划失败。自1960年代起一些逻辑学家致力于挽救弗雷格的计划,被称...

    余俊伟 《湖南科技大学学报(社会科学版)》 2013年01期 期刊

    关键词: 新逻辑主义 / 数学基础 / 休谟原理

    下载(95)| 被引(1)

    弗协调逻辑的哲学解读  CNKI文献

    "弗协调逻辑"(paraconsistent logic),又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。巴西逻辑学家达·科斯塔(Da Costa...

    余俊伟 《哲学动态》 2004年11期 期刊

    下载(159)| 被引(8)

    摹略万物之然,论求群言之比——模态逻辑新观念述评  CNKI文献

    模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为“必然和可能的逻辑”而被人所知。但是,把模态逻辑视为关于“可能”和“必然”的逻辑至少在20世纪60年代末就已经过时。“模态语言是研究关系结...

    刘新文 余俊伟 《哲学动态》 2005年12期 期刊

    关键词: 模态逻辑 / 代数语义 / 人工智能 / 公理系统

    下载(169)| 被引(4)

    经典逻辑视野下的非经典否定  CNKI文献

    直觉主义逻辑中的否定有直观而清晰的含义,意为“不可能”,其强于经典否定;而相干逻辑与弗协调逻辑中的否定缺乏直观性。一般地,非经典否定只有在能够借助经典否定说明的情况下才能获得清晰的含义。我们定义一个从弗协...

    余俊伟 《哲学动态》 2010年07期 期刊

    关键词: 弗协调逻辑 / 经典否定 / 经典逻辑 / 标准逻辑

    下载(181)| 被引(1)

    概念文字的数学背景及哲学意味  CNKI文献

    概念文字是弗雷格为实现从逻辑推出数学而创建的推理工具。它为求真而创立,适用于科学研究,对于人们日常所用并不适用。概念文字经过进一步改进,"将能够成为哲学家们的一种有用工具"。这种运用首先是一种逻...

    余俊伟 《云南大学学报(社会科学版)》 2011年04期 期刊

    关键词: 弗雷格 / 概念文字 / 形式语言 / 逻辑分析

    下载(153)| 被引(2)

    一个弗协调真值道义逻辑系统  CNKI文献

    The paper constructs a paraconsistent alethic modal logic CnMG , introduces deontic operators by the definitions, and then gets paraconsistent alethic deontic logic. CnMG’ can avoid the ...

    余俊伟 《哲学研究》 2003年01期 期刊

    下载(157)| 被引(2)

    从邻域语义学的观点看否定(英文)  CNKI文献

    论文采用否定邻域框架系统地分析了各种弱否定的对应性与典范性。我们讨论了七个与弱否定相关的序列(sequent),其对应性与典范性如下表所示:■与常见的处理弱否定的星框架与相容框架相比,否定邻域框架的处理能力更强,...

    余俊伟 《逻辑学研究》 2008年02期 期刊

    关键词: 弱否定 / 对应性 / 月卜 / 邻域

    下载(131)| 被引(0)

    形式系统的可靠性和完全性问题  CNKI文献

    语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释...

    余俊伟 《湖南科技大学学报(社会科学版)》 2005年01期 期刊

    关键词: 完全性 / 可靠性 / 代入规则 / 全称概括规则

    下载(141)| 被引(2)

    弗协调命题逻辑C_n的判定性问题  CNKI文献

    弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办...

    余俊伟 《湖南科技大学学报(社会科学版)》 2008年04期 期刊

    关键词: 弗协调逻辑 / 可判定性 / 拟真值表

    下载(62)| 被引(2)

    谈谈词项逻辑中的几个问题  CNKI文献

    “一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理...

    余俊伟 《淮北职业技术学院学报》 2006年02期 期刊

    关键词: 三段论 / 对当关系 / 周延规则

    下载(95)| 被引(1)

    回首逻辑之路:兴于技术,回归哲学  CNKI文献

    哲学的核心形而上学是一门以存在(是)本身作为研究对象,寻求世界本原和第一原理的学问。这种探究与自然哲学一样,属于他设定的理论科学。随着理论科学的发展,人类认识水平与能力不断发展,人们逐渐意识到认识活动...

    余俊伟 社会科学报 2019-09-26 报纸

    关键词: 哲学逻辑 / 逻辑学 / 弗雷格 / 现代逻辑

    下载(24)| 被引(0)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      轻松读懂《孙子兵法》