Scholarlink

<p>The development of logic has largely been through the <i>deductive</i> paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both human and machine reasoning is typically through the dual <i>reductive</i> perspective: collections of sufficient premisses are generated from putative conclusions. We call this paradigm, <i>reductive logic</i>. This expression of logic encompass as diverse reasoning activities as proving a formula in a formal system to seeking to meet a friend before noon on Saturday. This paper is a semantical analysis of reductive logic. In particular, we provide mathematical foundations for representing and reasoning about <i>reduction operators</i>. Heuristically, reduction operators may be thought of as ‘backwards’ inference rules. In this paper, we address their mathematical representation, how they are used in the context of reductive reasoning, and, crucially, what makes them <i>valid</i>.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Semantic Foundations of Reductive Reasoning

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年5月20日

查看全文
  • Alexander V. Gheorghiu,
  • David J. Pym

摘要

The development of logic has largely been through the deductive paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both human and machine reasoning is typically through the dual reductive perspective: collections of sufficient premisses are generated from putative conclusions. We call this paradigm, reductive logic. This expression of logic encompass as diverse reasoning activities as proving a formula in a formal system to seeking to meet a friend before noon on Saturday. This paper is a semantical analysis of reductive logic. In particular, we provide mathematical foundations for representing and reasoning about reduction operators. Heuristically, reduction operators may be thought of as ‘backwards’ inference rules. In this paper, we address their mathematical representation, how they are used in the context of reductive reasoning, and, crucially, what makes them valid.