Abstract
In this paper, I ask whether we should see different logical systems as appropriate for different domains (or perhaps in different contexts) and whether this would amount to a form of logical pluralism. One, though not the only, route to this type of position, is via pluralism about truth. Given that truth is central to validity, the commitment the typical truth pluralist has to different notions of truth for different domains may suggest differences regarding validity in those different domains. Indeed, as we’ll see, the differences between the proposed multiple notions of truth are often of a type that is clearly significant in relation to logical features, such as whether or not a constructive notion of truth is at issue. I criticise domain-based logical pluralism. Having done so I introduce a context-based framework that operates with a context-relative notion of validity. I show that this context-based framework can be employed by the domain-specific logical pluralist, but that framework also allows for logical pluralism that does not involve several domains. Different contexts may demand rules of classical logic, where others only justify intuitionistic rules, even when the same domain (e.g. mathematics) is at issue.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Uses of logical systems can go beyond capturing logical consequence relations. For example, it might be useful to employ a paraconsistent logic to work with databases that may contain inconsistent data. But that is not to say that there are true contradictions, even though it can be on the record that p and on the record that not-p. See Keefe 2014, footnote 13.
- 2.
See Keefe 2000, chapter 5, and on pluralism about supervaluationist notions of consequence, see Keefe 2001. Hjortland 2012 offers the helpful term “intra-theoretic pluralism” for this kind of pluralism. A different relatively modest logical pluralism is one that maintains that there is no uniquely correct choice of logical constants and so we can construct different equally good logics by selecting different sets from the putative logical constants.
- 3.
- 4.
For example, Wright maintains that there is one concept but many properties and Lynch adopts a functionalism about truth whereby different concepts play the role.
- 5.
Pedersen (2014, p. 262) maintains that “alethic pluralism argues that any alethic pluralism that accepts both realist and anti-realist conceptions of truth “brings on a commitment to logical pluralism” and Lynch writes: ‘The alethic functionalist … is not required to endorse …logical pluralism. But it is likely that she will.’ (2009, p. 104).
- 6.
Pedersen 2014, p. 260.
- 7.
- 8.
- 9.
See Lynch 2008, p. 137.
- 10.
Lynch 2008, p. 139 responds to the objection that the first approach he considers—the logic of a mixed inference is the logic governing the weakest element of it—requires “the assumption that the logics in question can be ordered, in the sense that the stronger logics are extensions of the weaker logics” by maintaining, without further explanation, that this is not “an unreasonable constraint on those logics that apply only to specific domains of inquiry”. But he also considers the above objection of taking the logic to be the intersection of the logics governing the elements of the inference.
- 11.
Note that this denial of a unique property is compatible with accepting a unified concept of truth. On some conceptions of properties (e.g. concept nominalism), that would surely be enough for commitment to a single general property of truth, in which case the distinction between weak and strong pluralism would collapse.
- 12.
Along the way to showing this, he shows that his set of values with conjunction and disjunction forms a lattice with the top value taking 1 in every place and the bottom value taking 0 in every place.
- 13.
This illustration is an odd case of a sentence that doesn’t fall into any domain. The Law of Excluded Middle also fails for more typical sentences within some domain, as the first disjunct, and thus the second disjunct too, will typically take value ½ in some of the places and thus the disjunction will not take the top value (1 in all places). The only cases where it will take the top value is when the disjuncts have 1 or 0 in each place, which will be the rare cases of sentences simultaneously in all domains, for example, perhaps itself a disjunction with a disjunct from each domain.
- 14.
“In this section, I extend the algebraic account of validity to nonclassical domains, showing how the account can handle domains for which paracomplete, paraconsistent and intuitionistic logic seem most appropriate” (p. 13).
- 15.
Might it be represented instead by alternative Boolean algebra, so that the logic is still classical, even though bivalence does not hold? If bivalence is a logical feature of a domain (as Lynch argues, 2008), then surely only the two-valued Boolean algebra will be able to capture the domain.
- 16.
Domain-specific logical pluralism is not the kind of position Beall and Restall are interested in, for example. They would, I think, regard it as a form of relativism, since what is valid is relative to the domain/context. Beall and Restall’s logical pluralism turns on the different interpretations of case in the defining principle of logical consequence (GTT): “An argument is validx if and only if, in every casex in which the premises are true, so is the conclusion.” Pedersen (2014) seeks to adopt their framework by explaining how different notions of case could be appropriate to different domains. But (GTT) commands a universality in its biconditional, and limiting the notion of case to a single domain does not provide a “precisification” of “case” in the manner required for Beall and Restall’s framework.
- 17.
Field 2009, p. 344.
- 18.
- 19.
The arguments below do not require that the logic of mixed inferences is distinct from all of the logics of the pure domains—it could, rather, be the weakest, for example, intuitionistic logic if the domain-specific options are just classical logic and intuitionistic logic. The same questions arise as to the status of the stronger logics.
- 20.
Perhaps, then, we should deny that there is any mixed domain—the domain-specific logical pluralist could consider the logic governing mixed inferences (the intersection of the logics of the pure domains) without requiring a corresponding domain. Different logics may then result from different domains either by being logics of those different domains or resulting from the interaction of different domains in a more complex way. Whether there is a mixed domain or not, the argument regarding the universality of the logic of mixed domains still holds.
- 21.
Or, if SP is not strictly a domain, then the assessment via the most general logic still applies.
- 22.
Beall and Restall (2006), for example , identify the settled core features of logical consequence relations as necessity, normativity and formality: to qualify as one of the genuine consequence relations of their logical pluralism, a relation must have these features. Although details of Beall and Restall’s “settled core” are controversial, a requirement of formality is widely accepted and the domain-specific relations in question meet none of the candidate more detailed specifications of the formality criterion.
- 23.
See, for example, Shapiro 2014 for a view taking this line, focusing on a range of fruitful mathematical theories that use different logics (e.g. intuitionistic analysis).
- 24.
- 25.
Lewis 1982.
- 26.
References
Beall, J. 2000. On Mixed Inferences and Pluralism About Truth Predicates. The Philosophical Quarterly 50: 380–382.
Beall, J., and G. Restall. 2006. Logical Pluralism. Oxford: Clarendon Press.
Caret, C. 2017. The Collapse of Logical Pluralism Has Been Greatly Exaggerated. Erkenntnis 82: 739–760.
Cotnoir, A.J. 2013. Validity for Strong Pluralists. Philosophy and Phenomenological Research 86: 563–579.
Field, H. 2009. Pluralism in Logic. Review of Symbolic Logic 2: 342–359.
Hjortland, O.T. 2012. Logical Pluralism, Meaning-Variance, and Verbal Disputes. Australasian Journal of Philosophy 91: 355–373.
Keefe, R. 2000. Theories of Vagueness. Cambridge: Cambridge University Press.
———. 2001. Supervaluationism and Validity. Philosophical Topics 28: 93–105.
———. 2010. Relative Validity and Vagueness. In The Force of Argument: Essays in Honor of Timothy Smiley, ed. J. Lear and A. Oliver, 127–143. London: Routledge.
———. 2014. What Logical Pluralism Cannot Be. Synthese 191: 1375–1390.
Lewis, D.K. 1982. Logic for Equivocators. Noûs 16: 431–441.
Lynch, M.P. 2008. Alethic Pluralism, Logical Consequence and the Universality of Reason. Midwest Studies in Philosophy 32: 122–140.
———. 2009. Truth as One and Many. Oxford: Oxford University Press.
Pedersen, Nikolaj J.L.L. 2014. Pluralism × 3: Truth, Logic, Metaphysics. Erkenntnis 79: 259–277.
Pedersen, Nikolaj J.L.L., and C.D. Wright, eds. 2013. Truth and Pluralism. Oxford: Oxford University Press.
Shapiro, S. 2014. Varieties of Logic. Oxford: Oxford University Press.
Smiley, T.J. 1995. A Tale of Two Tortoises. Mind 104: 725–736.
Smith, P. Simard. 2018. Assessment Context-Sensitive Logical Claims. Inquiry https://doi.org/10.1080/0020174X.2017.1402698.
Tappolet, C. 1997. Mixed Inferences: A Problem for Pluralism About Truth Predicates. Analysis 57: 209–210.
———. 2000. Truth Pluralism and Many-Valued Logics: A Reply to Beall. The Philosophical Quarterly 50: 382–385.
Williamson, T. 1994. A Critical Study of Truth and Objectivity. International Journal of Philosophical Studies 30: 130–144.
Wright, C.J.G. 1992. Truth and Objectivity. Cambridge, MA: Harvard University Press.
———. 2013. A Plurality of Pluralisms. In Truth and Pluralism, ed. Nikolaj J.L.L. Pedersen and C.D. Wright, 123–156. Oxford: Oxford University Press.
Wyatt, J. 2013. Domains, Plural Truth and Mixed Atomic Propositions. Philosophical Studies 166: 225–236.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 The Author(s)
About this chapter
Cite this chapter
Keefe, R. (2018). Pluralisms: Logic, Truth and Domain-Specificity. In: Wyatt, J., Pedersen, N., Kellen, N. (eds) Pluralisms in Truth and Logic. Palgrave Innovations in Philosophy. Palgrave Macmillan, Cham. https://doi.org/10.1007/978-3-319-98346-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-98346-2_18
Published:
Publisher Name: Palgrave Macmillan, Cham
Print ISBN: 978-3-319-98345-5
Online ISBN: 978-3-319-98346-2
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)