Some results on Jaśkowski’s discursive logic

Jaśkowski [3] presented a new propositional calculus labeled “discussive propositional calculus”, to serve as an underlying basis for inconsistent but non-trivial theories. This system was later extended to lower andhigher order predicate calculus . Jaśkowski’s system of discussiveor discursive propositional calculus can actually be extended to predicatecalculus in at least two ways. We have the intention using this calculus ofbuilding later as a basis for a discussive theory of sets. One way is thatstudied by Da Costa and Dubikajtis. Another one is developed in this paperas a solution to a problem formulated by Da Costa. In this work we study afirst order discussive predicate calculus J∗∗.The paper consists of three parts. In the first part we introduce thecalculus J∗∗ and, following Prof. D. Makinson’s suggestion, we show that itis not identical with the predicate calculus [2] of Da Costa and Dubikajtis.An axiomatization of J∗∗ is presented. In the second one, we introduce newdiscussive connectives and study some of the properties. We observe thatthe usual Kripke semantics can be adapted to the calculus J∗∗
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2004
DOI 10.12775/LLP.2001.002
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,206
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Quasi-Discursive System $ND_2^+$.Janusz Ciuciura - 2006 - Notre Dame Journal of Formal Logic 47 (3):371-384.
The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
Non-Adjunctive Inference and Classical Modalities.Horacio Arló Costa - 2005 - Journal of Philosophical Logic 34 (5/6):581 - 605.
Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.


Added to PP index

Total views
27 ( #341,881 of 2,285,634 )

Recent downloads (6 months)
10 ( #91,276 of 2,285,634 )

How can I increase my downloads?


My notes

Sign in to use this feature