多值逻辑的历史发展与哲学问题探究

发布时间：2018-02-14 22:18

本文关键词： 多值逻辑量子逻辑一元算符逻辑理论非真值函数　出处：《华中科技大学》2014年硕士论文　论文类型：学位论文

【摘要】：经典逻辑又被称为二值逻辑，因为只有真和假（并非真）两个真值。但是经典逻辑似乎无法很好解释必然和偶然问题、语义悖论和量子逻辑等问题，引入第三值从而建立三值逻辑是一种解决方案，三值逻辑中存在的问题还可以通过推广为有穷值的多值逻辑而解决，以至推广为无穷值的多值逻辑以解释更多的逻辑问题。本文分为三部分，从逻辑可修正的思想和一元算符逻辑理论两个角度对多值逻辑进行分析。第一章是对多值逻辑的概括，，首先，介绍了多值逻辑在整个逻辑学中的地位，他属于非经典逻辑中的变异逻辑；之后，梳理了多值逻辑发展的主体脉络，分为思想萌芽阶段和建立发展阶段，最后，概括了多值逻辑中的一些基础知识。第二章和第三章是这篇文章主体，因为无论支持还是反对多值逻辑都要以理解多值逻辑为基础。根据逻辑可修正的思想，介绍了多值逻辑中最基础的卢卡西维茨和波斯特的逻辑系统，还有重要的无意义多值逻辑和三值量子逻辑。主要阐述了它们建立的原因、真值集、关联词以及系统中的定理等方面，并与经典逻辑进行对比，理解它们之间的矛盾和相通性。第四章是这篇论文的关键，也是这篇论文的创新之处。以狭义函数相对论为基础，尝试用一元算符逻辑统摄部分多值逻辑。
[Abstract]:Classical logic is also called binary logic, because there are only true and false (not true) true values. But classical logic does not seem to explain the problems of necessity and chance, semantic paradox and quantum logic, etc. It is a solution to introduce the third value to establish the ternary logic. The problems existing in the ternary logic can be solved by generalizing to the multi-valued logic with finite value, or even by generalizing the multi-valued logic with infinite value to explain more logical problems. This paper is divided into three parts. It analyzes the multi-valued logic from two angles: the idea of logic modifiability and the logic theory of univariate operator. The first chapter is the summary of multi-valued logic. Firstly, it introduces the status of multi-valued logic in the whole logic, it belongs to the variant logic of non-classical logic, and then combs the main thread of the development of multi-valued logic. At last, some basic knowledge in multivalued logic is summarized. Chapters 2 and 3 are the subject of this article, because both support and opposition to multivalued logic are based on understanding multivalued logic. This paper introduces the basic logic systems of Lukassiwitz and Post in multivalued logic, as well as important multivalued logic and ternary quantum logic. The correlation words and the theorems in the system are compared with the classical logic to understand the contradictions and similarities between them. Chapter 4th is the key of this paper and the innovation of this paper. Based on the theory of special function relativity, this paper attempts to use one-element operator logic to control some multi-valued logic.
【学位授予单位】：华中科技大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：B815.2

【相似文献】