2025-03-07 Click(0)

In 1948 Jaskowski 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 syadvada. Of