On the Polish “Via Modalization” Approach to Paraconsistency

• Authors: Nicolás-Francisco Ricardo Arturo
• Languages of publication: EN

Abstracts

EN

In this paper, I survey the history of the Polish tradition of paraconsistency and its chronological development. I outline the features of this tradition to provide some insights into the more general notion of philosophical schools. The main features of the Polish tradition of paraconsistency are the continuation of research on a previous philosophical tradition and international collaboration.

Keywords

EN

Polish tradition; discussive logic; paraconsistent; modal logic; inconsistency

• Publisher: University of Warsaw, Institute of Philosophy
• Journal: Edukacja Filozoficzna
• Year: 2022
• Issue: 74
• Pages: 161-182

Contributors

author

Nicolás-Francisco Ricardo Arturo

References

• Achtelik G., Dubikajtis L., Dudek E., Konior J., On Independence of Axioms in Jaśkowski Discussive Propositional Calculus, “Reports on Mathematical Logic” 1981, Vol. 11, pp. 3–11.
• Alves E.H., Consalvo A.E., Contribuiões do Professor Lafayette de Moraes para o Desenvolvimiento da Lógica Matemática no Brasil (Contributions by Professor Lafayette de Moraes to the Development of Mathematical Logic in Brazil), “Cognitio” 2009, Vol. 10, No. 2, pp. 185–190.
• Arruda A.I., Aspects of the Historical Development of Paraconsistent Logic, in: Paraconsistent Logic: Essays on the Inconsistent, eds. G. Priest, R. Routley, J. Norman, Philosophia Verlag, München–Hamden–Wien 1989, pp. 99–130.
• Béziau J.-Y., The Paraconsistent Logic Z: A Possible Solution to Jaśkowski’s Problem, “Logic and Logical Philosophy” 2006, Vol. 15, No. 2, pp. 99–111.
• Błaszczuk J.J., Some Paraconsistent Sentential Calculi, “Studia Logica” 1984, Vol. 43, pp. 51–61.
• Błaszczuk J.J., Dziobiak W., An Axiomatization of Mn-Counterparts for Some Modal Logics, “Reports on Mathematical Logic” 1976, Vol. 6, pp. 3–6.
• Błaszczuk J.J., Dziobiak W., Modal Logics Connected with Systems S4n of Sobociński, “Studia Logica” 1977, Vol. 36, pp. 151–164.
• Ciuciura J., Algebraization of Jaśkowski’s Paraconsistent Logic D2, “Studies in Logic, Grammar and Rhetoric” 2015, Vol. 42, No. 1, pp. 173–193.
• Ciuciura J., Frontiers of the Discursive Logic, “Bulletin of the Section of Logic” 2008, Vol. 37, No. 2, pp. 81–92.
• Ciuciura J., History and Development of the Discursive Logic, “Logica Trianguli” 1999, Vol. 3, pp. 3–31.
• Ciuciura J., On the da Costa, Dubikajtis and Kotas’ System of Discursive Logic, D*2, “Logic and Logical Philosophy” 2005, Vol. 14, pp. 235–252.
• Ciuciura J., A Quasi-Discursive System ND2+, “Notre Dame Journal of Formal Logic” 2006, Vol. 47, No. 3, pp. 371–384.
• da Costa N.C.A., Doria F., On Jaśkowski’s Discussive Logics,“Studia Logica” 1995, Vol. 54, No. 1, pp. 33–60.
• da Costa N.C.A., Dubikajtis L., On Jaśkowski’s Discussive Logic, in: Non-Classical Logics, Model Theory and Computability: Proceedings of the Third LatinAmerican Symposium on Mathematical Logic, Campinas, Brazil, July 11–17, 1976, eds. A. Arruda, N.C.A. da Costa, R. Chuaqui, North-Holland Publishing Company, Amsterdam–New York–Oxford 1977, pp. 37–56.
• da Costa N.C.A., Dubikajtis L., Sur la logique discursive de Jaśkowski, “Bulletin de L’Académie Polonaise des Sciences” 1968, Vol. 16, No. 7, pp. 551–557.
• de Moraes L., On Discussive Set Theory, “Bulletin of the Section of Logic” 1985, Vol. 14, No. 4, pp. 144–148.
• de Moraes L., Sobre a lógica discursiva de Jaśkowski, master’s thesis, University of São Paulo, 1970.
• de Moraes L., Abe J.M., Some Results on Jaśkowski’s Discursive Logic, “Logic and Logical Philosophy” 2001, Vol. 9, pp. 25–33.
• D’Ottaviano I.M.L., da Costa N.C.A., Sur un problème de Jaśkowski, “Comptes Rendus de l’Académie des Sciences” 1970, Vol. 270, pp. 1349–1353.
• D’Ottaviano I.M.L., Gomes E.L., Gerland’s Dialectica and Paraconsistency, “Edukacja Filozoficzna” 2021, Vol. 70, pp. 143–170.
• D’Ottaviano I.M.L., Hifume C., Peircean Pragmatic Truth and da Costa’s Quasi-Truth, “Studies in Computational Intelligence (SCI)” 2007,Vol. 64, pp. 383–398.
• Dubikajtis L., The Life and Works of Stanisław Jaśkowski, “Studia Logica” 1975, Vol. 34, No. 2, pp. 109–116.
• Dubikajtis L., Dudek E., Konior J., On Axiomatics of Jaśkowski’s Discussive Propositional Calculus, in: Proceedings of the Third Brazilian Conference on Mathematical Logic, eds. A.I. Arruda, N.C.A. da Costa, A.M. Sette, Sociedade Brasileira de Lógica, São Paulo 1980, pp. 109–117.
• Furmanowski T., Remarks on Discussive Propositional Calculus, “Bulletin of the Section of Logic” 1975, Vol. 4, No. 1, pp. 33–36.
• Gentzen G., Untersuchungen über das logische Schlieβen. I & II, “Mathematische Zeitschrift” 1934, Vol. 39, pp. 176–210.
• Indrzejczak A., Powstanie i ewolucja dedukcji naturalnej, “Filozofia Nauki” 2014, Vol. 22, No. 2, pp. 5–19.
• Jaśkowski S., Elementy logiki matematycznej i metodologii nauk ścisłych, ed. A. Indrzejczak, Wydawnictwo Uniwersytetu Łódzkiego, Łódz 2018.
• Jaśkowski S., O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych, “Studia Societatis Scientiarum Torunensis” 1949, Vol. 1, No. 8, pp. 171–172.
• Jaśkowski S., On the Rules of Suppositions in Formal Logic, Seminarjum Filozoficzne Wydziału Matematyczno-Przyrodniczego Uniwersystetu Warszawskiego, Warszawa 1934.
• Jaśkowski S., A Propositional Calculus for Inconsistent Deductive Systems, “Logic and Logical Philosophy” 2004, Vol. 7, pp. 35–56.
• Jaśkowski S., Rachunek zdań dla systemów dedukcyjnych sprzecznych, “Studia Societatis Scientiarum Torunensis” 1948, Vol. 1, No. 5, pp. 55–77.
• Kotas J., The Axiomatization of Stanisław Jaśkowski’s Discussive System, “Studia Logica” 1974, Vol. 33, No. 2, pp. 195–200.
• Kotas J., Discussive Sentential Calculus of Jaśkowski, “Studia Logica” 1975, Vol. 34, No. 2, pp. 149–168.
• Kotas J., On Quantity of Logical Values in the Discussive D2 System and in Modular Logic, “Studia Logica” 1974, Vol. 33, No. 3, pp. 273–275.
• Kotas J., On the Algebra of Classes of Formulae of Jaśkowski’s Discussive System, “Studia Logica” 1971, Vol. 27, pp. 81–91.
• Kotas J., da Costa N.C.A., A New Formulation of Discussive Logic, “Studia Logica” 1979, Vol. 38, No. 4, pp. 429–445.
• Kotas J., da Costa N.C.A., On Some Modal Logical Systems Defined in Connexion with Jaśkowski’s Problem, in: Non-Classical Logics, Model Theory and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11–17, 1976, eds. A. Arruda, N.C.A. da Costa, R. Chuaqui, North-Holland Publishing Company, Amsterdam–New York-Oxford 1977, pp. 57–73.
• Kotas J., da Costa N.C.A., On the Problem of Jaśkowski and the Logics of Łukasiewicz, in: Proceedings of the First Brazilian Conference, eds. A.I. Arruda et al., Marcel Dekker, New York 1978, pp. 127–139.
• Kotas J., da Costa N.C.A., Problems of Modal and Discussive Logics, in: Paraconsistent Logic: Essays on the Inconsistent, eds. G. Priest, R. Routley, J. Norman, Philosophia Verlag, München–Hamden–Wien 1989, pp. 227–244.
• Kotas J., Pieczkowski A., Scientific Works of Stanisław Jaśkowski, “Studia Logica” 1967, Vol. 21, pp. 7–15.
• Łukasiewicz J., O zasadzie sprzeczności u Arystotelesa, Akademia Umiejętności, Fundusz Wydawniczy im. W. Osławskiego, Kraków 1910.
• Marcos J., Nearly Every Normal Modal Logic Is Paranormal, “Logique & Analyse” 2005, Vol. 48, No. 189/192, pp. 279–300.
• Meheus J., An Adaptive Logic Based on Jaśkowski’s Approach to Paraconsistency, “Journal of Philosophical Logic” 2006, Vol. 35, No. 6, pp. 539–567.
• Meheus J., Discussive Adaptive Logics: Handling Internal and External Inconsistencies, in: Essays in Logic and Ontology, eds. J. Malinowski, A. Pietruszczak, Rodopi, Amsterdam–New York 2007, pp. 211–223.
• Mruczek-Nasieniewska K., Nasieniewski M., Béziau’s Logics Obtained by Means of Quasi-Regular Logics, “Bulletin of the Section of Logic” 2009, Vol. 38, pp. 189–203.
• Mruczek-Nasieniewska K., Nasieniewski M., A Characterization of Some Z-Like Logics, “Logica Universalis” 2018, Vol. 12, https://doi.org/10.1007/s11787-018-0184-9.
• Mruczek-Nasieniewska K., Nasieniewski M., A Kotas-Style Characterization of
• Minimal Discussive Logic, “Axioms” 2019, Vol. 8, No. 4, https://doi.org/10.3390/axioms8040108.
• Mruczek-Nasieniewska K., Nasieniewski M., Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2, “Bulletin of the Section of Logic” 2017, Vol. 46, pp. 261–280.
• Mruczek-Nasieniewska K., Nasieniewski M., On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-Regular Logics, “Studia Logica” 2020, Vol. 108, pp. 1087–1123.
• Mruczek-Nasieniewska K., Nasieniewski M., Paraconsistent Logics Obtained by J.-Y. Béziau’s Method by Means of Some Non-Normal Modal Logics, “Bulletin of the Section of Logic” 2008, Vol. 37, pp. 185–196.
• Mruczek-Nasieniewska K., Nasieniewski M., Syntactical and Semantical Characterization of a Class of Paraconsistent Logics, “Bulletin of the Section of Logic” 2005, Vol. 34, No. 4, pp. 229–248.
• Mruczek-Nasieniewska K., Nasieniewski M., Pietruszczak A., A Modal Extension of Jaśkowski’s Discussive Logic D2, “Logic Journal of the IGPL” 2019, Vol. 27, pp. 451–477.
• Nasieniewski M., A Comparison of Two Approaches to Paraconsistency: Flemish and Polish, “Logic and Logical Philosophy” 2001, Vol. 9, pp. 47–74.
• Nasieniewski M., Pietruszczak A., Axiomatization of Minimal Modal Logics Defining Jaśkowski’s-Like Discussive Logics, in: Trends in Logic XIII: Gentzen’s and Jaśkowski’s Heritage. 80 Years of Natural Deduction and Sequent Calculi, eds. A. Indrzejczak, J. Kaczmarek, M. Zawidzki, Wydawnictwo Uniwersytetu Łódzkiego, Łódz 2014, pp. 149–163.
• Nasieniewski M., Pietruszczak A., A Method of Generating Modal Logics Defining Jaśkowski’s Discussive Logic D2, “Studia Logica” 2011, Vol. 97, pp. 161–182.
• Nasieniewski M., Pietruszczak A., On Modal Logics Defining Jaśkowski’s D2-Consequence, in: Paraconsistency: Logic and Applications, eds. K. Tanaka, F. Berto,
• E. Mares, F. Paoli, Springer, Dordrecht 2013, pp. 141–160.
• Nasieniewski M., Pietruszczak A., On the Weakest Modal Logics Defining Jaśkowski’s Logic D2 and the D2-Consequence, “Bulletin of the Section of Logic” 2012, Vol. 41, pp. 215–232.
• Nasieniewski M., Pietruszczak A., The Weakest Regular Modal Logic Defining Jaśkowski’s Logic D2 “Bulletin of the Section of Logic” 2008, Vol. 37, pp. 197–210.
• Omori H., Observations on Jaśkowski’s Discussive Logic, in: Proceedings of XI Conference “Smirnov Readings in Logic”, ROIFN, Moscow 2019, pp. 77–79.
• Omori H., Alama J., Axiomatizing Jaśkowski’s Discussive Logic D2, “Studia Logica” 2018, Vol. 106, No. 6, pp. 1163–1180.
• Perzanowski J., On M-Fragments and L-Fragments of Normal Modal Propositional Logics, “Reports on Mathematical Logic” 1975, Vol. 5, pp. 63–72.
• Urchs M., On the Role of Adjunction in Para(In)Consistent Logic, in: Paraconsistency: The Logical Way to the Inconsistent, eds. W.A. Carnielli, M.E. Coniglio, I.M.L. D’Ottaviano, Marcel Dekker, New York–Basel 2002, pp. 487–499.
• Urchs M., On Two Systems of Stanisław Jaśkowski, “The Journal of Non-Classical Logic” 1986, Vol. 3, No. 1, pp. 25–32.
• Woleński J., Lvov-Warsaw School, in: The Stanford Encyclopedia of Philosophy (Summer 2022 Edition), ed. E.N. Zalta, URL: https://plato.stanford.edu/entries/lvov-warsaw/ (susbstantive revision on 30.09.2019).