Skip to main content
SpringerLink
Log in

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to some other logical systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. CZERMAK, J., ‘A remark on Gentzen's calculus of sequents’, Notre Dame Journal of Formal Logic 18:471–474, 1977.

    Google Scholar 

  2. DOŠEN, K., ‘Negation as a modal operator’, Reports on Mathematical Logic 20:15–27, 1986.

    Google Scholar 

  3. DOŠEN, K., ‘Negation in the light of modal logic’, in D.M. Gabbay and H. Wansing, (eds.), What is Negation?, Applied Logic Series, 13, pp. 77–86, Kluwer Academic Publishers, Dordrecht, 1999.

    Google Scholar 

  4. DUNN, J.M., ‘Generalized ortho negation’, in H. Wansing, (ed.), Negation. A Notion in Focus, pp. 3–26, De Gruyter, Berlin, 1995.

    Google Scholar 

  5. DUNN, J.M., ‘A Comparative study of various model-theoretic treatments of negation: a history of formal negation’, in D.M. Gabbay and H. Wansing, (eds.), What is Negation?, Applied Logic Series, 13, pp. 23–51, Kluwer Academic Publishers, Dordrecht, 1999.

    Google Scholar 

  6. DUNN, J.M., ‘Partiality and its dual’, Studia Logica 65:5–40, 2000.

    Article  Google Scholar 

  7. HAZEN, A., Subminimal Negation. Unpublished Manuscript, 1992.

  8. JOHANSSON, I., ‘Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus’, Compositio Mathematika 4:119–136, 1937.

    Google Scholar 

  9. FITTING, M., Proof Methods for Modal and Intuitionistic Logics. (Synthese Library; v. 169) D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, 1983.

    Google Scholar 

  10. GOODMAN, N., ‘The logic of contradiction’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 27:119–126, 1981.

    Google Scholar 

  11. GORÉ, R., ‘Dual intuitionistic logic revisited’, in R. Dyckhoff, (ed.), Proceedings Tableaux 2000 (Lecture Notes in Artificial Intelligence 1847), pp. 252–267, Springer Verlag, Berlin, 2000.

  12. GRZEGORCZYK, A., ‘A philosophically plausible formal interpretation of intuitionistic Logic’, Indagationes Matimaticae 26:596–601, 1964.

    Google Scholar 

  13. KAMIDE, N., ‘A note on dual-intuitionistic logic’, Mathematical Logic Quarterly, 49:519–524, 2003.

    Article  Google Scholar 

  14. KRIPKE, S., ‘Semantical analysis of intuitionistic logic I’, in J.N. Crossley and M.A.E. Dumment, (eds.), Formal Systems and Recursive Functions, pp. 92–130, North-Holland Publishing Company, Amsterdam, 1965.

    Google Scholar 

  15. LUKOWSKI, P., ‘A deductive-reductive form of logic: general theory and intuitionistic case’, Logic and Logical Philosophy 10:59–78, 2002.

    Google Scholar 

  16. NELSON, D., ‘Constructible falsity’, Journal of Symbolic Logic 14:16–26, 1949.

    Google Scholar 

  17. POPPER, K., The Logic of Scientific Discovery, Routledge, London and New York, 1992.

    Google Scholar 

  18. POPPER, K., Conjectures and Refutations. The Growth of Scientific Knowledge, Routlege, London, 1989.

    Google Scholar 

  19. RABINOWICZ, W., ‘Intuitionistic truth’, Journal of Philosophical Logic 14:191–228, 1985.

    Article  Google Scholar 

  20. RAUSZER, C., ‘Semi-Boolean algebras and their applications to intuitionistic logic with dual operations’, Fundamenta Mathematicae LXXXIII:219–249, 1974.

    Google Scholar 

  21. RAUSZER, C., ‘A formalization of the propositional calculus of H-B-logic’, Studia Logica XXXIII:23–34, 1974.

    Article  Google Scholar 

  22. RAUSZER, C., ‘An algebraic and Kripke-style approach to a certain extension of intuitionistic logic’, Dissertationes Mathematicae, CLXVII, PWN, Warszawa, 1980.

  23. SHRAMKO, Y., J.M. DUNN, and T. TAKENAKA, ‘The trilaticce of constructive truth values’, Journal of Logic and Computation 11:761–788, 2001.

    Google Scholar 

  24. SHRAMKO, Y., ‘Semantics for constructive negations’, in H. Wansing (ed.) Essays on Non-Classical Logic, pp. 187–217, World Scientific, New Jersey – London – Singapore – Hong Kong, 2001.

    Google Scholar 

  25. SHRAMKO, Y., ‘The logic of scientific research’ (In Russian), in Logic and V.E.K.: Festschrift dedicated to 90th birthday of Prof. E.K. Voishvillo, pp. 237–249, Sovremennye tetradi, Moscow, 2003. (The On-line version see: Logical Studies, Online Journal, No. 10, 2003, http://www.logic.ru/Russian/LogStud/10/No10-20.html, ISBN 5-85593-140-4).

  26. SMIRNOV, V.A., ‘On a system of paraconsistent logic’ (in Russian), in V.A. Smirnov and A.S. Karpenko, (eds.), Many-valued, Relevant ans Paraconsistent Logics, pp. 129–133, Moscow, 1984, (Reprinted in V.A. Smirnov, A Theory of Logical Inference, pp. 293–298, ROSSPEN, Moscow, 1999).

  27. URBAS, I., ‘Dual-intuitionistic logic’, Notre Dame Journal of Formal Logic 37:440–451, 1996.

    Article  Google Scholar 

  28. WANSING, H., The Logic of Information Structures, Springer-Verlag, Berlin Heidelberg, 1993.

    Google Scholar 

  29. WOLTER, F., ‘On logics with coimplication’, Journal of Philosophical Logic 27:353–387, 1998.

    Article  Google Scholar 

  30. ZASLAVSKIJ, I.D., Symmetrical Constructive Logic (in Russian), Erevan, 1978.

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, State Pedagogical University, Krivoi Rog, 50086, Ukraine

    Yaroslav Shramko

Authors
  1. Yaroslav Shramko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yaroslav Shramko.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shramko, Y. Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. Stud Logica 80, 347–367 (2005). https://doi.org/10.1007/s11225-005-8474-7

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-005-8474-7

Keywords

Search

Navigation