期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一个刻画强否定的模态系统及其性质
被引量：
1
1
作者
李小五
刘佳秋
徐秋华
《厦门大学学报（哲学社会科学版）》
CSSCI
北大核心
2009年第1期98-105,共8页
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所...
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如,禁自返相对于我们的语义是模态可定义的。
展开更多
关键词
否定
强否定
关系语义
禁
自
返
下载PDF
职称材料
量子同一性的禁自返逻辑解释及相关问题
被引量：
1
2
作者
王伟长
万小龙
《重庆理工大学学报（社会科学）》
CAS
2017年第6期9-15,共7页
量子同一性问题指的是量子力学中可以观测微观粒子数却在事实上完全无法区分各个粒子的问题,人们通常认为这意味着微观粒子个体性的丧失。巴西逻辑学家da Costa认为,经典逻辑的同一性原则与量子力学之间是不协调的,因此需要建立合适的...
量子同一性问题指的是量子力学中可以观测微观粒子数却在事实上完全无法区分各个粒子的问题,人们通常认为这意味着微观粒子个体性的丧失。巴西逻辑学家da Costa认为,经典逻辑的同一性原则与量子力学之间是不协调的,因此需要建立合适的禁自返逻辑(non-reflexive logic)来限制或取缔经典逻辑中的等词。在建立禁自返逻辑并利用它对量子同一性问题做出解释的同时,da Costa及相关学者又讨论了由此产生的语义学和本体论的问题。
展开更多
关键词
量子同一性
禁
自
返
逻辑
禁
自
返
集合论
禁
自
返
本体论
下载PDF
职称材料
题名
一个刻画强否定的模态系统及其性质
被引量：
1
1
作者
李小五
刘佳秋
徐秋华
机构
中山大学逻辑与认知研究所
厦门大学哲学系
出处
《厦门大学学报（哲学社会科学版）》
CSSCI
北大核心
2009年第1期98-105,共8页
基金
国家社科基金项目“更新语义与动态认知逻辑研究”(08BZX050)
文摘
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如,禁自返相对于我们的语义是模态可定义的。
关键词
否定
强否定
关系语义
禁
自
返
Keywords
negation, strong negation, relation semantics, irreflexivity
分类号
B81 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
量子同一性的禁自返逻辑解释及相关问题
被引量：
1
2
作者
王伟长
万小龙
机构
华中科技大学人文学院
出处
《重庆理工大学学报（社会科学）》
CAS
2017年第6期9-15,共7页
基金
国家社会科学基金项目"量子概率的哲学问题研究"(16BZX022)
教育部人文社会科学基金项目"量子逻辑的哲学问题研究"(15YJA720006)
中央财政专项(2016年华中科技大学创建世界双一流项目)"科学技术前沿的哲学问题研究"
文摘
量子同一性问题指的是量子力学中可以观测微观粒子数却在事实上完全无法区分各个粒子的问题,人们通常认为这意味着微观粒子个体性的丧失。巴西逻辑学家da Costa认为,经典逻辑的同一性原则与量子力学之间是不协调的,因此需要建立合适的禁自返逻辑(non-reflexive logic)来限制或取缔经典逻辑中的等词。在建立禁自返逻辑并利用它对量子同一性问题做出解释的同时,da Costa及相关学者又讨论了由此产生的语义学和本体论的问题。
关键词
量子同一性
禁
自
返
逻辑
禁
自
返
集合论
禁
自
返
本体论
Keywords
quantum identity
non-reflexive logic
non-reflexive set theory
non-reflexive ontology
分类号
B81 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一个刻画强否定的模态系统及其性质
李小五
刘佳秋
徐秋华
《厦门大学学报（哲学社会科学版）》
CSSCI
北大核心
2009
1
下载PDF
职称材料
2
量子同一性的禁自返逻辑解释及相关问题
王伟长
万小龙
《重庆理工大学学报（社会科学）》
CAS
2017
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
