论伍德拉夫的建构式废话逻辑

IF 0.6 3区数学 Q2 LOGIC

Studia Logica Pub Date : 2024-01-22 DOI:10.1007/s11225-023-10092-z

Jonas R. B. Arenhart, Hitoshi Omori

{"title":"论伍德拉夫的建构式废话逻辑","authors":"Jonas R. B. Arenhart, Hitoshi Omori","doi":"10.1007/s11225-023-10092-z","DOIUrl":null,"url":null,"abstract":"<p>Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"116 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On Woodruff’s Constructive Nonsense Logic\",\"authors\":\"Jonas R. B. Arenhart, Hitoshi Omori\",\"doi\":\"10.1007/s11225-023-10092-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger.</p>\",\"PeriodicalId\":48979,\"journal\":{\"name\":\"Studia Logica\",\"volume\":\"116 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-01-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Studia Logica\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s11225-023-10092-z\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Studia Logica","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11225-023-10092-z","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

索伦-哈尔登（Sören Halldén）的无意义逻辑是文献中最著名的多值逻辑之一。在本文中，我们将讨论彼得-伍德鲁夫（Peter Woodruff）在建构主义逻辑基础之上推进这一逻辑版本的尝试。我们首先回顾伍德鲁夫系统的基本原理，并介绍其一些显著特点。在为这些困难提供可能的解决方案的过程中，我们讨论了伍德拉夫体系与汉斯-赫茨伯格（Hans Herzberger）提出的多值逻辑二维语义学之间的关系。

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

查看原文本刊更多论文

On Woodruff’s Constructive Nonsense Logic

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger.

求助全文

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

来源期刊

Studia Logica MATHEMATICS-LOGIC

CiteScore

1.70

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.