不当推理规则的分类

Q2 Arts and Humanities

Bulletin of the Section of Logic Pub Date : 2022-06-23 DOI:10.18778/0138-0680.2022.12

K. Sasaki

{"title":"不当推理规则的分类","authors":"K. Sasaki","doi":"10.18778/0138-0680.2022.12","DOIUrl":null,"url":null,"abstract":"In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference rules.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":" ","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2022-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Classification of Improper Inference Rules\",\"authors\":\"K. Sasaki\",\"doi\":\"10.18778/0138-0680.2022.12\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference rules.\",\"PeriodicalId\":38667,\"journal\":{\"name\":\"Bulletin of the Section of Logic\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the Section of Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.18778/0138-0680.2022.12\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the Section of Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.18778/0138-0680.2022.12","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 0

摘要

在G.Gentzen给出的经典命题逻辑的自然推理系统中，存在一些由规则所释放的假设的推理规则。D.Prawitz称这种推理规则是不恰当的，而不是恰当的。不适当的推理规则比正确的推理规则更复杂，也更难理解。2022年，提供了一个仅基于适当规则应用的后续系统。在本文中，基于我们从2022年开始的系统，我们对不当推理规则进行了分类。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Classification of Improper Inference Rules

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference rules.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Bulletin of the Section of Logic Arts and Humanities-Philosophy

CiteScore

0.90

自引率

0.00%

发文量

审稿时长

8 weeks