Skip to main content
SpringerLink
Log in

Some Modifications of Carnap’s Modal Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, Carnap’s modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straight-forward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev’s logic of finite problems and inquisitive semantics are shortly discussed.

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. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Cambridge University Press, 2001.

  2. Carnap R.: Modalities and Quantification. The Journal of Symbolic Logic 11, 34–64 (1946)

    Article  Google Scholar 

  3. Carnap, R., Meaning and Necessity. The University of Chicago Press, 1948.

  4. Chargov A., Zakharyaschev M.: Modal Logic. Clarendon Press, Oxford (1997)

    Google Scholar 

  5. Ciardelli, I., Inquisitive Semantics and Intermediate Logics. Master Thesis, University of Amsterdam, 2009.

  6. Ciardelli, I., and F. Roelofsen, Inquisitive Logic. In: D. Grossi, L. Kurzen, and F. Velazquez-Quesada (eds.), Logic and Interactive Rationality. Seminar’s yearbook 2009, Institute for Logic, Language, and Information, University of Amsterdam, 2010.

  7. Feys, R., Carnap on Modalities. In P. A. Schilpp (ed.), The Philosophy of Rudolf Carnap, Cambridge University Press, 1963.

  8. Gödel, K., An Interpretation of the Intuitionistic Propositional Calculus. In S. Feferman et al. (eds.), Collected Works, vol. 1, New York, Claredon, 1986.

  9. Gottlob, G., Review of a Carnapian Extension of S5. In E. Orlowska (ed.), Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag, 1999.

  10. Grice, P., Logic and Conversation. In D. Davidson, and G. Harman (eds.), The Logic of Grammar, Encino, CA: Dickenson, 1975.

  11. Hendry H. E., Pokriefka M. L.: Carnapian Extension of S5. The Journal of Philosophical Logic 14, 111–128 (1985)

    Article  Google Scholar 

  12. Kolmogorov A. N.: Zur Deutung der intuitionistischen Logik. Mathematische Zeitschrift 35, 58–65 (1932)

    Article  Google Scholar 

  13. Medvedev Y.: Finite Problems. Doklady Akademii Nauk SSSR 3, 227–230 (1962)

    Google Scholar 

  14. Miglioli P., Moscato U., Ornaghi M., Quazza S., Usberti G.: Some Results on Intermediate Constructive Logics. Notre Dame Journal of Formal Logic 30, 543–562 (1989)

    Article  Google Scholar 

  15. Punčcochář, V., ‘Sémantika některých neobvyklých modálních logik. Master Thesis, Charles University in Prague, 2009.

  16. Schurz, G., Rudolf Carnap’s Modal Logic. In W. Stelzner, and M. Stoeckler (eds.), Zwischen traditioneller und moderner Logik. Nichtklassische Anstze, Mentis, Paderborn, 2001.

  17. Thomason S. K.: A New Representation of S5. Notre Dame Journal of Formal Logic 14, 281–284 (1973)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Arts, Charles University in Prague, Nam. Jana Palacha 2, Praha 1, CZ-116 38, Prague, Czech Republic

    Vít Punčochář

Authors
  1. Vít Punčochář
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vít Punčochář.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Punčochář, V. Some Modifications of Carnap’s Modal Logic. Stud Logica 100, 517–543 (2012). https://doi.org/10.1007/s11225-012-9413-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9413-z

Keywords

Search

Navigation