《逻辑新引》是一本逻辑启蒙的经典读物。全书就逻辑学的的内容进行对话式问答,就像是课堂实录,没有艰深的语言,面目很亲切。内容是实实在在的干货,从根本上、从学理上讲解逻辑学的知识体系和思考方式。书中针对逻辑学中的每一命题、每一推理,都举有例证,清晰易懂,同时注重严格的推论训练和逻辑的应用功能,使人们对逻辑这门看似枯燥的学问,在清新有趣的例证中得到真正的理解。同时,能够让人们的思维得到训练,养成对是非正误的敏锐判断力,从而更加理性和独立地思考。
柯匹和科恩的《逻辑学导论》,是导论性逻辑教科书中最完满的一部:既有演绎逻辑亦有归纳逻辑,既有古典逻辑亦有现代逻辑。本书是当今逻辑教科书的标准范本,是清晰性与准确性的典范,它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。 书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例,展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用,使逻辑学习既内容充盈又富有生活气息。书中也选用了许多谬误性论证作为例示与辨谬训练资料,以使学生明了对逻辑法则的忽视或误用如何使论证走人误区。书中也有少量论辩推理的例子,这些例子是为说明逻辑原理而特别编制的,但使本书卓尔不凡的,还是那些精心选自许多不同领域文献的丰富多彩的新颖实例。
在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野,直觉主义将无穷问题从本体论转到认识论。 指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。 详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系,指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的对象,从直觉主义角度解决了ω-规则等问题。 从直觉主义数学观、和数学命题的真值性等多角度证明了直觉主义逻辑应该是可构造理论的逻辑,而并非他们自己所宣称的是构造性理论的逻辑,从HQC的不完全语义和完全语义解释证明了HOC事实上是最弱的可构造理论的逻辑。
在本书中,我打算结合我自己对哲学大厦及其众多分殿的构想,来讨论库尔特·哥德尔的哲学观点。我从哥德尔和我之间的实际讨论人手,拓展了“对话”一词的意义,让它包含了两个方面的相互作用:一方面是我持续不断的反思,另一方面是现有的相关文献,有哥德尔自己写的,也有他人谈论哥德尔的。在我自己不断演进的思想框架中,我希望以这种方式达到对哥德尔的生活与思想的融贯一致的理解,同时重组并完成我们之间实际的讨论,引申出它的种种含义。因此,这个方案已明显地融入我自己的思想追求,我一直追索对事物有一种全面的看法。 本书是我的《哥德尔》一书的续篇,那本书于1986年6月完成,1987年出版。旁的内容且不谈,本书的一个企图是比先前那本更明白地展示哥德尔的生活和著作。我起初志在整理我们内容广泛的对话,把我间断混杂的记录
《新逻辑主义哲学》为晚辈学人根据何新先生历年的哲学论著所编撰的简明本,简括了何新对西方哲学及逻辑问题的研究与思考,包含何新的逻辑理论、何新的哲学随想、关于伪希腊哲学的考辩等内容。何新先生的哲学研究涉足了逻辑学中一个崭新的、独特的、至关重要的领域,他希望借由此书能吸引有志于此的后来者,尤其是通晓数理逻辑的后来者,引导他们进入这个领域并且产生莫大的兴趣,以完成他对此逻辑学领域的开拓性工作。
《跟毛泽东学思维》的作者对毛泽东在言论及运用中所体现出来的有关思维指导理论、思维方法、思维原则以至思维策略与技巧进行了梳理,相信对每一个想提高自己思维能力的人都会有所裨益。毛泽东是一位伟大的革命家、政治家、军事家,同时又是伟大的理论家和思想家。这样一位历史伟人,其思维必然有其独到之处。 实际上,毛泽东的思维无论在深度还是广度方面,都是常人难以企及的。他提出的许多超前的远见往往都使人们产生一种石破天惊的感觉,但这些远见都被其后的事实证明是正确的。可以说,用“致广大而尽精微”来描述毛泽东的思维特征是一点也不过分的。而且毛泽东一生都热衷于对思维指导理论、思维方法、思维规律、思维原则以致思维策略等思维方面问题的探究。对于这样一位具有非凡的思维能力和水平而又热衷对于思维问题进行研究
在本书中,我打算结合我自己对哲学大厦及其众多分殿的构想,来讨论库尔特·哥德尔的哲学观点。我从哥德尔和我之间的实际讨论人手,拓展了“对话”一词的意义,让它包含了两个方面的相互作用:一方面是我持续不断的反思,另一方面是现有的相关文献,有哥德尔自己写的,也有他人谈论哥德尔的。在我自己不断演进的思想框架中,我希望以这种方式达到对哥德尔的生活与思想的融贯一致的理解,同时重组并完成我们之间实际的讨论,引申出它的种种含义。因此,这个方案已明显地融入我自己的思想追求,我一直追索对事物有一种全面的看法。 本书是我的《哥德尔》一书的续篇,那本书于1986年6月完成,1987年出版。旁的内容且不谈,本书的一个企图是比先前那本更明白地展示哥德尔的生活和著作。我起初志在整理我们内容广泛的对话,把我间断混杂的记录
在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野,直觉主义将无穷问题从本体论转到认识论。 指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。 详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系,指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的对象,从直觉主义角度解决了ω-规则等问题。 从直觉主义数学观、和数学命题的真值性等多角度证明了直觉主义逻辑应该是可构造理论的逻辑,而并非他们自己所宣称的是构造性理论的逻辑,从HQC的不完全语义和完全语义解释证明了HOC事实上是最弱的可构造理论的逻辑。
本书在借鉴外上归纳逻辑研究成果的基础上,探讨归纳逻辑面向21世纪学术研究的前沿问题。系统阐述了休谟问题和归纳悖论、穆勒五法的条件化,分别论述了归纳逻辑的因果化研究方向和概率化研究方向、贝叶斯确证逻辑的恰当性,贝叶斯统计推理的恰当性、贝叶斯决策理论的恰当性、归纳逻辑在博弈分析和贝叶斯网络中的可应用性等问题。从逻辑、哲学与认知三个方面总结了归纳逻辑发展的趋势和展望了现代归纳逻辑的未来,预测了归纳逻辑进一步发展的方向。
古希腊哲学经过漫长而艰难的跋涉,在自然哲学和精神哲学都已充分展开的基础上,终于在亚里士多德这里达到了一个全面系统的综合,本书讲述的是大师的逻辑学说,现在就让我们一起走进这位哲学大师悉心构筑的理性大厦吧!
《逻辑经验主义的认识论·当代西方科学哲学·归纳逻辑导论》收集了江天骥先生的三部代表作。《逻辑经验主义的认识论》初版于1958年,是那个时代极为罕见的、能对现代西方哲学有准确论述的著作。《当代西方科学哲学》初版于1984年,主要讲解了逻辑经验主义、波普、拉卡托斯、库恩、费耶阿本德的科学哲学。这些是当时西方盛极一时的流派或是最活跃的哲学家。《逻辑经验主义的认识论·当代西方科学哲学·归纳逻辑导论》为当时研究西方科学哲学的之作,至今仍被多所大学哲学系列为研究生教学参考书。《归纳逻辑导论》初版于1987年,以教材的形式编撰,较系统全面地介绍和讲解了当时国外归纳逻辑的基本及主要的成果,直接推动了以后归纳逻辑在中国的发展。
DK《福尔摩斯百科(全彩)》内容简介:是谁引发了“波西米亚丑闻”?“白额闪电”藏在哪里?“巴斯克维尔的猎犬”究竟为何物?本书仿佛放大镜一般,详细探究了福尔摩斯所办的每一起案件,将柯南?道尔笔下具有神奇色彩的大侦探呈献给读者。《福尔摩斯百科》一书富含精美的插图、清晰的图表,以及经典的台词。这是一本的福尔摩斯指南,从《暗红习作》到《肖斯科姆老宅》,涵盖了探案全集中的所有故事,同时介绍了更广泛的背景资料。无论你是次接触福尔摩斯的技能和观察法,还是早已熟知他那无与伦比的演绎法,本书都会激起你无穷无尽的阅读兴趣。 海报:
逻辑哲学就是对于逻辑的哲学反思,它不是哲学的一个分支学科,也不是哲学的一个流派。粗略地讲,逻辑哲学是一些哲学家和逻辑学家对逻辑科学的哲学问题所进行的探讨和发表的一些哲学看法。从国外的文献来看,逻辑哲学究竟包括哪些内容并无定论,大致包括两方面。一是关于逻辑这门科学的一般性哲学问题:逻辑的研究对象、逻辑的范围、逻辑与其他科学的关系等等。二是逻辑研究自身及元逻辑研究中提出的哲学问题:某些逻辑概念的涵义问题、逻辑悖论的处理问题等等。 本书论述的也是这两方面的内容。全书由结论和正文九章共十部分组成,我们选择这些内容主要基于两点考虑。,(鉴于的状况)我们想对逻辑界和哲学界介绍一下现代逻辑的一些最基本的概念和内容,尤其是澄清一些错误的概念和认识,因此在绪论和章等有关章节中加强了对一些主
在本书中,我打算结合我自己对哲学大厦及其众多分殿的构想,来讨论库尔特·哥德尔的哲学观点。我从哥德尔和我之间的实际讨论人手,拓展了“对话”一词的意义,让它包含了两个方面的相互作用:一方面是我持续不断的反思,另一方面是现有的相关文献,有哥德尔自己写的,也有他人谈论哥德尔的。在我自己不断演进的思想框架中,我希望以这种方式达到对哥德尔的生活与思想的融贯一致的理解,同时重组并完成我们之间实际的讨论,引申出它的种种含义。因此,这个方案已明显地融入我自己的思想追求,我一直追索对事物有一种全面的看法。 本书是我的《哥德尔》一书的续篇,那本书于1986年6月完成,1987年出版。旁的内容且不谈,本书的一个企图是比先前那本更明白地展示哥德尔的生活和著作。我起初志在整理我们内容广泛的对话,把我间断混杂的记录
在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野,直觉主义将无穷问题从本体论转到认识论。 指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。 详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系,指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的对象,从直觉主义角度解决了ω-规则等问题。 从直觉主义数学观、和数学命题的真值性等多角度证明了直觉主义逻辑应该是可构造理论的逻辑,而并非他们自己所宣称的是构造性理论的逻辑,从HQC的不完全语义和完全语义解释证明了HOC事实上是最弱的可构造理论的逻辑。