Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-22T00:05:13.705Z Has data issue: false hasContentIssue false

ON THE LOGIC OF FACTUAL EQUIVALENCE

Published online by Cambridge University Press:  07 August 2015

FABRICE CORREIA*
Affiliation:
Université de Neuchâtel
*
*INSTITUT DE PHILOSOPHIE UNIVERSITÉ DE NEUCHÂTEL ESPACE LOUIS-AGASSIZ 1 2000 NEUCHÂTEL SWITZERLAND E-mail:[email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions” (2010), that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2015 

References

BIBLIOGRAPHY

Anderson, A. R., & Belnap, N. D. (1962). Tautological entailments. Philosophical Studies, 13, 924.Google Scholar
Anderson, A. R., & Belnap, N. D. (1963). First-degree entailments. Mathematische Annalen, 149, 302319.Google Scholar
Angell, R. B. (1977). Three systems of first degree entailment. Journal of Symbolic Logic, 42, 147.Google Scholar
Angell, R. B. (1989). Deducibility, entailment and analytic containment. In Norman, J. and Sylvan, R., editors. Directions in Relevant Logic. Dordrecht: Kluwer Academic Publishers, pp. 119143.CrossRefGoogle Scholar
Barker, S., & Jago, M. (2012). Being positive about negative facts. Philosophy and Phenomenological Research, 85(1), 117138.Google Scholar
Bliss, R., & Trogdon, K. (2014). Metaphysical grounding. In Zalta, E. N., editor. The Stanford Encyclopedia of Philosophy (Winter 2014 edition) http://plato.stanford.edu/archives/win2014/entries/grounding/.Google Scholar
Cobreros, P., Égré, P., Ripley, D., & van Rooij, R. (2014). Pragmatic interpretations of vague expressions: Strongest meaning and nonmonotonic consequence. Journal of Philosophical Logic. To appear.Google Scholar
Correia, F. (2004). Semantics for analytic containment. Studia Logica, 77, 87104.Google Scholar
Correia, F. (2010). Grounding and truth-functions. Logique & Analyse, 53(211), 251279.Google Scholar
Correia, F., & Schnieder, B. (2012). Grounding: An opinionated introduction. In Correia, F. and Schneider, B., editors. Metaphysical Grounding: Understanding the Structure of Reality. Cambridge: Cambridge University Press, pp. 136.Google Scholar
Ferguson, T. M. (2014). Faulty Belnap computers and subsystems of FDE. Journal of Logic and Computation. To appear.Google Scholar
Fine, K. (2012a). Guide to ground. In Correia, F. and Schneider, B., editors. Metaphysical Grounding: Understanding the Structure of Reality. Cambridge: Cambridge University Press, pp. 3780.Google Scholar
Fine, K. (2012b). The pure logic of ground. Review of Symbolic Logic, 25(1), 125.CrossRefGoogle Scholar
Fine, K. (2014). Truthmaker semantics for intuitionistic logic. Journal of Philosophical Logic, 43(2), 549–77.Google Scholar
Fine, K. (forthcoming). Angellic content.Google Scholar
Fine, K. (ms a). A theory of truth-conditional content I.Google Scholar
Fine, K. (ms b). A theory of truth-conditional content II.Google Scholar
Fine, K. (ms c). Truthmaker semantics.Google Scholar
Jennings, R. E., & Chen, Y. (2013). FDE: A logic of clutters. In Tanaka, K., Berto, F., Mares, E., and Paoli, F., editors. Paraconsistency: Logic and Applications. New York: Springer, pp. 163172.Google Scholar
Krämer, S., & Roski, S. (2015). A note on the logic of worldly ground. Thought: A Journal of Philosophy, 4(1), 5968.Google Scholar
Priest, G. (2008). An Introduction to Non-Classical Logic: From If to Is. New York: Cambridge University Press.Google Scholar
Trogdon, K. (2013). An introduction to grounding. In Hoeltje, M., Schnieder, B., and Steinberg, A., editors. Varieties of Dependence. Basic Philosophical Concepts. Munich: Philosophia Verlag, pp. 97122.Google Scholar
Van Fraassen, B. (1969). Facts and tautological entailments. Journal of Philosophy, 66, pp. 477487.Google Scholar