Abstract
To reconcile the standard possible worlds model of knowledge with the intuition that ordinary agents fall far short of logical omniscience, a Stalnakerian strategy appeals to two components. The first is the idea that mathematical and logical knowledge is at bottom metalinguistic knowledge. The second is the idea that non-ideal minds are often fragmented. In this paper, we investigate this Stalnakerian reconciliation strategy and argue, ultimately, that it fails. We are not the first to complain about the Stalnakerian strategy. But in contrast to existing complaints, we want to cause trouble for the strategy directly on its home turf. That is, we will advance our objection while granting both the plausibility of the fragmentation component—save for an extreme version of it—and that of the metalinguistic component. Once our central objection to the Stalnakerian strategy is in place, we will show how it negatively affects Adam Elga and Augustín Rayo’s recent attempt to apply the Stalnakerian strategy in the context of Bayesian decision theory.
Similar content being viewed by others
Notes
The focus here is on the causal part of the causal-pragmatic picture. The pragmatic part has to do with how certain representational states get to count as beliefs—rather than, say, imaginings or hopes—in virtue of being closely connected with desires and actions.
For critical discussions of the Stalnakerian strategy, see for example Borgoni et al. (2021), Jago (2014a), Field (2001), Forbes (1989), Robbins (2004), and Stanley (2010). For alternative proposals on how to deal with the problem of logical omniscience, see, for example, Berto and Jago (2019), Bjerring and Skipper (2019), Jago (2014a), and Dogramaci (2018).
To be sure, there are more questions that one could ask about the nature of fragments; for some of these questions, see Borgoni et al. (2021). But in line with most other people in the philosophical literature appealing to fragments, we will settle with the rough characterization above. Technically, what matters for our argument is that fragments correspond to sets of possible worlds that are complete and deductively closed, and everyone in the Stalnakerian camp would agree with this.
Here are two examples that illustrate how existing critiques of the Stalnakerian strategy—in contrast to our approach—directly attack either the metalinguistic component or the fragmentation component. In Jago (2014a), the strategy is criticized for its characterization of mathematical and logical knowledge as, essentially, linguistic knowledge. For instance, failing to spot a particular winning strategy in chess seems hardly to reduce to a pure lack of linguistic knowledge. In Field (2001), it is argued that neither metalinguistic ignorance nor fragmentation can help account for the kind of behavior that is typically displayed when agents believe the impossible. For example, while the belief that a 60 degree angle can be trisected and the belief that a specific map requires more than four colors to color are both impossible, the types of behavior associated with these beliefs can be very different for mathematically untrained agents: one type involves the use of a compass while the other involves the use of color pencils. Yet, as Field argues, “[i]t does not seem […] that one can plausibly explain this difference in behavior in terms of different attitudes to sentences like ‘I will trisect a 60 degree angle’; and invoking ‘compartmentalized belief’ does not seem substantially more promising” (Field 2001, p. 103).
By holding that an agent understands ‘S’, we intend to rule out cases such as one in which an agent does not grasp ‘S’ but still knows, solely on the basis of testimony, that it expresses a necessary truth.
Note: questioning extreme fragmentation is still compatible with engaging Stalnakerians on their home turf. For, as we argue later, Stalnakerians will want to capture the thought that agents are logically competent, but if extreme fragmentation is permitted, they will not be able to do so.
Thanks to an anonymous reviewer for suggesting how a proponent of extreme fragmentation might respond to some of the issues we raise for them.
There is a trivial sense in which agents are minimally rational—and far more—in the Stalnakerian framework. After all, in this framework, agents are logically omniscient with respect to each fragment: they know every logical truth and every logical consequence of what they know in every fragment. But for our purposes, the interesting notion of minimal rationality is one that relates to mathematical and logical knowledge and reasoning (understood metalinguistically).
In addition to Elga and Rayo (2022), there are many in the literature who share the thought that models of ordinary, non-omniscient agents should be able to capture the intuitive sense in which such agents remain capable of performing logically competent deductions; see, for instance, Bjerring and Skipper (2019, 2020), Cherniak (1986), Jago (2014a, b), Smets and Solaki (2018), Solaki (2021), and Weirich (2004).
For earlier statements of this result, see Bjerring and Schwarz (2017).
Cf. Elga and Rayo (2022), p. 718.
The table is taken from Elga and Rayo (2022), p. 719.
Elga & Rayo (2022) explicitly deny that “an agent is confident in a claim if and only if some row of her access table assigns high probability to that claim”, for the biconditional “entails that a puzzlist with the access table [above] is confident not just in the claim that dreamt is a word of English spelled D-R-E-A-M-T, but also in the negation of that claim” (p. 733).
For further details, see Elga and Rayo’s (2022) discussion of how they can “do justice to Frege’s logical and semantic competence while respecting his lack of logical and semantic omniscience” (p. 720).
Clearly, the specific claims here are dependent on the characterization of an obvious entailment as involving only a single application of a basic inference rule. Yet, the general point is not. For by chaining together obvious entailments—whether characterized as above or not—we eventually arrive at a non-obvious one. That is, there will have to be a specific step (or steps) in the deduction where we move from an obvious to a non-obvious entailment.
Cf. Elga & Rayo (2022), p. 720.
Note also: when Stalnaker in an earlier quote talks about agents having knowledge of the “contingent fact that each axiom sentence expresses a necessary truth (however the descriptive terms are interpreted)”, he seems to grant that agents can have schema knowledge of axioms and inference rules (Stalnaker 1987, p. 76; our italics).
Instead of capturing schema knowledge of inference rules in terms of knowledge of contingent propositions such as (R1), one might suggest that we capture it by appealing to a kind of rule-following behavior that generally—but not always—respects the inferential patterns suggested by the rule in question. For instance, as suggested by a referee for this journal, we might say that an agent has schema knowledge of modus ponens when, generally, the following obtains: when ‘A’ is known relative to some fragment F1, and when ‘If A, then B’ is known relative to some other fragment F2, then ‘B’ is known relative to some fragment F3. Setting aside whether such an account of schema knowledge would avoid the problems that we have isolated for Elga and Rayo—we doubt that it will—it requires a story about how different fragments combine and interact to generate the knowledge that ‘B’ in F3 as a result of applying modus ponens on what is already known in F1 and F2. But note: even if this story is available, it still does nothing to suggest that agents cannot also have schema knowledge of inference rules in the way we have suggested. And that is strictly all we need to make our case against Elga and Rayo.
References
Berto, F., & Jago, M. (2019). Impossible worlds. Oxford University Press.
Bjerring, J. C., & Schwarz, W. (2017). Granularity problems. The Philosophical Quarterly, 67(266), 22–37.
Bjerring, J. C., & Skipper, M. (2019). A dynamic solution to the problem of logical omniscience. Journal of Philosophical Logic, 48(3), 501–521.
Borgoni, C., Kindermann, D., & Onofri, A. (eds.) (2021). The Fragmented Mind. Oxford University Press.
Braddon-Mitchell, D., & Jackson, F. (1996). The philosophy of mind and cognition: An introduction. Blackwell Publishing.
Cherniak, C. (1986). Minimal rationality. MIT Press.
Elga, A., & Rayo, A. (2022). Fragmentation and logical omniscience. Noûs, 56(3), 716–741.
Elga, A., & Rayo, A. (2021). Fragmentation and Information Access. In Borgoni et al. 2021 (pp. 37–53).
Dogramaci, S. (2018). Solving the problem of logical omniscience. Philosophical Issues, 28, 107–128.
Easwaran, K. (2011). Bayesianism II: Applications and criticisms. Philosophy Compass, 6(5), 321–332.
Field, H. (2001). Truth and the absence of fact. Oxford University Press.
Field, H. (1978). Mental representation. Erkenntnis, 13, 9–61.
Forbes, G. (1989). Review: Robert Stalnaker, Inquiry, The MIT Press, Cambridge, Massachusetts, 1984. Synthese, 79, 171–189.
Greco, D. (2021). Fragmentation and Coarse-Grained Content. In Borgoni et al. (2021) (pp. 54–77).
Jago, M. (2014a). The impossible: An essay on hyperintensionality. Oxford University Press.
Jago, M. (2014b). The problem of rational knowledge. Erkenntnis, 79(6), 1151–1168.
Kindermann, D., & Onofri, A. (2021). The fragmented mind: An introduction. In Borgoni et al. 2021 (pp. 1–33).
Lewis, D. (1982). Logic for equivocators. Noûs, 16, 431–441.
Lewis, D. (1986). On the plurality of worlds. Blackwell Publishers.
MacKay, A. F., & Merrill, D. D. (Eds.). (1976). Issues in the philosophy of language. Yale University Press.
Powers, L. (1976). Comments on Stalnaker, Propositions. In MacKay and Merrill, 1976, 93–103.
Robbins, P. (2004). To structure, or not to structure. Synthese, 139, 55–80.
Skipper, M., & Bjerring, J. C. (2020). Bayesianism for non-ideal agents. Erkenntnis, 1, 1–23.
Smets, S., & Solaki, A. (2018). The effort of reasoning: Modelling the inference steps of boundedly rational agents. In International workshop on logic, language, information, and computation (pp. 307–324). Springer.
Smithies, D., Lennon, P., & Samuels, R. (2022). Delusions and madmen: Against rationality constraints on belief. Synthese, 200(3), 1–30.
Solaki, A. (2021). Logical models for bounded reasoners (Doctoral dissertation, University of Amsterdam).
Stalnaker, R. (1986). Replies to Schiffer and Field. Pacific Philosophical Quarterly, 67(2), 113–123.
Stalnaker, R. (1987). Inquiry (A Bradford Book). MIT Press.
Stalnaker, R. (1990). Mental content and linguistic form. Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 58(1/2), 129–214.
Stalnaker, R. (1991). The problem of logical omniscience, I. Synthese, 1, 425–440.
Stanley, J. (2010). ‘Assertion’ and intentionality. Philosophical Studies, 151, 87–113.
Titelbaum, M. (forthcoming): Fundamentals of Bayesian epistemology. Forthcoming with Oxford University Press.
Weirich, P. (2004): Realistic Decision Theory: Rules for Nonideal Agents in Nonideal Circumstances. Oxford University Press.
Acknowledgements
For valuable feedback and comments, we would like to thank two anonymous referees for this journal, the participants in the LOGOS Epistemology Workshop II at the University of Barcelona, the faculty at the Department of Philosophy and Religious Studies at Utrecht University, as well as members of the NUS work-in-progress reading group, including Zach Barnett, Ben Blumson, Michael Pelczar, Lavinia Picollo, Abelard Podgorski, Neil Sinhababu, Mattias Skipper, and Daniel Waxman.
Funding
Jens Christian Bjerring’s work on this article was supported by a Carlsberg Foundation Young Researcher Fellowship Grant (grant number CF20-0257).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Bjerring, J.C., Tang, W.H. Fragmentation, metalinguistic ignorance, and logical omniscience. Philos Stud 180, 2129–2151 (2023). https://doi.org/10.1007/s11098-023-01962-2
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11098-023-01962-2