Inferential paraconsistency
DOI:
https://doi.org/10.12775/LLP.2000.005Abstract
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.References
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.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 580
Number of citations: 0