哲学逻辑学理论.pptVIP

Logic In Eyes Of Aristotle --- A discussion Wang Wenjun Oct. 23rd, 2008 逻辑之基本论述和概念： 　　逻辑是跨越各种变换而保持某些命题的特性的系统。在经典逻辑中，这个特性是“真实性”: 在有效的论证中，推导出来的命题的真实性由应用保持这个特性的有效步骤来保证。但是，在其它逻辑属性里，这个特性不是必须是“真实性”，可以是其它特性。例如“证实性”． 哲学逻辑： 　　哲学逻辑是对逻辑更特定于哲学的方面的研究。这个术语相对于数理逻辑，数理逻辑已经包含了传统上一般由逻辑处理的大多数主题。其概念包括引用、论断和真理、同一和定义、否定、量化、存在性和必然性、内涵和外延。 　　哲学逻辑不关心与思维、情感、想象和类似事物相关的心理过程。它只关心有能力为真和假的实体 ： 例如思维、句子和命题。尽管在这个范围内，它还感兴趣于心灵哲学和语言哲学。 经典逻辑，模糊逻辑与多值逻辑： 在经典逻辑的二值方案中，真和假是确定性的值: 命题要么是真要么是假(互斥的)，并且如果命题没有其中一个值，则根据定义它必定有另一个值。这个理由就是排中律: P ∨ ?P ．也就是说，命题或它的否定总有一个成立。 模糊逻辑是由卢菲特·泽德作为对模糊性的形式化而介入的；模糊就是谓词可以非绝对性的应用于物体的现象，但是有一个特定的程度，并且可以有边界状况：假　，０～１，真 多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，但是二值只有一个可以被指派的可能的真值范围，多值逻辑已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。 “明日有海战 ．” 波兰逻辑学家和哲学家扬·卢卡谢维奇(Jan ?ukasiewicz)在1920年开始建立的多值逻辑系统，使用第三值“可能”来处理亚里士多德的海战悖论 ． Formal Logic by Aristotle: Aristotle invented formal logic. He considered logic to be the instrument (organon: Aristotle’s collection of 6 works on logic which are known as Categories, Prior Analytics, De Interpretatione, Posterior Analytics, Sophistical Refutations, and Topics. ) with which to formulate language properly when analyzing what science involves. Aristotle developed his notion of the categories, which explains how we think about things. Whenever we think of a distinct subject matter, we think of a subject and its predicates--- that is, of some substance and its accidents. And Aristotle says that there are about nine categories (that is, Predicates) that can be connected with a substance. 9 Categories of A Substance: Quantity (In Philosophy, quantity is the characteristic of a proposition dependent on whether it is a universal or particular statement, considering all or only part of a class ) Quality (quality is the characteristic of a proposition that is dependent on whether it is affirmative or negative ) Relation (an association between ordered pairs of objects, numbers, etc ) Place (A particular position or rank in a sequence or order )