关于逻辑问题的通信

发布时间：2017-12-11 15:20

  本文关键词：关于逻辑问题的通信

  更多相关文章： 全称概括规则 数理逻辑 演绎定理 分离规则 公式运用 归纳定义 公理 逻辑教材 命题演算 推导规则

【摘要】：该信缘起陈慕泽先生在《浙江社会科学》发文指出国内数理逻辑教材存在的问题,康宏逵先生进行了回复,并表示可以公开发表。本刊予以刊载,旨在笃行"明辨"之风。
【分类号】：B811
【正文快照】： 慕泽先生:迟复为歉,因为杜珊才将尊函转来。你对宪钧师《引论》的批评,虽然夸张了一点,但确是有你的道理的。这里略说我的意见,供参考而已,说不上“指教”。关于你的第一点批评尊著说,与你所见的外国书不同,《引论》定义逻辑形式系统的公理时在前面加了可证性记号┌,表述推论

【相似文献】

中国期刊全文数据库 前10条

1 诸葛殷同;;前事不忘,后事之师[J];哲学动态;1990年11期

2 康宏逵;;又不忍沉默[J];科学文化评论;2006年04期

3 胡世华;数理逻辑的基本特征与科学意义[J];哲学研究;1957年01期

4 罗翊重;论数理逻辑中的非反推理演算——兼答《辩证逻辑究竟是不是逻辑?》[J];哲学动态;1992年08期

5 任晓明;李蒙;;数理逻辑的盲区与哲学逻辑的兴起——评海德格尔哲学逻辑思想[J];浙江大学学报(人文社会科学版);2009年03期

6 王敏;;数理逻辑中的命题符号化的几个值得注意的问题[J];科技信息;2010年09期

7 吴允会;近年来中古逻辑史方面若干研究结果的简述[J];哲学研究;1957年03期

8 高旭光;;自学逻辑读物[J];图书馆杂志;1982年04期

9 吴坚;;虚概念与存在预设[J];重庆工学院学报(社会科学版);2009年05期

10 王力钢;;数理逻辑的发展及未来趋向[J];安庆师范学院学报(社会科学版);2010年11期

中国重要会议论文全文数据库 前3条

1 王路;;论“逻辑课程的现代化”——纪念王宪钧先生诞辰一百周年[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

2 杨必仪;;雍琦教授留给我们的思考[A];第十六届全国法律逻辑学术讨论会论文（成就·反思·前瞻——中国法律逻辑三十年）[C];2008年

3 张学立;甘进;;贵州逻辑研究三十年[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

中国重要报纸全文数据库 前6条

1 彭漪涟;逻辑科学需要进行系统反思[N];光明日报;2006年

2 ;中国逻辑学：回顾、反省与前瞻[N];光明日报;2003年

3 胡作玄;逻辑的悲剧[N];中华读书报;2006年

4 陈波;逻辑学与理性精神[N];光明日报;2003年

5 本报记者 周静;贵州制约逻辑学会致力学界发展[N];贵州日报;2009年

6 鞠实儿 任远《逻辑学研究》编辑部;《逻辑学研究》:诞生与成长[N];中国社会科学报;2009年

中国博士学位论文全文数据库 前1条

1 张留华;数学、指号学与实用主义[D];华东师范大学;2011年

中国硕士学位论文全文数据库 前10条

1 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年

2 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

3 谢时国;从罗素的逻辑主义立场看他的类型论[D];西南大学;2006年

4 龙娅;当代形式逻辑是辩证唯物的科学[D];贵州大学;2008年

5 盛作国;蕴涵理论研究[D];贵州大学;2008年

6 秦一男;经典命题演算的能行方法研究[D];燕山大学;2008年

7 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

8 王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年

9 杨凯;乔姆斯基生成语法的逻辑探析[D];华南师范大学;2007年

10 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

，

本文编号：1278951