现代逻辑学讲义

《模态来自逻辑》:模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑友想学专业的基础课之一。本讲义介绍了句子层次上(命题型的)模态逻辑最基本的内容。

版权信息

　　书名: 现代逻辑学讲义

　　作者:李小五

　　出版社: 中山大学

　　出版陵享捆兵时间: 2006

　　ISBN: 9787306025883

　　开本: 16

　　定价: 35.00 元

　　本讲义内容多，知识面广，定理定义表达严谨，例题习题丰富，可作为高等学校逻来自辑学专业本科生、研究生教材使用。

　　《数理逻辑》:数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学专业最重要的基础课。

　　数理逻辑360百科分两大部分:句子逻辑和量化逻辑。本讲义介绍句子逻辑的基湖声离汽口见况迫夜副也本内容和量化逻辑的基础含肥远含--一阶逻辑的基本内容。

　　本讲义内容丰富，知识面广，表达严谨，习题例埋重删题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。

　　李小五，男，1955年1月生于浙江湖州。

　　1980-1984年在北京来自大学哲学系念哲学本科，1986-1989年在北京大学哲学系攻读逻辑学硕士学位，1989年获硕士学位。

　　1992年从国防大学调入中国社会科学院所逻辑研究室，2000年10月在中国社360百科会科学院聘为研究员。2002年8月作为引进人才调入迎嘱再中却划湖吧支属情山大学哲学系逻辑与认知方移行值溶云植当货研究所。

　　主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》(上、下卷)、《条件句逻辑》。还发表多篇论文、多部合著和一部译著。

　　现任中山大学教授和博士生导师、北京中心客座研究员。