论推理

本文对推理和推理形式作了考察，指出推理的基本要素是必然性、相干性和前提的无矛盾性，经典命题逻辑中的某些重言蕴涵式不是一般意义上的有效的推理形式。     

悖论

"悖论"(paradox)一词常见诸报端,其字面意思为"荒谬的理论或自相矛盾的话".从逻辑上看,悖论性的语句具有这样的特征:如果假定这个语句为真,那么会推出这个语句为假;反之,如果假定这个语句为假,又会推出这个语句为真.说它对也不是,不对也不是,真是左右为难.     

逻辑学的历史与现状--兼纪念哥德尔诞辰100周年

在现代汉语中，“逻辑”是一个外来词，由英语“logic”音译而得。这一译名来自于严复。从词源上说，logic来源于古希腊的“逻各斯”（希腊文λσγοζ，英文logos）。“逻各斯”是一个多义词，意为“理性、理念、规律、秩序、言词、谈话”等等。作为一门科学的逻辑学创建于2000多年前的古希腊，它是研究有效推理和论证的学科。