Inferential paraconsistency
DOI:
https://doi.org/10.12775/LLP.2000.005Abstrakt
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.Bibliografia
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.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 387
Liczba cytowań: 0