证明与反驳:数学发现的逻辑

;

副标题：无;

作者: 伊姆雷·拉卡托斯;

内容简介：

​

作者简介
拉卡托斯（Imre Lakatos, 1922—1974），英籍匈牙利人，出身于匈牙利的一个犹太人家庭，是20世纪著名的数学哲学家、科学哲学家，也是现代科学哲学历史学派的主要代表之一。二战期间是积极的共产党人，1950年至1953年以修正主义者之名被监禁。1956年苏联出兵匈牙利后，流亡到英国，继续求学，获剑桥大学哲学博士学位，后入英国籍。从20世纪60年代初起到去世为止，一直在伦敦经济学院任教，与波普（Karl Popper）和沃特金斯（John Watkins）共事，继波普任科学方法、逻辑学和哲学系主任，并任《科学哲学》杂志主编。主要著作有《科学研究纲领方法论》、《数学、科学与认识论》、《证明与反驳》。

译者简介
方刚，博士，副教授，现任教于中国科学技术大学科技传播系。
兰钊，中国科学技术大学理学学士，目前正于美国伊利诺大学芝加哥分校（University of Illinois at Chicago）攻读博士学位。

目录预览：

​ 证明与反驳:数学发现的逻辑
目录
作者/译者简介
扉页
版权页
内容提要
编者前言
致谢
作者引言
第1章
1．一个问题与一个猜想
2．一个证明
3．用局部而非全局的反例对证明的批评
4．全局的反例对猜想的批评
（a）猜想之拒斥。让步法
（b）反例之拒斥。怪物排除法
（c）以例外排除法改进猜想。逐步排除。策略性撤退或稳扎稳打
（d）怪物校正法
（e）以引理并入法改进猜想。证明生成的定理VS.素朴的猜想
5．全局而非局部的反例对证明分析的批评。严格性的问题
（a）守御定理的怪物排除
（b）隐藏引理
（c）一证多驳法
（d）证明VS.证明分析。定理概念与证明分析之严格性概念的相对化
6．再论局部而非全局的反例对证明的批评。内容问题
（a）以更深入的证明扩增内容
（b）向最终证明与相应的充分必要条件进军
（c）不同证明得出不同定理
7．重谈内容问题
（a）素朴猜想的素朴性
（b）作为多证多驳法之基础的归纳
（c）演绎的猜测VS.素朴的猜测
（d）以演绎猜测扩增内容
（e）逻辑的反例VS.探试的反例
8．概念的形成
........