TY - JOUR AU - de Moraes, Lafayette AU - Abe, Jair Minoro PY - 2004/01/19 Y2 - 2024/03/29 TI - Some results on Jaśkowski’s discursive logic JF - Logic and Logical Philosophy JA - LLP VL - 9 IS - 9 SE - Articles DO - 10.12775/LLP.2001.002 UR - https://apcz.umk.pl/LLP/article/view/LLP.2001.002 SP - 25-33 AB - <p>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 and higher order predicate calculus ([1], [2]). Jaśkowski’s system of discussive or discursive propositional calculus can actually be extended to predicate calculus in at least two ways. We have the intention using this calculus of building later as a basis for a discussive theory of sets. One way is that studied by Da Costa and Dubikajtis. Another one is developed in this paper as a solution to a problem formulated by Da Costa. In this work we study a first order discussive predicate calculus J<sup>∗∗</sup> .</p>The paper consists of three parts. In the first part we introduce the calculus J<sup>∗∗</sup> and, following Prof. D. Makinson’s suggestion, we show that it is not identical with the predicate calculus [2] of Da Costa and Dubikajtis. An axiomatization of J<sup>∗∗</sup> is presented. In the second one, we introduce new discussive connectives and study some of the properties. We observe that the usual Kripke semantics can be adapted to the calculus J<sup>∗∗</sup> . ER -