-
题名数学命题的构造
- 1
-
-
作者
刘学质
-
出处
《重庆教育学院学报》
1994年第1期58-59,61-64+57,共7页
-
文摘
本文从命题的真值入手,应用集合理论讨论了假言命题的构造以及命题中逻辑连接词、量词和否定词的理解和应用。
-
关键词
命题的真值
真命题
假命题
命题的真集
假集
析取
合取
全称命题
存在命题
否定命题
-
分类号
G634.6
[文化科学—教育学]
-
-
题名多值逻辑的哲学意义
被引量：3
- 2
-
-
作者
蔡曙山
-
出处
《贵州社会科学》
CSSCI
北大核心
1991年第12期18-23,17,共7页
-
文摘
一、多值逻辑的历史和动因 我们首先简要介绍多值逻辑的历史,分析它发展的动因,并给出在以后的讨论中要用到的一些重要的多值逻辑系统。 卢卡西维兹的三值逻辑系统 本世纪20年代,卢卡西维兹开始对多值逻辑作系统的研究。他考虑的命题是“明年12月21日中午我在华沙”。这一命题在当下是既不真又不假的,他把命题的这一真值称为“中间值”。卢卡西维兹考虑命题的第三种真值有明确的动意,那就是,在他的三值逻辑系统中可以定义模态算子◇和□。记这个系统为L<sub>3</sub>,我们有如下的定义:
-
关键词
多值逻辑系统
重言式
三值逻辑
二值逻辑
排中律
哲学意义
逻辑观
命题的真值
联结词
真理的相对性
-
分类号
C55
[社会学]
-
-
题名《逻辑哲学论》中的实在论与本体论
- 3
-
-
作者
江怡
-
机构
中国社会科学院哲学所
-
出处
《哲学研究》
CSSCI
北大核心
1998年第6期56-62,共7页
-
-
关键词
维特根斯坦
实在论
逻辑哲学
本体论
基本命题
逻辑原子主义
简单对象
维持根斯坦
命题的真值
真值条件
-
分类号
B81
[哲学宗教—逻辑学]
-
