您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

符号逻辑讲义

发布时间:2019-06-10 19:02 来源:未知 编辑:admin

  解放军报(首见文革精装合订本,封皮有最高指示)1968年4-12月份,1969年全年,1970年全年,1975年1-6月份,共计13本合售,还有补图

  《符号逻辑讲义》是当代逻辑入门课程的教材,内容大约是.阶逻辑的前部,可作为教科书或参考书,用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生,也可以把它当作课外读物。

  无论在国内还是国外,可用于一阶逻辑课的教材不少,导论性的教材更多;但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容(如完全性定理),其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一,就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材,不能不提一种现象:越来越多的这类教材是由逻辑界之外的人撰写的。有一次,美国哲学界的几位同事谈起部分学生逻辑水平很低,其中一人开玩笑说,那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢?西方人写的逻辑教科书,有的很好,有的也很糟。所以,选用这类教材时要慎重,决不是西方人写的就一定好。

  作为学科和知识体系,当代逻辑并没有理科当代逻辑、上科当代逻辑和文科当代逻辑之分。任何人着想掌握当代逻辑的基础知识,应该学习的决不会比其他学科的人更少。编写《符号逻辑讲义》时,在基本内容的选择上对各学科读者一视同仁,但为了使没经过理论数学的严格训练的人也能学好,在写法上力求从接近直观的东西入手,循序渐进。【 作者简介 】徐明,哲学教授(博士生导师),2004年春季开始在武大哲学系任教。目前主要学术兴趣是在哲学逻辑和形而上学/语言哲学。出版作品包括与N.Belnap和M.Perloff合著的FacingtheFuture:AgentsandChoicesinOurIndeterministWorld(牛津大学出版社,2001年)以及发表在国际学术期刊上的一系列论文。在教学方面,除了逻辑学和哲学的基础课程,主要教授哲学逻辑各分枝和相关的哲学理论。受聘武大前,曾在美国的西弗吉尼亚大学(WestVirginiaUniversity)、匹兹堡大学(UniversityofPittsburgh)和印地安纳大学(IndianaUniversityatBloomington)任过临时教职,还在美国的一家软件公司任职数年。【 目录 】第一章引言

  2.5线联结词的语义解释——基本线公式线若干基本语义概念的线重言蕴涵(重言后承)与重言等值.

http://39-5963.net/gongliyuyi/327.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有