期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到95篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
从弗雷格理论看逻辑常项
1
作者 余俊伟 《逻辑学研究》 CSSCI 2024年第2期73-87,共15页
自塔尔斯基提出逻辑常项(逻辑概念)的变换不变性标准以来,人们相继提出了同构、同态与潜同构等不变性标准。这种考察方式从形式语义学的角度,给出代数刻画,虽然精确但都与人们既有的逻辑概念有明显差异。通过分析弗雷格的论述,可以合理... 自塔尔斯基提出逻辑常项(逻辑概念)的变换不变性标准以来,人们相继提出了同构、同态与潜同构等不变性标准。这种考察方式从形式语义学的角度,给出代数刻画,虽然精确但都与人们既有的逻辑概念有明显差异。通过分析弗雷格的论述,可以合理地推断出逻辑常项的本质在于描述真,进而得到弗雷格标准。据此标准有两类逻辑常项,一类以真为描述对象,即真值函项。另一类是以谓述本身为描述对象,且能归约为基本逻辑关系。后者也即量词,刻画了“是真”。弗雷格标准深化了我们对逻辑以及逻辑与哲学关系的认识。运用此标准分析集合论的属于关系、模态、规范等概念会获得与流行看法很不相同的认识。 展开更多
关键词 逻辑常项 弗雷格标准 是真的规律 谓述的层次
在线阅读 下载PDF
弗雷格论条件与普遍性 被引量：4
2
作者 余俊伟 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2010年第6期46-49,共4页
弗雷格在创建现代逻辑之时就已分析了蕴涵怪论。他强调"对于思想只应该考虑它是真的还是假的,而实际上根本不应该考虑思想内容本身",否则,要么将问题复杂化而无实际益处;要么前后件不是真正的句子。后一情形乃是使概念或关系... 弗雷格在创建现代逻辑之时就已分析了蕴涵怪论。他强调"对于思想只应该考虑它是真的还是假的,而实际上根本不应该考虑思想内容本身",否则,要么将问题复杂化而无实际益处;要么前后件不是真正的句子。后一情形乃是使概念或关系联系起来,融合了普遍性与实质蕴涵。这也正是充分条件的表达方式。相干逻辑欲借助前后件共享命题变元来体现二者在内容及意义上的联系。一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。 展开更多
关键词 条件性 普遍性 因果联系 充分条件
在线阅读 下载PDF
理解弗雷格的专名涵义 被引量：5
3
作者 余俊伟 《逻辑学研究》 CSSCI 2014年第4期69-86,共18页
论文提出了理解弗雷格专名涵义的一种新的角度:路径观点。这一观点比较吻合弗雷格所坚持的涵义概念的若干特征,解决了弗雷格名称理论的许多极具争议的问题,如间接涵义、涵义的本体论,涵义是否有无限多层次。对照克里普克的名称理论及其... 论文提出了理解弗雷格专名涵义的一种新的角度:路径观点。这一观点比较吻合弗雷格所坚持的涵义概念的若干特征,解决了弗雷格名称理论的许多极具争议的问题,如间接涵义、涵义的本体论,涵义是否有无限多层次。对照克里普克的名称理论及其逻辑背景,论文分析了克里普克及戴维森等人对弗雷格涵义理论的批评,从路径的观点较好地回应了这些批评。 展开更多
关键词 弗雷格 专名 涵义
在线阅读 下载PDF
形式系统的可靠性和完全性问题 被引量：2
4
作者 余俊伟 《湖南科技大学学报（社会科学版）》 2005年第1期25-29,共5页
语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性... 语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。对必然化规则和模态逻辑系统来说有类似的结果。 展开更多
关键词 语法 全称 语义解释 概括 相对 经典 限制 必然 形式系统 模态逻辑
在线阅读 下载PDF
不同层次的逻辑多元论 被引量：3
5
作者 余俊伟 《逻辑学研究》 CSSCI 2019年第2期1-12,共12页
Beall与Restall提出了基于后承关系考虑的逻辑多元论。后承关系的一般模式含有参数x-情形。对x做不同解释,就获得不同的后承关系,也即不同的逻辑。这种观点基于"真"概念。如果对"真"概念的理解有分歧,那么,从"... Beall与Restall提出了基于后承关系考虑的逻辑多元论。后承关系的一般模式含有参数x-情形。对x做不同解释,就获得不同的后承关系,也即不同的逻辑。这种观点基于"真"概念。如果对"真"概念的理解有分歧,那么,从"真"概念出发,将获得一种更为基本的逻辑观。由此区别出经典逻辑与直觉主义逻辑。这是第一层次的区分。这种区分源自对何为正确推理的解答不同。其差别是哲学观的不同。而对正确推理该如何采用当代逻辑研究范式去刻画,亦有不同理解。这造成第二层次的多元。其他众多非经典逻辑即属此层次。第二层次的多元是不争的事实,多元论与一元论的争论可以消解。真正争议是指第一层次上的,它是形而上学之争,难以消解甚至不可消解。 展开更多
关键词 逻辑多元论 逻辑一元论 经典逻辑 非经典逻辑
在线阅读 下载PDF
试论弗雷格的指称理论 被引量：3
6
作者 余俊伟 《北京化工大学学报（社会科学版）》 2002年第3期15-18,共4页
弗雷格认为专名有内涵和外延 ;涵义决定指称。弗雷格的概念词即为通名。弗雷格第一个将词的指称理论推广到语句上 ,论证了语句的内涵是其思想 ,外延是真值。作者认为外延论题也适用于语句。
关键词 指称 专名 语句 内涵 外延
在线阅读 下载PDF
关于模态形而上学的几点思考 被引量：3
7
作者 余俊伟 《逻辑学研究》 CSSCI 2017年第3期58-74,共17页
模态逻辑的"原罪"除了奎因指出的混淆了使用与提及外,还包括误以为在命题层面可以揭示概念间的必然联系。必然涉及内涵特性,单纯地从外延角度、在命题层面考察必然,有无法克服的缺陷。克里普克通过语言分析解决必然的内涵特... 模态逻辑的"原罪"除了奎因指出的混淆了使用与提及外,还包括误以为在命题层面可以揭示概念间的必然联系。必然涉及内涵特性,单纯地从外延角度、在命题层面考察必然,有无法克服的缺陷。克里普克通过语言分析解决必然的内涵特性所带来的问题掩盖了问题的实质,无法触及必然的普遍规律性之本质。这是可能世界语义学的"原罪"。尽管有后天必然真,但克里普克的晨星之例并不属于此类。而他的米尺之例也难以称得上是先天偶然真。这些都是"原罪"的反映。 展开更多
关键词 模态逻辑 先天偶然与后天必然 可能世界语义学
在线阅读 下载PDF
概念文字的数学背景及哲学意味 被引量：1
8
作者 余俊伟 《云南大学学报（社会科学版）》 CSSCI 北大核心 2011年第4期52-57,95,共6页
概念文字是弗雷格为实现从逻辑推出数学而创建的推理工具。它为求真而创立,适用于科学研究,对于人们日常所用并不适用。概念文字经过进一步改进,"将能够成为哲学家们的一种有用工具"。这种运用首先是一种逻辑分析方法,而不是... 概念文字是弗雷格为实现从逻辑推出数学而创建的推理工具。它为求真而创立,适用于科学研究,对于人们日常所用并不适用。概念文字经过进一步改进,"将能够成为哲学家们的一种有用工具"。这种运用首先是一种逻辑分析方法,而不是形式化方法。弗雷格明确地区分了未加判断的"纯表象组合"与判断,也区分了语句与语句所要表达的"概念内容";他使用自变元和函数取代语法结构中的主词和谓词。以上二方面基本上奠定了概念文字逻辑分析方法的核心。概念文字中并没有严格清晰的语法与语义概念。 展开更多
关键词 弗雷格 概念文字 形式语言 逻辑分析
在线阅读 下载PDF
什么是弗协调逻辑? 被引量：1
9
作者 余俊伟 《北京科技大学学报（社会科学版）》 2001年第2期12-16,共5页
20世纪 6 0年代 ,经典逻辑发展相对停滞 ,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后 ,人们对经典逻辑发起挑战 ,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑... 20世纪 6 0年代 ,经典逻辑发展相对停滞 ,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后 ,人们对经典逻辑发起挑战 ,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时 ,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统 ,于是我们可得出结论 展开更多
关键词 经典逻辑 弗协调逻辑 弗协调模态逻辑 赋值 弗协调命题逻辑系统 非经典逻辑
在线阅读 下载PDF
弗协调命题逻辑C_n的判定性问题 被引量：1
10
作者 余俊伟 《湖南科技大学学报（社会科学版）》 2008年第4期27-29,共3页
弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办法。
关键词 弗协调逻辑 可判定性 拟真值表
在线阅读 下载PDF
解读《命名与必然性》 被引量：1
11
作者 余俊伟 《玉溪师范学院学报》 2003年第1期37-41,共5页
克里普克在《命名与必然性》中提出了历史的因果命名理论 ,并认为存在必然后验真理、偶然先验真理 ,这是为模态逻辑作理论上的辩护。其理论是融贯的 ,奎因对模态逻辑的批评是不成立的。《命名与必然性》为模态逻辑作了成功的辩护。
关键词 历史的因果命名理论 必然性 必然后验真理 偶然先验真理 模态逻辑
在线阅读 下载PDF
谈谈词项逻辑中的几个问题 被引量：1
12
作者 余俊伟 《淮北职业技术学院学报》 2006年第2期11-14,共4页
“一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理及反对关系推理和... “一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理所需预设均为:主项存在。从操作层面上看周延规则不是普遍适用的;从深层次来看,如考虑到预设,那么周延规则是普遍适用的。 展开更多
关键词 三段论 对当关系 周延规则
在线阅读 下载PDF
从弗雷格的文本评析黑尔与赖特的新弗雷格主义
13
作者 余俊伟 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2013年第1期23-27,共5页
弗雷格的逻辑主义欲以逻辑作为算术之基础。《算术基本规律》采用公理系统实现他的计划,但其系统导致罗素悖论,弗雷格认为原因是第五条公理,并最终承认计划失败。自1960年代起一些逻辑学家致力于挽救弗雷格的计划,被称为新弗雷格主义。... 弗雷格的逻辑主义欲以逻辑作为算术之基础。《算术基本规律》采用公理系统实现他的计划,但其系统导致罗素悖论,弗雷格认为原因是第五条公理,并最终承认计划失败。自1960年代起一些逻辑学家致力于挽救弗雷格的计划,被称为新弗雷格主义。代表人物黑尔(Hale B.)和赖特(Wright C.)认为,我们可通过放弃第五条公理,将该公理的后承休谟原理直接作为公理而达到弗雷格的目的。大量的文献证据,特别是凯撒问题与弗雷格定理表明,黑尔和赖特的路线不符合弗雷格的理论主旨。 展开更多
关键词 新逻辑主义 数学基础 休谟原理
在线阅读 下载PDF
解析“必然地得出”
14
作者 余俊伟 《哲学分析》 CSSCI 2022年第5期21-35,196,共16页
倡导“必然地得出”这一观念于我国二十世纪八九十年代的逻辑现代化建设有重要的意义。面对逻辑多元论的兴起以及蒯因对逻辑基础地位的质疑,“必然地得出”这个概念迫切需要澄清。逻辑多元论并没有动摇经典逻辑的基础性。蒯因对逻辑基... 倡导“必然地得出”这一观念于我国二十世纪八九十年代的逻辑现代化建设有重要的意义。面对逻辑多元论的兴起以及蒯因对逻辑基础地位的质疑,“必然地得出”这个概念迫切需要澄清。逻辑多元论并没有动摇经典逻辑的基础性。蒯因对逻辑基础地位的质疑并不成立。从逻辑创始人的相关论述可得出,逻辑不可归约为其他学科。必然地得出,源自对象—概念这一模式,是这一模式的一种本质反映。这种模式确立了经典逻辑的基础性与逻辑的一元性。 展开更多
关键词 必然地得出 逻辑基础 对象—概念模式
在线阅读 下载PDF
条件句:一种意义理论研究
15
作者 余俊伟 《逻辑学研究》 CSSCI 2020年第2期1-13,共13页
条件句是表达理的典型句式。意义理论区分语言表达式的语力、涵义与所指三个层次。不同的语力类型分别对应了不同的所指类型。运用于条件句,这三个层次分别确定了理的力量来源、理的具体内容与表现以及理的效用评估。条件陈述句的评估... 条件句是表达理的典型句式。意义理论区分语言表达式的语力、涵义与所指三个层次。不同的语力类型分别对应了不同的所指类型。运用于条件句,这三个层次分别确定了理的力量来源、理的具体内容与表现以及理的效用评估。条件陈述句的评估都依赖某种理。对那些被视为推理规则之反例的条件句作分析,要考虑语力与涵义这两个层次。实质蕴涵只考察效用评估值之间的关系,处于所指这一层次。这种差异是造成规则失效的根本原因。刻画理的运用有异释与丰富语言两种途径。意义理论为我们提供了审视这两种途径的新视角。 展开更多
关键词 条件句 意义理论 推理规则
在线阅读 下载PDF
从邻域语义学的观点看否定(英文)
16
作者 余俊伟 《逻辑学研究》 2008年第2期50-65,共16页
论文采用否定邻域框架系统地分析了各种弱否定的对应性与典范性。我们讨论了七个与弱否定相关的序列(sequent),其对应性与典范性如下表所示:■与常见的处理弱否定的星框架与相容框架相比,否定邻域框架的处理能力更强,采用后者所得的结... 论文采用否定邻域框架系统地分析了各种弱否定的对应性与典范性。我们讨论了七个与弱否定相关的序列(sequent),其对应性与典范性如下表所示:■与常见的处理弱否定的星框架与相容框架相比,否定邻域框架的处理能力更强,采用后者所得的结果比采用前两者所得的结果更为一般。很多文献中的结果都是本文采用否定邻域框架所得结果的特例。 展开更多
关键词 否定 语义学 典范性 对应性
在线阅读 下载PDF
一种可重构有源滤波器芯片设计 被引量：3
17
作者 余俊伟 刁盛锡 《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2022年第2期143-154,共12页
近年来,多模多带收发机的研究成为了研究热点,而软件定义无线电系统是一个很好的候选方案.为了减小带外干扰对软件无线电系统收发机性能产生的负面影响,提出了一个可调带宽、可调增益的高带外抑制中频滤波器①.该滤波器由双二次Gm-C滤... 近年来,多模多带收发机的研究成为了研究热点,而软件定义无线电系统是一个很好的候选方案.为了减小带外干扰对软件无线电系统收发机性能产生的负面影响,提出了一个可调带宽、可调增益的高带外抑制中频滤波器①.该滤波器由双二次Gm-C滤波器、增益提高级、5阶椭圆滤波器组成.滤波器增益的调节通过双二次Gm-C滤波器和增益提高级实现,带宽的调节通过开关电容阵列实现.同时,为了提高带外抑制,增加了一级5阶椭圆滤波器.后仿真结果表明,滤波器带宽在1 MHz~30 MHz可调,2倍带宽频率的带外抑制最小值达到了44.56 dB,增益控制范围为–20 dB~20 dB,模拟部分的功耗和核心面积分别为5.1 mW和1.23 mm2.提出的滤波器可适用于多种模式通信设备中的模拟前端. 展开更多
关键词 有源滤波器 带宽可调 增益可调 高带外抑制 低功耗
在线阅读 下载PDF
屋顶安装型风力机塔架风振反应分析 被引量：4
18
作者 袁行飞 余俊伟 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2013年第11期1911-1916,1925,共7页
为了研究屋顶安装型风力机塔架在风荷载作用下的动力性能,对该塔架进行风振时程反应分析.建立考虑叶片传至塔架作用力的塔架振动方程,采用引入快速傅里叶变换(FFT)技术的谐波叠加法分别模拟得到叶片和塔架的风速时程,利用叶素理论计算... 为了研究屋顶安装型风力机塔架在风荷载作用下的动力性能,对该塔架进行风振时程反应分析.建立考虑叶片传至塔架作用力的塔架振动方程,采用引入快速傅里叶变换(FFT)技术的谐波叠加法分别模拟得到叶片和塔架的风速时程,利用叶素理论计算叶片传至塔架作用力.研究屋顶集风效应和叶片旋转对此类风力机塔架风振反应的影响.结果表明考虑屋顶集风效应后塔架的风振反应有一定增强;叶片旋转情况下塔架位移和弯矩显著增加. 展开更多
关键词 屋顶安装型风力机 塔架 风振反应 叶素理论 谐波叠加法
在线阅读 下载PDF
践行雷锋精神 在江南发展中激扬青春
19
作者 余俊伟 单镜源 《军工文化》 2024年第3期55-58,共4页
雷锋精神的本意是为人民服务。对企业来说,社会责任是必须承担的责任。雷锋以服务人民为最大幸福,以帮助他人为最大快乐,雷锋精神的核心就是全心全意为人民服务的精神。江南造船是中央企业,作为商业组织,最大的责任就是确保国有资产的... 雷锋精神的本意是为人民服务。对企业来说,社会责任是必须承担的责任。雷锋以服务人民为最大幸福,以帮助他人为最大快乐,雷锋精神的核心就是全心全意为人民服务的精神。江南造船是中央企业,作为商业组织,最大的责任就是确保国有资产的保值增值,这是中央企业的政治责任、经济责任。实现这个责任,需要激发青年员工、服务青年员工,让青年员工获得更好的发展空间,更好的收入。 展开更多
关键词 雷锋精神 青年员工 江南造船 政治责任 为人民服务 保值增值 最大幸福 国有资产
在线阅读 下载PDF
信仰的力量:江南精神引领江南造船驶向深蓝
20
作者 余俊伟 《军工文化》 2015年第5期43-45,共3页
1865年,江南制造机器总局诞生于黄浦江畔,这是江南造船厂的前身,也是中国近代工业的起点。150年来,从江南制造局到江南船坞,从江南造船厂到江南造船集团,虽历经沧桑变迁,但江南从不曾忘记从诞生之时就开始承担的振兴民族工业、实现强国... 1865年,江南制造机器总局诞生于黄浦江畔,这是江南造船厂的前身,也是中国近代工业的起点。150年来,从江南制造局到江南船坞,从江南造船厂到江南造船集团,虽历经沧桑变迁,但江南从不曾忘记从诞生之时就开始承担的振兴民族工业、实现强国梦的历史使命,为中国的国防建设、海疆安全、经济发展倾献着自己的无穷力量与智慧。 展开更多
关键词 江南造船 沧桑变迁 民族工业 江南制造局 黄浦江畔 强国梦 中国近代工业 经济发展 国防建设 船舶建造
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部