共查询到20条相似文献，搜索用时 156 毫秒
1.
桂起权 《中山大学学报论丛》2008,1(3)
从逻辑哲学观点看,在"符号化、公理化的模糊逻辑"与形式化的"人脑使用的模糊逻辑"(苗东升的说法)这两者之间,只是形式模型及其现实原型的关系,决不相互排斥.真正的问题不在于,现实生活中人脑所使用的实际上行之有效的模糊推理,是否应该和可能符号化、公理化,而是在于如何恰当地进行形式化.笔者采用苏珊·哈克(Susan Haack)的逻辑哲学观点,认为非经典逻辑可划分为扩展逻辑和异常(deviation)逻辑,模糊逻辑归属于异常逻辑.本文以模糊逻辑系统FZ为例,具体分析了虽然经典逻辑中一些较强的公理和推理规则均不成立,但是与之对应的较弱的"合经典的"(well-behaved)公理和推理则却仍然可以成立,由此导致一系列新奇性质.笔者采用了达·柯斯塔(da Costa)的形式化技巧,它是关睛"在虚设不矛盾律成立的前提下"(相应公式可以称为"合经典的")才能成立的逆否律.当我们撤除了"虚设不矛盾律为前提"的限定,它又重新回到了无条件成立的情况.笔者也推广了玻尔(N.Bohr)和冯·威扎克(von Weizsaecker)关于对应原理的思想,认为作为非经典逻辑的模糊逻辑与经典逻辑之间也应当遵守"对应原理":经典逻辑是模糊逻辑的前身,模糊逻辑将构成更为普遍的逻辑形式,经典逻辑作为模糊逻辑的极限形式,在局部情况下还保持自身的意义. 相似文献
2.
3.
论现代逻辑的规范性及其问题 总被引：3，自引：1，他引：2
晋荣东 《华东师范大学学报(哲学社会科学版)》2004,36(6):86-93
现代逻辑的规范性以有效性标准为效力之源 ,但该标准不仅在评估自然语言论证方面缺乏效力 ,而且在处理与生活世界相关的诸论题方面 ,其所预设的题材中立性、形式化理想、封闭世界假定以及逻辑一元论也存在不少理论上的困难。因此 ,现代逻辑对于现代性的建构和批判将难以有所作为 相似文献
4.
柳祥美 《湘潭师范学院学报(社会科学版)》2001,23(6):19-22
辨别有效论证与非有效论证是逻辑哲学的中心任务。论证可从多方面进行评价，在此，只涉及逻辑的有效性问题。演绎系统内有效性与系统外有效性之间是协调一致的。非形式论证的有效性与它们的逻辑形式表达之间的关系是复杂多样的。 相似文献
5.
赵伟莉 《淮阴师范学院学报(哲学社会科学版)》2007,29(1):39-42
弗协调逻辑是以怀疑经典逻辑矛盾律的普遍有效性为基础而发展起来的逻辑理论,它通过对经典逻辑否定的修改,弱化经典逻辑的否定来达到对矛盾律的限制。关于弗协调逻辑的否定与矛盾一直是争议的焦点,本文试图从国内关于这两点的一些分析及争论出发,探讨弗协调逻辑的否定与经典逻辑否定的关系,并进而分析弗协调逻辑所说的矛盾与经典逻辑的矛盾律是否一致。 相似文献
6.
7.
在洗衣机洗涤时间控制方面,针对传统经典控制方法不理想的现状,提出改用模糊逻辑控制的方法。首先,在众多影响洗涤时间的因素中,通过模糊聚类,选取三个主要因素作为模糊逻辑控制的输入,继而对它们建立隶属度函数,选用Mamadani模糊逻辑模型,建立模糊逻辑推理规则,最后实施具体洗涤时间的控制。仿真实验表明,此控制方法不仅有效,且优于传统经典控制方法。 相似文献
8.
规范逻辑简论 总被引：1，自引：0，他引：1
孙明湘 《湘潭师范学院学报(社会科学版)》1998,(2)
规范罗辑是在经典命题逻辑基础上增加了"应当"、"允许"、"禁止"等规范楼态词所构成的非标准逻辑,其规范命题形式的逻辑性质除了具有真值性外还具有合理性问题。由于对其合理性的不同理解,又构成了不同的规范逻辑系统,如根据规范模态词在不同的规范可能世界中不同的逻辑关系．形成了DT、DS4、DS5等系统;根据规范模态词既绝对又相对的性质,形成了一元（绝对）、二元（相对、等系统。规范逻辑就是运用公理方法或模型方法研究规定命题形式语法或语又有效性的形式系统。 相似文献
9.
张志杰 《中学历史教学研究》2008,(3)
历史教学的有效性是当前中学历史教育界探讨的焦点之一,但由于历史教学有效性评判的标准不一,也由于历史教学有效性的显性表现模糊,历史教学的有效性问题至今仍然是一个争鸣的问题,可谓见仁见智,至于如何实现历史教学的有效性,更是众说纷纭。本文笔者从一个侧面——历史课堂教学的品质,论述历史教学的有效性问题。 相似文献
10.
肖伟华 《黔南民族师范学院学报》2014,(3):112-114
真的概念在逻辑学研究中有着十分重要的地位.逻辑学的任务就是探寻逻辑真理.从对逻辑真和事实真的区分入手,正确认识和把握逻辑真理,探讨逻辑真与逻辑推理的有效性. 相似文献
11.
李旭燕 《淮阴师范学院学报(哲学社会科学版)》2004,26(2):169-172
:逻辑哲学的中心问题是关于逻辑系统内有效的形式论证与系统外的非形式原型的符合问题。逻辑的形式论证来源于日常语言和科学语言中未经形式化的实际论证,即非形式论证,同时它又是对非形式论证的反映和概括。因此,逻辑哲学高度重视形式论证及其对应的非形式原形的相互关系的研究。 相似文献
12.
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。 相似文献
13.
14.
Student learning is a complex incremental cognitive process; assessment needs to parallel this, reporting the results in similar terms. Application of fuzzy sets and logic to the criterion-referenced assessment of student learning is considered here. The constrained qualitative assessment (CQA) system was designed, and then applied in assessing a past course in microcomputer system design (MSD). CQA criteria were articulated in fuzzy terms and sets, and the assessment procedure was cast as a fuzzy inference rule base.An interactive graphic interface provided for transparent assessment, student “backwash,” and support to the teacher when compiling the tests. Grade intervals, obtained from a departmental poll, were used to compile a fuzzy “grade” set. Assessment results were compared to those of a former standard method and to those of a modified version of it (but with fewer criteria). The three methods yielded similar results, supporting the application of CQA. The method improved assessment reliability by means of the consensus embedded in the fuzzy grade set, and improved assessment validity by integrating fuzzy criteria into the assessment procedure. 相似文献
15.
王保军 《唐山师范学院学报》2005,27(6):92-93
信度与效度是衡量心理测验质量的重要指标。增加测验长度是提高测验信度和效度的重要方法之一。由于各学者对效度的代表符号规定不一，导致对于说明测验长度与测验效度关系的公式及其计算结果难于理解和解释。根据经典测量理论对代表测验长度与测验效度关系的公式进行分析和讨论，提出测验效度与长度关系的表达公式。 相似文献
16.
崔泽云 《湘潭师范学院学报(社会科学版)》2004,26(6):26-28
一个理论的本体论承诺就是按照那个理论有什么东西存在的问题。经典命题逻辑是现代形式逻辑的基础。从语义学角度和它对"逻辑真"的定义看,它的本体论承诺是可能世界。存在经典命题逻辑这一本体论承诺是实在论逻辑观的反映,是它研究内容的必然要求。把可能世界存在作为它的本体论承诺对逻辑学自身、对经验科学都有深远而广泛的影响。 相似文献
17.
给出了基于Fuzzy-PID温度控制器的基本原理,并对传统的PID调节器和Fuzzy控制器分别进行了理论分析和仿真研究,阐述由模糊控制和PID控制构成新型智能控制对复杂系统进行有效控制的途径,说明了模糊控制器的设计过程. 相似文献
18.
效度问题是人类测量活动中最重要也是最困难的一个问题。本文首先从效度的概念与分类、效度的理论公式以及效度的评估方法等三个方面讨论了经典效度理论存在的弊端，然后针对这三个方面提出了相应的改进意见，在一定程度上实现了效度理论的重建。 相似文献
19.
描述逻辑和形式概念分析都是以概念为基础的形式系统,在处理信息方面它们各有优缺点,近年来,研究者们将两者结合在一起,取长补短.本文将形式概念分析的方法引入描述逻辑,研究了格值模糊描述逻辑系统L-ALCN模型的Duquenne-Guigues基问题.首先介绍了L-ALCN的语法、语义和形式概念分析的基本知识,根据L-ALCN的特点,重新定义了描述背景下内涵、伪内涵及有穷基底的理论框架,证明了L-ALCN系统中Duquenne-Guigues基底的存在性,给出了相应的算法并指出了L-ALCN中Duquenne-Guigues基底是可靠的、完备的和非冗余的. 相似文献
20.
本文首先介绍了模糊控制器的工作原理，并对一典型的二阶系统设计了模糊控制器。用MATLAB对所设计的控剞器进行了仿真验证，并详细分析了比例因子对模糊控制器性能的影响。 相似文献