共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
高中数学课本介绍一些初步的逻辑知识,对于培养学生的逻辑思维能力,提高学生对于数学的理解,避免学生逻辑错误的发生,都有一定的作用。本文阐述了逻辑与数学的同一性、差异性和互补性;对中学简易逻辑教学中的命题、逆否命题与反证法、充要条件、命题的否定等进行了一些探讨;最后研究了逻辑与集合的关系,以期对中学数学逻辑的教学有所帮助。 相似文献
3.
4.
5.
在我国,由于刑事侦查组织体系和模式的缺陷,使刑事侦查阶段面临着侦查机关及其工作人员滥用职权、侵犯人权的危险。出于实现惩罚犯罪与保障人权的诉讼目的,欧盟国家普遍建立司法审查制度。建立我国刑侦阶段司法审查制度将是加强司法救济与国际刑事法治接轨的有效途径之一。 相似文献
6.
王静 《科学技术与辩证法》2004,21(6):60-62
文章在现代哲学中"语言转向"的启发下,从学术界对命题词、联结词和量词的研究角度,重审三段论逻辑、命题逻辑和谓词逻辑,展示了一种理解逻辑-哲学研究的新视角. 相似文献
7.
8.
9.
10.
对于环境标准的法律性质,是我国环境法学界争议颇多的热点问题。该文通过环境标准作为环境法律规范所必须具备的逻辑结构角度对环境标准为什么是环境法律这一定性问题进行较为深入的法理分析研究,得出环境标准作为一种环境法律规范而完全具备法律规范的“条件假设”、“行为模式”、“法律后果”这个三个逻辑结构要素的结论,进而导出我国环境标准具有法律性质——环境标准就是环境法律的结论。 相似文献
11.
对于环境标准的法律性质,是我国环境法学界争议颇多的热点问题。该文通过环境标准作为环境法律规范所必须具备的逻辑结构角度对环境标准为什么是环境法律这一定性问题进行较为深入的法理分析研究,得出环境标准作为一种环境法律规范而完全具备法律规范的“条件假设”、“行为模式”、“法律后果”这个三个逻辑结构要素的结论,进而导出我国环境标准具有法律性质——环境标准就是环境法律的结论。 相似文献
12.
国家制定法律是为了更好地规范民众的行为并对违法犯罪进行惩处,而在现实生活中,法律效力的发挥要建立在充分的法律论证基础上,目的是保证法律的公平性与公正性.在这一过程中,法律论证的过程及效果对法律效力的发挥影响显著.基于此,研究法律论证的逻辑特性对于深入认识法律论证具有重要作用,而要获得科学的研究结果,可参考《法律与逻辑:法律论证的批判性说明》一书,从而为法律论证的实践应用提供有力支持. 相似文献
13.
线性函数、冗余函数、自反函数、自双反函数、部分自反函数和部分自双反函数等特殊逻辑函数在密码学函数构造方面具有优越性。布尔C-导数能全面揭示布尔函数的密码学性质和函数结构的关系,是构造密码学函数的重要工具。本文从特殊逻辑函数和布尔-C导数的定义出发,讨论了这些逻辑函数的布尔C-导数性质,并给出了相应证明。该研究为快速构造密码学函数奠定理论基础。 相似文献
14.
《科学技术与辩证法》2001,18(6):25-29
在现代西方科学哲学发展过程中,波普尔对逻辑实证主义的批判使两者形成对立。本文概括出两者对立的四个方面第一,在科学的判据上,逻辑实证主义主张实证论,认为可证实的命题才是科学命题;波普尔则主张否证论,认为可否证的命题是科学命题。第二,在逻辑方法上,逻辑实证主义属于归纳主义,认为科学理论产生于归纳;波普尔则主张演绎主义,认为科学理论产生于演绎。第三,在科学观上,逻辑实证主义属于科学静力学的科学观;波普尔则主张科学动力学的科学观。第四,在认识论上,逻辑实证主义主张经验论;波普尔的主导倾向是唯理论。两者各执一端,都有真理性,也都有片面性。我们应当批判地吸收合理成分。 相似文献
15.
16.
苏丽 《科学技术与辩证法》2014,(1):6-11
关于人类推理机制的说明主要有两种理论,分剐是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则(PSYCOP)系统,来描述依据命题联结词和量词变量进行的推导过程,并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化,但同时也面临着一些可能的缺陷。 相似文献
17.
18.
普通逻辑在科技期刊艺术编辑加工中的应用 总被引:2,自引:0,他引:2
论述了艺术编辑的含义、内容及意义,阐述了普通逻辑在编辑加工中的意义,将普通逻辑的思维形式(概念)及逻辑规律(同一律、矛盾律、排中律、充足理由律)应用于艺术编辑加工当中,其中包括概念要明确在艺术编辑加工中的应用及思想的确定性在艺术设计、装帧设计中的应用。 相似文献
19.
普通逻辑在科技期刊学术编辑加工中的应用 总被引:2,自引:2,他引:0
运用普通逻辑的思维形式(概念、推理、论证)及其逻辑规律(同一律、矛盾律、排中律和充中理由律),论述了普通逻辑在科技期刊学术编辑加工中的应用,其中包括概念的划分在征稿、审稿中的应用,概念要明确在文章结构层次加工中的应用,思想要确定在论题保持同一加工中的应用,论说要有论证性在文章推理、论证加工中的应用。 相似文献
20.
系统地介绍了反证法的逻辑原理、种类而模型论是一门理论性很强的学科,模型论中很多命题和定理用直接证明的方法去证明会有一定的困难,如果用反证法将比较容易求证。 相似文献