布尔逻辑思想研究

发布时间：2020-11-20 23:26

　　 布尔代数及其完善在当代不断得到重视,使得研究与之密切相关的布尔逻辑思想具有重要的意义。在运算法则、符号规则是否应该扩充到数量之外、符号允许非数以及代数中的逻辑何在等方面,皮考克(G.Peacock)、格雷戈里(D.F.Gregory)以及德·摩根等做出了卓越研究,影响了布尔对于逻辑的思考。布尔将代数的思想应用于逻辑研究,对源于亚里士多德逻辑学的传统逻辑做出改造。承袭传统逻辑致力于研究有效推理的理论偏好,布尔建构新的逻辑系统,将它应用于复杂论证,在逻辑演算方面做出突破。布尔的逻辑系统思想主要建基于对于微分方程和概率论的深入研究,以逻辑代数为代表性成果;布尔的创见与莱布尼茨的逻辑思想一脉相承,他们都试图建立一种表意而非拼音的“普遍符号语言”,以此将逻辑学改造成能与数学匹敌的科学。十九世纪的英国社会渴望变革,各个学科领域的发展不断从相关学科领域的探讨中获得启发。逻辑学的研究也是如此。布尔逻辑思想得以产生,源于一种理论视角的转变,即通过逻辑与数学的交叉研究充实逻辑理性的内涵。与之相应,布尔的逻辑思想注重数学演算。主要通过重释类与命题概念,用数学演算的方式表达逻辑,以及提出和完善逻辑方程运算等方面的努力,布尔以其特有的方式彰显逻辑的力量。逻辑的传统方法注重使用形式演绎佐证结论,使用反模型以证伪;在形式语法中研究演绎推导,在形式语义学(主要是模型论)中研究反模型。布尔不仅对此作出澄清,还指出这些方法预设了关于有效性的标准。我们在研究中发现,布尔逻辑思想的有效性标准注重时间概念的解释与应用,他主张用时间概念解释“事态的结合”,以确定持续的时间;布尔的逻辑哲学思想与传统逻辑哲学并不是截然两立,他关注逻辑的“统一”、“秩序”与“和谐”,在以数学科学为榜样重建一致性标准方面做出了卓越的贡献,其努力不仅是学科交叉研究的有益探索,也在建设逻辑学学科独立性方面做出了贡献。布尔的逻辑思想注重以解释科学进步的态度改造传统逻辑,它不是与科学的决裂,而是历史与思想的结合,具有重要的科学哲学意蕴。布尔的逻辑思想及其应用的影响深远,但是,相关探讨也逐渐呈现出布尔逻辑思想的一些局限。这主要表现在,对于演绎推理的核心是彼此相等的符号,还是形似事物之间的呼应,布尔没有做出深入的解释,其逻辑系统因此需要等式设计和逻辑代数加法方面的改进;布尔的逻辑思想具有类、命题和关系三个方面,逻辑代数中的逻辑可分为类演算、命题演算和关系演算三个分支,但他对命题演算和关系演算并没有深入的探讨。而且,在布尔逻辑思想的影响下,对相关问题的反思,使得部分学者主张严格区分算术运算和逻辑运算,并主张取消布尔逻辑系统中的减法运算和除法运算,弗雷格则致力于系统地论证数学的逻辑基础,将数学的概念和法则化思想归于逻辑的概念和法则。这些都启示我们从哲学的角度深化对于布尔逻辑思想的研究,从中获得当代逻辑理论及其应用研究的启发。
【学位单位】：西南大学
【学位级别】：博士
【学位年份】：2020
【中图分类】：B81-0
【文章目录】：
摘要
ABSTRACT
文献综述
第1章 引言
    1.1 布尔逻辑著作概述
    1.2 选题的理论意义
    1.3 关于布尔逻辑思想的主要问题
    1.4 本文的预期目标和基本内容结构
第2章 布尔逻辑思想的理论渊源
    2.1 社会和文化背景
        2.1.1 哲学追寻知识基础的传统及经院逻辑的困境
        2.1.2 对经院逻辑问题的讨论
    2.2 归纳科学与形式科学的兴起
        2.2.1 斯图尔特与惠特利的努力
        2.2.2 汉密尔顿的逻辑取向
    2.3 运算符号化与数学现实主义
        2.3.1 伍德豪斯和运算逻辑
        2.3.2 皮考克和符号运算属性的合法化
    2.4 布尔对知识基础的思考
    2.5 小结
第3章 布尔对亚氏形式逻辑的改造
    3.1 布尔逻辑思想的命题取向
        3.1.1 布尔关于“类”的解释
        3.1.2 命题的表达和解释
        3.1.3 命题的转换
        3.1.4 假言命题的代数方程表示
    3.2 布尔的逻辑符号思想及其应用
        3.2.1 逻辑符号的建立
        3.2.2 符号推理的基本原则
        3.2.3 逻辑方程的解释
        3.2.4 命题的分类与命题关系
        3.2.5 消除法在扩展中的应用
2=X规则的解释'>        3.2.6 X²=X规则的解释
    3.3 布尔逻辑思想的方法论基础
        3.3.1 布尔逻辑思想的算法情节
        3.3.2 布尔关于分析的一般方法
    3.4 小结
第4章 布尔的推理有效性概念及其辩护
    4.1 布尔的推理有效性概念
        4.1.1 亚氏逻辑的推理有效性概念
        4.1.2 可演绎性作为有效性概念的一种有限制的说明
        4.1.3 布尔的无效推理标准
    4.2 布尔逻辑代数对时间的分析
        4.2.1 次生命题的时间解释
        4.2.2 逻辑方程的解读
        4.2.3 逻辑变量的性质
        4.2.4 逻辑变量的处理
        4.2.5 次生命题的简化处理
    4.3 小结
第5章 布尔逻辑思想的哲学意蕴
    5.1 布尔逻辑的认识论基础
        5.1.1 西方哲学传统背景下的布尔逻辑
        5.1.2 布尔逻辑的语言哲学预设
        5.1.3 布尔关于逻辑回归哲学的立场
    5.2 布尔逻辑的本体论预设
        5.2.1 布尔逻辑的普遍性诉求
        5.2.2 布尔逻辑的逻辑一元论取向
    5.3 布尔逻辑的科学哲学取向
        5.3.1 统一、和谐和秩序
        5.3.2 布尔逻辑关于先验性的预设
    5.4 小结
第6章 布尔逻辑思想评价
    6.1 布尔逻辑思想的发展与完善
        6.1.1 布尔逻辑思想的形式逻辑贡献
        6.1.2 耶文斯和文恩对布尔逻辑代数的推进
        6.1.3 施罗德和皮尔斯对布尔逻辑代数思想的完善
    6.2 布尔逻辑思想的当代价值
        6.2.1 现代逻辑视野下布尔逻辑的立场
        6.2.2 布尔与弗雷格的逻辑思想比较
    6.3 布尔逻辑系统中的辩证法思想
    6.4 小结
第7章 总结和展望
    7.1 本文的主要工作和创新之处
    7.2 进一步研究展望
参考文献
致谢
国外人名翻译目录
专业术语译名表
发表论文及参加课题一览表

【相似文献】

相关期刊论文 前10条

1 赵艳芳;;Boolean器件及其在媒体矩阵软件Mware中的应用[J];音响技术;2006年12期

2 刘国汉;布尔逻辑空间与系列机[J];嘉应大学学报;1997年03期

3 徐扬;邹开其;;布尔逻辑公式中文字和小项的可消性[J];西南交通大学学报;1990年01期

4 王春丽;何向东;;布尔逻辑理论中“不可解释的表达式”问题研究[J];湖北大学学报(哲学社会科学版);2020年03期

5 毛燕梅;机检中布尔逻辑算符的应用技巧探讨[J];情报杂志;2001年02期

6 韩琳琳;;论亚里士多德《范畴篇》的逻辑思想[J];哈尔滨学院学报;2019年06期

7 贾亚丽;;布尔逻辑视角下的《海市蜃楼》[J];电影文学;2019年15期

8 张进;布尔逻辑与提问逻辑的差异分析[J];图书情报知识;1992年04期

9 胡怀亮;杨晓军;;弗雷格逻辑思想的来源、内容及面临的困境[J];重庆理工大学学报(社会科学);2011年05期

10 周晓林;论亚里士多德的大逻辑思想[J];苏州铁道师范学院学报(社会科学版);2001年03期

相关博士学位论文 前7条

1 王春丽;布尔逻辑思想研究[D];西南大学;2020年

2 刘飞;刘徽注《九章算术》的逻辑思想研究[D];南京大学;2014年

3 丁万华;亚里士多德幸福思想研究[D];黑龙江大学;2016年

4 李龙海;亚里士多德政治思想研究[D];吉林大学;2011年

5 赵振羽;亚里士多德《诗学》的形而上学解读[D];吉林大学;2013年

6 刘用麟;若干逻辑代数系统结构的研究[D];西安电子科技大学;2005年

7 薄谋;新弗雷格算术的一致性和解释性[D];复旦大学;2011年

相关硕士学位论文 前10条

1 胡思雨;基于互补式忆阻结构的可重构逻辑研究[D];华中科技大学;2019年

2 尹康胜;HfO_x忆阻器的物理机制和状态逻辑实现研究[D];华中科技大学;2019年

3 韩耀东;韩非逻辑思想研究[D];河北大学;2020年

4 黄剑煜;论鲍尔查诺的逻辑思想[D];浙江大学;2018年

5 张潇文;荀子逻辑思想研究[D];河北大学;2018年

6 叶天;梁启超比较逻辑思想探赜[D];南京大学;2012年

7 李春颖;邓析逻辑思想研究[D];燕山大学;2013年

8 陈婷;章太炎与梁启超的逻辑思想及其比较研究[D];南京大学;2013年

9 王宏光;《淮南子》逻辑思想探赜[D];南京大学;2011年

10 马连红;殷海光的逻辑思想研究[D];首都师范大学;2013年

本文编号：2892164