Questions to Michael Dunn


Heinrich Wansing
Grigory Olkhovikov
Hitoshi Omori


We present nine questions related to the concept of negation and, in passing, we refer to connections with the essays in this special issue. The questions were submitted to one of the most eminent logicians who contributed to the theory of negation, Prof. (Jon) Michael Dunn, but, unfortunately, Prof. Dunn was no longer able to answer them. Michael Dunn passed away on 5 April 2021, and the present special issue of Logical Investigations is dedicated to his memory. The questions concern (i) negation-related topics that have particularly interested Michael Dunn or to which he has made important contributions, (ii) some controversial aspects of the logical analysis of the concept of negation, or (iii) simply properties of negation in which we are especially interested. Though sadly and regrettably unanswered by the distinguished scholar who intended to reply, the questions remain and might stimulate answers by other logicians and further research.






Anderson and Belnap, 1975 – Anderson, A.R. and Belnap, N.D.Jr. Entailment: The Logic of Relevance and Necessity. Volume I. Princeton: Princeton University Press, 1975.
Arieli et al., 2011 – Arieli, O., Avron, A. and Zamansky, A., “Ideal paraconsistent logics”, Studia Logica, 2011, Vol. 99, pp. 31–60.
Berto, 2015 – Berto, F. “A modality called ‘negation’”, Mind, 2015, Vol. 124, pp. 761–793.
Berto and Restall 2019 – Berto, F. and Restall, G., “Negation on the Australian plan”, Journal of Philosophical Logic, 2019, Vol. 48, No. 6, pp. 1119–1144.
Blasio et al., 2017 – Blasio, C., Marcos, J. and Wansing, H., “An inferentially manyvalued two-dimensional notion of entailment”, Bulletin of the Section of Logic, 2017, Vol. 46, pp. 233–262.
De and Omori, 2018 – De, M. and Omori, H., “There is more to negation than modality”, Journal of Philosophical Logic, 2018, Vol. 47, pp. 281–299.
Drobyshevich, 2019 – Drobyshevich, S., “A bilateral Hilbert-style investigation of 2-intuitionistic logic”, Journal of Logic and Computation, 2019, Vol. 29, No. 5, pp. 665–692.
Dunn, 1999 – Dunn, J.M., “A comparative study of various model-theoretic treatments of negation: a history of formal negation”, What is Negation?, ed. by D. Gabbay and H. Wansing, Dordrecht: Kluwer Academic Publishers, 1999, pp. 23–51.
Dunn, 2000 – Dunn, J.M., “Partiality and its dual”, Studia Logica, 2000, Vol. 66, pp. 5–40.
Dunn, 2019 – Dunn, J.M., “Two, three, four, infinity: The path to the four-valued logic and beyond”, New Essays on Belnap-Dunn Logic, ed. by H. Omori and H. Wansing, Cham: Springer, 2019, pp. 77–97.
Horn and Wansing, 2020 – Horn, L.R. and Wansing, H., “Negation”, The Stanford Encyclopedia of Philosophy, [ entries/negation/], Spring 2020 edition.
Humberstone, 1995 – Humberstone, L., “Negation by iteration”, Theoria, 1995, Vol. 61, pp. 1–24.
Lenzen, 1996 – Lenzen, W., “Necessary conditions for negation operators”, Negation: A Notion in Focus, ed. by H. Wansing. Berlin: Walter de Gruyter, 1996. Malinowski, 1993 – Malinowski, G., Many-valued logics. Oxford: Clarendon Press, 1993.
Malinowski, 1994 – Malinowski, G., “Inferential many-valuedness”, Philosophical Logic in Poland, ed. by J. Wolenski. Dordrecht: Kluwer, 1994, pp. 75–84.
Malinowski, 2009 – Malinowski, G., “Beyond three inferential values”, Studia Logica, 2009, Vol. 92, pp. 203–213.
Marcos, 2005 – Marcos, J., “On negation: Pure local rules”, Journal of Applied Logic, 2005, Vol. 3, pp. 185–219.
Omori and Wansing, 2017 – Omori, H. and Wansing, H., “40 years of FDE: An Introductory Overview”, Studia Logica, 2017, Vol. 105, pp. 1021–1049.
Omori and Wansing, 2018 – Omori, H. and Wansing, H., “On contra-classical variants of Nelson logic N4 and its classical extension”, Review of Symbolic Logic, 2018, Vol. 11, No. 4, pp. 805–820.
Omori and Wansing, 2019 – Omori, H. and Wansing, H., “Connexive logics: An overview and current trends”, Logic and Logical Philosophy, 2019, Vol. 28, pp. 371–387.
Paoli, 2019 – Paoli, F., “Bilattice logics and demi-negation”, New Essays on BelnapDunn Logic, ed. by H. Omori and H. Wansing. Cham: Springer, 2019, pp. 223–243.
Popper, 1962 – Popper, K., Conjectures and Refutations. The Growth of Scientific Knowledge, London: Routledge, 1962.
Priest, 1999 – Priest, G., “Negation as Cancellation and Connexive Logic”, Topoi, 1999, Vol. 18, No. 2, pp. 141–148.
Routley and Routley, 1985 – Routley, R. and and Routley, V., “Negation and contradiction”, Revista Colombiana de Matem´aticas, 1985, Vol. 19, No. 4, pp. 201–230.
Wagner, 1991 – Wagner, G., “Ex contradictione nihil sequitur”, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Volume 1, IJCAI91. Morgan Kaufmann Publishers Inc., San Francisco, 1991, pp. 538–543.
Wansing, 2013 – Wansing, H., “Falsification, natural deduction, and bi-intuitionistic logic”, Journal of Logic and Computation, 2016, Vol. 26, No. 1, pp. 425–450, (first online 2013).
Wansing, 2017 – Wansing, H., “A more general general proof theory”, Journal of Applied Logic, 2017, Vol. 25, pp. 23–46.
Wansing, 2020 – Wansing, H., “Connexive logic”, The Stanford Encyclopedia of Philosophy, [ logic-connexive/], Spring 2020 edition, 2020.
Wansing and Skurt, 2018 – Wansing, H.and Skurt, D., “Negation as cancellation, connexive logic, and qLPm”, Australasian Journal of Logic, 2018, Vol. 15, pp. 476–488.