若泽·萨吉略。 哲学家科克兰。 （英语） Zbl 1165.03302号 马丁内斯（Martínez，Concha（ed.）等人，《逻辑和分析哲学的当前主题》/Temas actuales de lógica y filosofía analytica。2001年至2005年，西班牙圣地亚哥·德孔波斯特拉，逻辑与分析哲学学术讨论会论文。圣地亚哥-德孔波斯特拉：圣地亚哥大学（ISBN 978-84-9750-811-7/pbk）。圣地亚哥-德孔波斯特拉大学大会167247-269（2007年）。 概述：约翰·科克伦（John Corcoran）将逻辑视为形式认识论的概念调和了人文主义和科学气质。它同样基于人文-政治信仰-知识区分和科学-基督教真理-知识区分。本文通过关注科克兰的一些特色主题来审视其逻辑哲学：逻辑与伦理学：逻辑必须批判性地引导人类理解知识，避免教条，并帮助拓展我们的智力潜能。证明的理论与实践：逻辑理论始于对证明的一般概念的研究和对指称的具体证明的研究。它迅速转向形式认知学，即研究确定一个给定结论是否符合给定前提的方法。逻辑及其历史：他表明，对现代数学逻辑的批判性理解是通过反思其创造者面临的问题以及衡量这些问题的开放程度来促进的。数学逻辑是工具性的：数学逻辑提供推理的数学模型，类似于自然科学家为物理、化学或生物研究目的而开发的模型。逻辑和论证：围绕作为演绎的一个亚种的证明这一中心概念，对逻辑的正确理解是在类论证中形成的。信息论逻辑：论证的研究是基于结论和前提集之间逻辑结果的先验建立关系，或前提-结论论证的有效性。科克兰发展了一种直觉，认为逻辑结果是基于命题的信息控制。关于整个系列，请参见[Zbl 1155.03002号]. MSC公司： 03-03 数学逻辑和基础的历史 01A60型 20世纪数学史 01A70号 传记、讣告、个人信息、参考书目 03A05号 逻辑和基础的哲学和批判性方面 关键词：知识;信仰;客观性;信息;科克兰;认识论;逻辑哲学;证明的概念;形式认识论;论证;逻辑结果 传记参考： 约翰·科科兰 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Sagüillo}，in：逻辑和分析哲学的当前主题/Temas actuales de lógica y filosofía analytica。《逻辑与分析哲学座谈会论文》，圣地亚哥·德·孔波斯特拉，西班牙，2001-2005年。圣地亚哥-德孔波斯特拉大学。247--269（2007；Zbl 1165.03302）