摘要:
目前的非经典逻辑教材多基于哲学逻辑传统,是从自然语言或哲学问题出发将各种非经典逻辑串起来的(例如Priest的那本)。今天看Gabbay的What is a logical system发现,很多非经典逻辑其实是从计算机领域产生的。应该另外有一条线,即以计算机领域的主要问题将非经典逻辑串起来。这样的教材不说更有价值,至少对原来的教材是一个有益的补充。 阅读全文
posted @ 2010-09-17 10:08 ilogic 阅读(197) 评论(0) 推荐(0) 编辑