期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
论命题逻辑中的内容真假和形式真假
1
作者 曹广婷 《社会科学家》 CSSCI 1998年第S2期23-24,共2页
在传统逻辑中,一个必然正确的推理,必须具备两个条件:前提真实和形式有效。前提真实就是内容真,形式有效就是形式真。所以说,内容真假和形式真假是一个古老的话题。命题逻辑是现代逻辑的重要组成部分,在命题逻辑中,同样存在着内... 在传统逻辑中,一个必然正确的推理,必须具备两个条件:前提真实和形式有效。前提真实就是内容真,形式有效就是形式真。所以说,内容真假和形式真假是一个古老的话题。命题逻辑是现代逻辑的重要组成部分,在命题逻辑中,同样存在着内容真假和形式真假的问题,本文作一讨... 展开更多
关键词 命题逻辑 命题形式 简单命题 复合命题 现代逻辑 经验事实 和形式 亚里士多德 逻辑真理 命题公式
在线阅读 下载PDF
一个直言命题的新系统
2
作者 田龙九 《武汉大学学报(人文科学版)》 1981年第4期84-90,共7页
形式逻辑主要是从思维形式方面研究推理的科学。对推理的研究又是建立在对命题研究的基础之上的。直言命题是人类思维实践中最大量、最经常使用的一种简单命题,有人把它称为原子命题,它是构成其他命题的基础,也是各种推理的基础,所以,... 形式逻辑主要是从思维形式方面研究推理的科学。对推理的研究又是建立在对命题研究的基础之上的。直言命题是人类思维实践中最大量、最经常使用的一种简单命题,有人把它称为原子命题,它是构成其他命题的基础,也是各种推理的基础,所以,彻底弄清直言命题的问题就成为形式逻辑研究中的一个非常重要的问题。 展开更多
关键词 直言命题 亚里士多德 逻辑形式 逻辑方阵 形式逻辑 思维实践 原子命题 简单命题 逻辑研究 逻辑学家
在线阅读 下载PDF
高中数学简易逻辑中几个概念的辨析及教学建议 被引量:2
3
作者 房元霞 宋宝和 《数学教育学报》 北大核心 2006年第4期86-89,共4页
近几年,数学教育类杂志刊载的关于简易逻辑的文章不在少数,其中很多都涉及到一个代表性问题的讨论:“命题‘方程x2-x-6=0的解是x=-2或x=3'是否是复合命题。”这一现象暴露出教材和一些教师对逻辑联结词认识和使用的混乱,也反应了教... 近几年,数学教育类杂志刊载的关于简易逻辑的文章不在少数,其中很多都涉及到一个代表性问题的讨论:“命题‘方程x2-x-6=0的解是x=-2或x=3'是否是复合命题。”这一现象暴露出教材和一些教师对逻辑联结词认识和使用的混乱,也反应了教师教学时的无所是从.为此,教师在教学中要积极进行课程开发,整合教材,选用合适的、典型的正例。 展开更多
关键词 简单命题 复合命题 析取联结词“∨” 谓词 方程的解
在线阅读 下载PDF
“当然逻辑”试探 被引量:4
4
作者 周兴志 《江汉论坛》 1983年第8期19-22,共4页
我们走进公园,常看到一块牌子上面写着:园中花木,禁止攀摘。有人想钻空子,故意将园中的花木连根挖掉,并说,你禁止的是“攀摘”,并没有禁止“连根挖掉”,因此我没有违反规定。为了防止类似这样的人钻类似的空子,法律上便提出了这样一种... 我们走进公园,常看到一块牌子上面写着:园中花木,禁止攀摘。有人想钻空子,故意将园中的花木连根挖掉,并说,你禁止的是“攀摘”,并没有禁止“连根挖掉”,因此我没有违反规定。为了防止类似这样的人钻类似的空子,法律上便提出了这样一种“解释”:连攀摘都要禁止,当然连根挖掉更是在禁止之列了。这种解释,叫做“当然解释”。实际上,这种解释不是人们通常所说的那种解释,而是在推理。因此,我们可以把这种“当然解释”称为“当然推理”。“当然”一词,类似“必然”,同是模态词,但它又跟“必然”不完全一样。“必然”指事理上确定不移,如“ 展开更多
关键词 模态词 逻辑 复合命题 推理形式 简单命题 不相容选言命题 当然解释 合取 原子弹 不相容选言推理
在线阅读 下载PDF
归纳与演绎(二)
5
作者 邹应泉 李夏 《教育学报》 1995年第8期21-22,共2页
归纳与演绎(二)北京师范大学化学系邹应泉首都师范大学化学系李夏二演绎演绎一词出自拉丁文deductio,意为引申。也就是从“一般”引申出“个别”。演绎是从一般性原理出发,得出对某思维对象的个别性结论的思维方法。例如我... 归纳与演绎(二)北京师范大学化学系邹应泉首都师范大学化学系李夏二演绎演绎一词出自拉丁文deductio,意为引申。也就是从“一般”引申出“个别”。演绎是从一般性原理出发,得出对某思维对象的个别性结论的思维方法。例如我们可以根据“任何气体都是可以液化的... 展开更多
关键词 模态演绎 归纳与演绎 演绎方法 简单命题 理论体系 思维方法 复合命题 模态命题 直言三段论 公理系统
在线阅读 下载PDF
真假值、蕴涵与基本规律
6
作者 马兵 《厦门大学学报(哲学社会科学版)》 1986年第1期77-89,共13页
在罗素与怀特赫的《数学原理》一书出版后,逻辑家开始把命题逻辑看做是数理逻辑的起始和基本部份,他们先研究、论述这个部份,接着探讨谓词逻辑,因为“在类论内必须用命题论的原理进行演绎,而在命题论内……不必用类论的原理”。这样来... 在罗素与怀特赫的《数学原理》一书出版后,逻辑家开始把命题逻辑看做是数理逻辑的起始和基本部份,他们先研究、论述这个部份,接着探讨谓词逻辑,因为“在类论内必须用命题论的原理进行演绎,而在命题论内……不必用类论的原理”。这样来构造整个现代的形式逻辑的内容体系,我认为这是顺乎自然的,也是严密的。但是,有些人,如匈牙利哲学家弗克拉西都不赞成这种观点,他认为这样做,就会“排除主词——谓词的关系,这就不可能分析思维的实际结构”。这种说法并不正确。命题逻辑虽然把命题(指简单命题)当作一个整体,但它仍是要研究命题的联结的;并且。 展开更多
关键词 基本规律 数理逻辑 形式逻辑 命题逻辑 真假值 谓词逻辑 逻辑规律 同一律 等值关系 简单命题
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部