• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>History and Philosophy of Logic >Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
【24h】

Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence

机译：逻辑后果的方法论实践和互补概念：塔斯基模型理论后果和柯可兰信息理论后果

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they 'say' something), and they have subject matter (they are 'about' something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge.
机译：本文讨论了逻辑结果的两个共同扩展概念，这两个概念在为前提-结论参数建立有效性和无效性的两个基本逻辑实践中是不明确的。论证的前提和结论具有信息内容（它们“说”某物），并且具有主题（它们“关于”某物）。长期以来，建立有效性和建立无效性之间的不对称性一直被注意到：有效性是通过信息处理过程来建立的，该过程展示了从前提集中逐步推论得出的结论。通过展示满足前提而非结论的对策来建立无效性。建立有效性的过程着眼于信息内容；建立无效的过程着眼于主题。柯克伦关于逻辑结果的信息理论概念与前者相对应。塔斯基在1936年著名的无反模型定义中提出的逻辑结果的模型理论概念与后者相对应。发现两者对于理解演绎方法的原理都是必不可少的，并且彼此互补。这项研究讨论了逻辑结果性质的本体论问题，以及这两个概念的实际应用所预设的人类能力的认识论问题，因为这两个概念使人类知识的有效性和无效性容易获得。

著录项

  • 来源
    《History and Philosophy of Logic》 |2009年第1期|21-48|共28页
  • 作者

    Jos M. Sagillo;

  • 作者单位

    Department of Logic and Moral Philosophy, University of Santiago de Compostela, Santiago de Compostela, Spain;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号