Skip to main content
SpringerLink
Log in

Herzberger’s Limit Rule with Labelled Sequent Calculus

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Inspired by recent work on proof theory for modal logic, this paper develops a cut-free labelled sequent calculus obtained by imitating Herzberger’s limit rule for revision sequences as a clause in a possible world semantics. With the help of two completeness theorems, one between the labelled sequent calculus and the corresponding possible world semantics, and one between the axiomatic theory of truth PosFS and a neighbourhood semantics, together with the proof of the equivalence between the two semantics, we show that the theory of truth obtained with the labelled sequent calculus based on Herzberger’s limit rule is equivalent to PosFS.

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. Baaz, M., C. G. Fermüller, G. Salzer, and R. Zach, Labeled calculi and finite-valued logics, Studia Logica 61(1): 7–33, 1998.

    Article  Google Scholar 

  2. Belnap, N. D., Gupta’s rule of revision theory of truth, Journal of Philosophical Logic 11(1): 103–116, 1982.

    Article  Google Scholar 

  3. Friedman, H., and M. Sheard, An axiomatic approach to self-referential truth, Annals of Pure and Applied Logic 33(1): 1–21, 1987.

    Google Scholar 

  4. Gentzen, G., Untersuchungen über das logische Schliessen i, ii’ Mathematische Zeitschrift 39: 176–210, 405–431, 1934.

    Google Scholar 

  5. Girlando, M., S. Negri, N. Olivetti, and V. Risch, Conditional beliefs: From neighbourhood semantics to sequent calculus, Review of Symbolic Logic 11(4): 736–779, 2018.

    Article  Google Scholar 

  6. Gupta, A., Truth and paradox, Journal of Philosophical Logic 11(1): 1–60, 1982.

    Article  Google Scholar 

  7. Gupta, A., and N. Belnap, The Revision Theory of Truth. MIT Press, 1993.

    Google Scholar 

  8. Halbach, V., A system of complete and consistent truth, Notre Dame Journal of Formal Logic 35(1): 311–327, 1994.

    Article  Google Scholar 

  9. Herzberger, H. G., Notes on naive semantics, Journal of Philosophical Logic 11(1): 61–102, 1982.

    Article  Google Scholar 

  10. Horsten, L., G. E. Leigh, H. Leitgeb, and P. Welch, Revision revisited, Review of Symbolic Logic 5(4): 642–664, 2012.

    Article  Google Scholar 

  11. Kremer, M., Kripke and the logic of truth, Journal of Philosophical Logic 17(3): 225–278, 1988.

    Article  Google Scholar 

  12. McGee, V., How truthlike can a predicate be? a negative result, Journal of Philosophical Logic 14(4): 399–410, 1985.

    Article  Google Scholar 

  13. Negri, S., Proof analysis in modal logic, Journal of Philosophical Logic 34: 507–544, 2005.

    Article  Google Scholar 

  14. Negri, S., and G. Sbardolini, Proof analysis for lewis counterfactuals, The Review of Symbolic Logic 9: 44–75, 2016.

    Article  Google Scholar 

  15. Negri, S., and Jan von Plato, Cut elimination in the presence of axioms, Bulletin of Symbolic Logic 4: 418–435, 1998.

    Article  Google Scholar 

  16. Negri, S., and Jan von Plato, Structural Proof Theory. Cambridge University Press, 2001.

  17. Negri, S., and Jan von Plato, Proof Analysis: A Contribution to Hilbert’s Last Problem. Cambridge University Press, 2011.

  18. Pacuit, E., Neighborhood Semantics for Modal Logic. MIT Press, 2017.

  19. Ripley, D., Conservatively extending classical logic with transparent truth, Review of Symbolic Logic 5(2): 354–378, 2012.

    Article  Google Scholar 

  20. Schröder-Heister, P., Restricting initial sequents: The trade-offs between identity, contraction and cut, in R. Kahle, T. Strahm, and T. Studer, (eds.), Advances in Proof Theory,Progress in Computer Science and Applied Logic 28, Birkhäuser, 2016, pp. 339–351.

  21. Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory. Cambridge University Press, 2000.

Download references

Acknowledgements

For discussions and comments on the material that resulted in this paper, I would like to thank Casper Storm Hansen, Fausto Barbero, Jan von Plato, Maria Hämeen-Anttila, Marianna Girlando, Ole Hjortland, Sara Negri and Tuukka Tanninen. I would also like to thank the anonymous referees for their many helpful suggestions. The research for this paper was supported by a FRIPRO Mobility Fellowship for the project Expressing Validity by Revision: Logical and Philosophical Aspects from the Research Council of Norway (project no 262837/F10, co-funded by the European Union’s Seventh Framework Programme for research, technological development and demonstration under Marie Curie grant agreement no 608695).

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Bergen, Postboks 7805, 5020, Bergen, Norway

    Andreas Fjellstad

Authors
  1. Andreas Fjellstad
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andreas Fjellstad.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Heinrich Wansing

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Fjellstad, A. Herzberger’s Limit Rule with Labelled Sequent Calculus. Stud Logica 108, 815–855 (2020). https://doi.org/10.1007/s11225-019-09878-x

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-019-09878-x

Keywords

Search

Navigation