Synthese

, Volume 195, Issue 3, pp 1231–1254 | Cite as

On constructing a logic for the notion of complete and immediate formal grounding

Article
First Online:
Received:
Accepted:

Abstract

In Poggiolesi (2016b) we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.

Keywords

Grounding derivability logic 
This is a preview of subscription content, log in to check access.

Notes

Acknowledgements

I wish to thank Brian Hill for having corrected the English of the manuscript but also for several precious comments and suggestions. I would also like to thank the anonymous referees for their deep, clarifying and smart remarks.

References

  1. Aristotle, (1994). Posterior analytics (2nd ed.). Oxford: Oxford University Press.Google Scholar
  2. Bliss, R., & Trogdon, K. (2016). Metaphysical grounding. In E. N. Zalta (Ed.), The stanford encyclopedia of philosophy (pp. 1–42).Google Scholar
  3. Bolzano, B. (2015). Theory of science. Oxford: Oxford University Press.Google Scholar
  4. Correia, F. (2010). Grounding and truth-functions. Logique et Analyse, 53(211), 79–251.Google Scholar
  5. Correia, F. (2014). Logical grounds. Review of Symbolic Logic, 7(1), 31–59.CrossRefGoogle Scholar
  6. Correia, F. (2016). On the logic of factual equivalence. Review of Symbolic Logic, 9(1), 103–122.CrossRefGoogle Scholar
  7. Correia, F., & Schnieder, B. (2012). Grounding: An opinionated introduction. In F. Correia & B. Schnieder (Eds.), Metaphysical grounding (pp. 1–36). Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  8. Fine, K. (2010). Some puzzles of ground. Notre Dame Journal of Formal Logic, 51(1), 97–118.CrossRefGoogle Scholar
  9. Fine, K. (2012). Guide to ground. In F. Correia & B. Schnieder (Eds.), Metaphysical grounding (pp. 37–80). Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  10. Fine, K. (2012). The pure logic of ground. Review of Symbolic Logic, 25(1), 1–25.CrossRefGoogle Scholar
  11. Krämer, S., & Roski, S. (2015). A note on the logic of worldly ground. Thought, 4, 59–68.Google Scholar
  12. Poggiolesi, F. (2010). Getzen calculi for modal propositional logic. Dordrecht: Springer.Google Scholar
  13. Poggiolesi, F. (2016a). A critical overview of the most recent logics of grounding. In F. Boccuni & A. Sereni (Eds.), Objectivity, realism and proof. Boston studies in the philosophy and history of science (pp. 1–18).Google Scholar
  14. Poggiolesi, F. (2016b). On defining the notion of complete and immediate formal grounding. Synthese, 193: 3147–3167.Google Scholar
  15. Rumberg, A. (2013). Bolzano’s theory of grounding against the background of normal proofs. Review of Symbolic Logic, 6(3), 424–459.CrossRefGoogle Scholar
  16. Schaffer, J. (2009). On what grounds what. In Metametaphysics (pp. 347–383).Google Scholar
  17. Schnieder, B. (2010). A puzzle about ‘because’. Logique et Analyse, 53(4), 317–343.Google Scholar
  18. Schnieder, B. (2011). A logic for ‘because’. The Review of Symbolic Logic, 4(03), 445–465.CrossRefGoogle Scholar
  19. Sebestik, J. (1992). Logique et mathematique chez Bernard Bolzano. Paris: J. Vrin.Google Scholar
  20. Tatzel, A. (2002). Bolzano’s theory of ground and consequence. Notre Dame Journal of Formal Logic, 43(1), 1–25.CrossRefGoogle Scholar
  21. Troelstra, A. S., & Schwichtenberg, H. (1996). Basic proof theory. Cambridge: Cambridge University Press.Google Scholar
  22. van Dalen, D. (1991). Logic and structure. Dordrecht: Springer.Google Scholar
  23. Wansing, H. (1994). Sequent calculi for normal modal propositional logics. Journal of Logic and Computation, 4, 125–142.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2016

Authors and Affiliations

  1. 1.Université Paris 1 Panthéon-Sorbonne, CNRS, ENS UMR 8590 IHPST – Institut d’Histoire et de Philosophie des Sciences et des TechniquesParisFrance

Personalised recommendations