卡尔·波普(Karl Popper,1902-)是西方当代著名哲学家。主要著作有:《科学发现的逻辑》(“The Logic of Scientific Discovery”,1934) 、《开放社会及其敌人》(“The Open Society and Its Enemies",1945) 、《历史决定论的...卡尔·波普(Karl Popper,1902-)是西方当代著名哲学家。主要著作有:《科学发现的逻辑》(“The Logic of Scientific Discovery”,1934) 、《开放社会及其敌人》(“The Open Society and Its Enemies",1945) 、《历史决定论的贫乏》(“ThePoverty of Historicism”,1957) 、《猜想和反驳》(“Conjectures and Refutatio-ns”,1963) ,《客观知识》(“Objective KnowIedge”,1972) 以及Schilpp展开更多
在演绎逻辑中常常碰到蕴涵(implication)、推导(derivation or entailment)和断定(assertion)这些词。弄清这三者的性质和关连,对演绎逻辑基本原理的理解是很重要的。有些逻辑著作没有明确区分蕴涵和推导,或者把二者混为一谈;另一些逻...在演绎逻辑中常常碰到蕴涵(implication)、推导(derivation or entailment)和断定(assertion)这些词。弄清这三者的性质和关连,对演绎逻辑基本原理的理解是很重要的。有些逻辑著作没有明确区分蕴涵和推导,或者把二者混为一谈;另一些逻辑著作则过份强调蕴涵和推导的区别而没有指出二者的关连。至于断定在其间所起的作用,就更少论及了。本文并非全面论述这三个逻辑术语的含义,而只是针对上述容易忽略的情况,对这三个术语的逻辑的性质、区别和关连提出一些分析,在分析过程中又不免涉及真命题的含义问题。展开更多
文摘卡尔·波普(Karl Popper,1902-)是西方当代著名哲学家。主要著作有:《科学发现的逻辑》(“The Logic of Scientific Discovery”,1934) 、《开放社会及其敌人》(“The Open Society and Its Enemies",1945) 、《历史决定论的贫乏》(“ThePoverty of Historicism”,1957) 、《猜想和反驳》(“Conjectures and Refutatio-ns”,1963) ,《客观知识》(“Objective KnowIedge”,1972) 以及Schilpp
文摘在演绎逻辑中常常碰到蕴涵(implication)、推导(derivation or entailment)和断定(assertion)这些词。弄清这三者的性质和关连,对演绎逻辑基本原理的理解是很重要的。有些逻辑著作没有明确区分蕴涵和推导,或者把二者混为一谈;另一些逻辑著作则过份强调蕴涵和推导的区别而没有指出二者的关连。至于断定在其间所起的作用,就更少论及了。本文并非全面论述这三个逻辑术语的含义,而只是针对上述容易忽略的情况,对这三个术语的逻辑的性质、区别和关连提出一些分析,在分析过程中又不免涉及真命题的含义问题。