Hostname: page-component-76fb5796d-skm99 Total loading time: 0 Render date: 2024-04-25T19:44:11.110Z Has data issue: false hasContentIssue false

THE PURE LOGIC OF GROUND

Published online by Cambridge University Press:  12 December 2011

KIT FINE*
Affiliation:
Department of Philosophy, New York University
*
*DEPARTMENT OF PHILOSOPHY, NEW YORK UNIVERSITY, NEW YORK, NY 10003, USA E-mail:kf14@nyu.edu

Abstract

I lay down a system of structural rules for various notions of ground and establish soundness and completeness.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Audi, P. (2011). A Clarification and Defense of the Notion of Grounding. To appear in Grounding and Explanation (eds. Correia, F. and Schnieder, B.). Cambridge, UK: Cambridge University Press.Google Scholar
Batchelor, R. (2010). Grounds and Consequences. Grazer Philosophische Studien, 80, 65–77.CrossRefGoogle Scholar
Correia, F. (2005). Existential Dependence and Cognate Notions. Munich: Philosophica Verlag.CrossRefGoogle Scholar
Correia, F. (2010). Grounding and Truth-Functions. Logique et Analyse 53 (211), 251–79. Forthcoming in Logique et Analyse.Google Scholar
Fine, K. (2011). Guide to Ground. To appear in Grounding and Explanation (eds. Correia, F. and Schnieder, B.). Cambridge, UK: Cambridge University Press.Google Scholar
Mulligan, K., Simons, P., & Smith, B. (1984). Truth-makers. Philosophy and Phenomenological Research, 44, 287–321.CrossRefGoogle Scholar
Rosen, G. (2010). Metaphysical dependence: Grounding and reduction. In Hale, B., and Hoffman, A., editors. Modality: Metaphysics, Logic and Epistemology. Oxford, UK: Oxford University Press.Google Scholar
Schnieder, B. (2006). Troubles with truth-making: Necessitation and projection. Erkenntnis, 64, 61–74.CrossRefGoogle Scholar
Schnieder, B. (2011). A Logic for ‘Because’. Review of Symbolic Logic 4, 445–465.CrossRefGoogle Scholar
Scott, D. (1971). On engendering an illusion of understanding. Journal of Philosophy, 68, 787–808.CrossRefGoogle Scholar
Terese, . (2003). Term Rewriting Systems. Cambridge, UK: Cambridge Tracts in Computer Science.Google Scholar