论莱布尼茨的数理逻辑成就及成因

莱布尼茨是数理逻辑的奠基者和创始人,他提出了建立理性演算和一套普遍科学语言的设想,构造了关于两个概念相结合的演算,并成功地将命题形式表达为符号公式。莱布尼茨取得这些成就绝非偶然,首先传统逻辑为数理逻辑打下了基础;其次,近代数学的发展和莱布尼茨一以贯之的理性演算思想也直接促进了数理逻辑的形成;最后,莱布尼茨的数理逻辑思想是为他的认识论服务的。莱布尼茨将逻辑数学化和对思维进行推演的设想对后世有着极其重要的意义。     

西方《指物论》逻辑研究的历史发展与特点

西方《指物论》研究经历长期的发展,取得了许多重要的成果.早期学者关注的重点主要集中于对《指物论》的译介.随着研究的深入,尤其是具有逻辑学背景的学者的加入,研究的重点逐渐转移到对其中的核心概念"指"以及对整个文本进行哲学层面的解析上来.开展研究所使用的方法,也从最初单一的文本解读,发展到后来的现代逻辑、分析哲学等多种方法.     

再谈罗素摹状词理论

罗素的摹状词理论对20世纪哲学产生了重大影响,同时也遭到了一些哲学家的批评。罗素的摹状词理论解决了不定摹状词的消除、限定摹状词的消除以及限定摹状词初现和次现的区别三大困惑,但罗素的摹状词理论自身也存在一些缺陷,因此受到了哲学界的挑战。罗素摹状词理论的分析方法为分析哲学以及逻辑哲学的研究提供了范式,这种分析的方法为20世纪整个分析哲学的发展提供了生机勃勃的驱动力。     

写真法、写假法探析

写真法和写假法是在真值表方法的基础上构造而成的一种确定真值表所对应的真值形式的方法。借助真值表方法对写真法和写假法的构造过程的合理性、有效性及特点予以探析,进而把写真法、写假法整合为一种新的方法———写真写假法。