Inferential paraconsistency

Grzegorz Malinowski



The paper aims to show that paraconsistency can be generated outside of a system as a property of the inference. The gist of the proposal is the application of the so-called q-consequence, a special generalisation of Tarski consequence.

Full Text:



da Costa, N.C. A., Alves E.H., Relations between paraconsistent logics and many-valued logic, Bulletin of the Section of Logic, vol. 10, 1981, no. 4, 185–191.

da Costa, N.C.A., Kotas J., On the problem of Jaśkowski and the logics of Łukasiewicz, in: Arruda, A.I., da Costa N.C.A., Chuaqui R., Mathematical Logic. Proceedings of the First Brazilian Conference, Marcel Dekker, New York, 1978, pp. 127–139.

Malinowski, G., Q-consequence operation, Reports on Mathematical Logic, 24, 1990, 49–59.

Malinowski, G., Inferential many-valuedness, in: Woleński, J. (ed.) Philosophical Logic in Poland, Synthese Library, 228, Kluwer Academic Publishers, Dordrecht, 1994, pp. 75–84.

D’Ottaviano, I.M.L., da Costa, N.C.A., Sur un problème de Jaśkowski, Comptes Rendus de l’Academie des Sciences de Paris, 270 A, 1970, 1349–1353.

Priest G., Routley R., Systems of paraconsistent logic, in: Paraconsistent Logic: Essays on the Inconsistent, Philosophia, Munich, 1989, pp. 151–186.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism