Jaśkowski and the Jains

IF 0.6 3区数学 Q2 LOGIC

Studia Logica Pub Date : 2024-03-13 DOI:10.1007/s11225-024-10096-3

Graham Priest

引用次数: 0

Abstract

In 1948 Jaśkowski introduced the first discussive logic. The main technical idea was to take what holds to be what is true at some possible world. Some 2,000 years earlier, Jain philosophers had advocated a similar idea, in their doctrine of syādvāda. Of course, these philosophers had no knowledge of contemporary logical notions; but the techniques pioneered by Jaśkowski can be deployed to make the Jain ideas mathematically precise. Moreover, Jain ideas suggest a new family of many-valued discussive logics. In this paper, I will explain all these matters.

查看原文本刊更多论文

雅斯科夫斯基和耆那教徒

1948 年，雅斯科夫斯基提出了第一个讨论式逻辑。其主要技术思想是，在某个可能的世界中，所持的东西就是真实的东西。大约 2000 年前，耆那教哲学家在他们的 syādvāda 学说中就提出了类似的观点。当然，这些哲学家并不了解当代的逻辑概念；但雅斯科夫斯基开创的技术可以使耆那教思想在数学上更加精确。此外，耆那教思想还提出了一个多值讨论逻辑的新家族。在本文中，我将解释所有这些问题。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

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.