逻辑与演绎科学方法论导论
〔波兰〕塔尔斯基(Tarski.A.)
《逻辑与演绎科学方法论导论》是我的《论数理逻辑和演绎方法》(该书1936年最初用波兰文出版,又于1937年出版了确切的德文译本,书名是:《数理逻辑和数学方法论导论》)一书部分修正了的和扩充了的版本。最初写《逻辑与演绎科学方法论导论》,是企图把它当作一本通俗的科学著作;其目的是向受过相当教育的普通读者提供一一用把科学的严格性和最大的可理解性结合起来的方式一一集中于现代逻辑的强大的现代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是,在现阶段它却具有远?广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外,它有助于使演绎方法完全化和敏锐化,这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法,而且,的确,它至少在一切智力活动的领域内,是从被公认的假设中推导出结论来的必不可少的补助的工具。