Abstract
The Boolean many-valued approach to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity (or 0) and truth (or 1), but while the fuzzy-logic approach postulates linearly-ordered values (or ‘degrees’) between 0 and 1, the Boolean approach assigns to sentences values in a many-element (including infinite-element) complete Boolean algebra. On the modal-precisificational approach represented by Kit Fine, if a (vague) sentence is indeterminate in truth value in some world (possibly the actual world), it is taken to be true in one precisified world accessible from that world and false in another. This paper points to a way to unify these two approaches to vagueness by showing that Fine’s version of the modal-precisificational approach can be combined with the Boolean many-valued approach instead of supervaluationism, one of the most popular approaches to vagueness.
Similar content being viewed by others
Notes
One might think that the precisificational/supervaluational approaches in general and the present approach in particular are a species of – or at least more harmonious with – semanticism. That may be true if precisifications are taken as purely mathematical entities, as they are in this paper. However, as Akiba ([1] and [2]) has shown, it is generally not difficult to convert the precisificational/supervaluational approaches into ontic versions (so-called ‘ontic supervaluationism’) by employing a more realistic notion of precisifications. Or we can easily think of not just vague propositions but also vague properties such as baldness and tallness to have the Boolean values we discuss. Thus, it is not difficult to modify the present approach to accommodate onticism. We suspect that a similar maneuver can be adopted for epistemicism.
Generally, penumbral connections are distinguishable into logical connections (e.g., the connection between ‘bald’ and ‘bald and fat’) and conceptual connections (e.g., the connection between ‘red’ and ‘pink’). In this paper we are concerned only with the former. We believe that the latter can be dealt with by an introduction of meaning postulates (with degrees) that connect the relevant concepts in an appropriate manner.
Other problematic features of fuzzy logic we won’t get into here should include its complicated notion of logical consequence (see Hajek [17]).
The completeness is actually necessary only when there are universal and existential quantifiers in the language; so it is not necessary in the present context since we are dealing only with propositional logic in this paper. We put this condition in, however, so that we can expand the language and logic easily.
This is what differentiates this valuation from the four-valued valuation for first-degree entailment (see, e.g., Priest [27], p. 146); in the negation table for FDE, U on the second row remains U, and −U on the third row remains −U. The other two tables are the same.
The resulting many-valued logics are investigated in Beall and van Fraassen [5], Sect. 11.3.
Fine himself uses ‘ p≤q’ to mean ‘q precisifies p’, but, as we shall see, our notation will prove more convenient. The ‘less means more’ convention adopted here is often employed in the forcing literature. Take \(\phantom {\dot {i}\!}\trianglelefteq \) as an arrow pointing to the direction of precisification.
Strangely, Fine discusses disjunctions but does not explicitly spell out the truth (and falsity) conditions for disjunction. Disjunction Rule here is recovered from his discussion and the truth and falsity conditions for conjunction and negation.
Note that conditions (a), (d), (e) plus this condition, given that \(\phantom {\dot {i}\!}\trianglelefteq \) is a partial order, would constitute the Kripke semantics of intuitionistic logic.
This name is taken from Jech [18], p. 204.
In this paper the symbol − is used in two ways: −X, where X is a Boolean value, is a Boolean complement (see Section 2); X−Y, where X and Y are sets, is a set subtraction. (Note, however, that a Boolean value can at the same time be a set).
Furthermore, if P is finite, we can also easily introduce the degree [ [ϕ] ] P in [0,1] as the ratio between the number of ps such that \(\phantom {\dot {i}\!}p \ {{\Vdash }_{P}} \ \phi \) and the cardinality of the power set of P. Kamp [20] introduces degrees into supervaluationism in such a fashion.
In the Kripke semantics of S4 modal logic, the following conditions hold:
-
1.
\(\phantom {\dot {i}\!}p \ {{\Vdash }_{P}} \ \square \phi \ \,\Leftrightarrow \ \,\forall q\trianglelefteq p.\ q \ {{\Vdash }_{P}} \ \phi \text {;}\)
-
2.
\(p \ {{\Vdash }_{P}} \ \square \neg \phi \ \,\Leftrightarrow \ \,\forall q\trianglelefteq p.\ q \ {{{\not {\Vdash } }}_{P}} \ \phi ;\)
-
3.
\(\phantom {\dot {i}\!}p \ {{\Vdash }_{P}} \ \phi \wedge \psi \ \,\Leftrightarrow \ \,p \ {{\Vdash }_{P}} \ \phi \text { and}\;p \ {{\Vdash }_{P}} \ \psi \text {;}\)
-
4.
\(\phantom {\dot {i}\!}p \ {{\Vdash }_{P}} \ \square \diamondsuit (\phi \vee \psi )\ \,\Leftrightarrow \ \,\forall q\trianglelefteq p\ \exists r\trianglelefteq q\ (r \ {{\Vdash }_{P}} \ \phi \text { or}\;r \ {{\Vdash }_{P}} \ \psi ),\)
where \(\phantom {\dot {i}\!}\trianglelefteq \) may be a partial order, and \(\phantom {\dot {i}\!}\square \) and ♢ are genuine modal operators ‘necessarily’ and ‘possibly’. Compare these with Eq. 8, 8, 8, and 8 as well as Eq. 33. Another way to get the results we’ve just got, suggested by the similarity revealed here, is to translate the sentences we have been considering into S4 modal formulas, inserting the modal operators \(\phantom {\dot {i}\!}\square \) and ♢ in the appropriate places, and to show that the modal formulas As such that \(\phantom {\dot {i}\!}A \leftrightarrow \square \diamondsuit A\) (the modal counterparts of regular open sets) constitute a Boolean algebra. Note that \(\phantom {\dot {i}\!}\square \diamondsuit A \leftrightarrow \square \diamondsuit \square \diamondsuit A\) for every A in S4. Smullyan and Fitting [33] exploit such a translation to connect Cohen’s forcing with the Scott-Solovay Boolean-valued models.
-
1.
There is another popular way to introduce a ‘definitely’ operator of sort, i.e., as a full-fledged counterpart of the ‘necessity’ operator in (S4) modal logic. (Recall that Fine’s ‘definitely’ operator is closer to the ‘actually’ operator than to the necessity operator). Just read \(\phantom {\dot {i}\!}\square \) in note 16 above as D (‘definitely’). However, as the aforementioned correspondence between the clauses in note 16 and those in Eq. 8 indicates, such an operator will be totally redundant in the present setting.
References
Akiba, K. (2000). Vagueness as a modality. Philosophical Quarterly, 50, 359–370.
Akiba, K. (2004). Vagueness in the world. Noûs, 38, 407–429.
Akiba, K. (2014). Boolean-valued sets as vague sets. In Akiba, K., & Abasnezhad, A. (Eds.) Vague objects and vague identity (pp. 175–195). Dordrecht: Springer.
Alxatib, S., & Pelletier, F.J. (2011). The psychology of vagueness: borderline cases and contradictions. Mind and Language, 26, 287–326.
Beall, J.C., & van Fraassen, B.C. (2003). Possibilities and paradox: an introduction to modal and Many-Valued logic. Oxford: Oxford University Press.
Bell, J.L. (2005). Set theory: Boolean-valued models and independence proofs, 3rd edition. Oxford: Clarendon Press. First edition, 1977.
Beth, E.W. (1965). The foundations of mathematics. Amsterdam: North-Holland.
Bonini, N., Osherson, D., Viale, R., & Williamson, T. (1999). On the psychology of vague predicates. Mind and Language, 14, 377–393.
Cohen, P.J. (1966). Set theory and the continuum hypothesis. New York: Benjamin.
Crossley, J.N., & Humberstone, I.L. (1977). The logic of ‘actually’. Reports on Mathematical Logic, 8, 11–29.
Dummett, M. (1975). Wang’s paradox. Synthese, 30, 301–324.
Fine, K. (1975). Vagueness, truth and logic. Synthese, 30, 265–300.
Fitting, M.C. (1969). Intuitionistic logic, model theory and forcing. Amsterdam: North-Holland.
Gentzen, G. (1969). Investigation into logical deduction. In Szabo, M. E. (Ed.) The collected papers of Gerhard Gentzen. Originally, 1935 (pp. 68–131). Amsterdam: North-Holland.
Givant, S., & Halmos, P. (2009). Introduction to Boolean algebras. New York: Springer.
Goguen, J.A. (1969). The logic of inexact concepts. Synthese, 19, 325–373.
Hajek, P. (1998). Metamathematics of fuzzy logic. Dordrecht: Kluwer.
Jech, T. (2003). Set theory, 3rd edition. Dordrecht: Springer. First edition, 1978.
Jónsson, B., & Tarski, A. (1950). Boolean algebras with operators, part 1. American Journal of Mathematics, 73, 891–939.
Kamp, J.A.W. (1975). Two theories about adjectives In Keenan, E.L. (Ed.), Formal semantics of natural language, (pp. 123–155). Cambridge, England: Cambridge University Press.
Keefe, R. (2000). Theories of vagueness. Cambridge, England: Cambridge University Press.
Kunen, K. (2013). Set Theory, revised edition. London: College Publications. First edition, 2011.
Lakoff, G. (1973). Hedges: a study in meaning criteria and the logic of fuzzy concepts. Journal of Philosophical Logic, 2, 458–508.
Lemmon, E.J. (1966). Algebraic semantics for modal logics I and II. Journal of Symbolic Logic, 31, 46–65, 191–218.
Machina, K. (1976). Truth, belief and vagueness. Journal of Philosophical Logic, 5, 47–78.
McKinsey, J., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45, 141–191.
Priest, G. (2008). An introduction to non-classical logic. 2nd edition . First edition, 2001. Cambridge, England: Cambridge University Press.
Prior, A.N. (1968). ‘Now’. Noûs, 2, 101–119.
Rasiowa, H., & Sikorski, R. (1963). The mathematics of metamathematics. Warsaw: PWN.
Serchuk, P., Hargraves, I., & Zach, R. (2011). Vagueness, logic and use: four experimental studies of vagueness. Mind and Language, 26, 540–573.
Smith, N.J.J. (2008). Vagueness and degrees of truth. Oxford: Oxford University Press.
Smullyan, R.M. (1968). First-order logic. New York: Springer.
Smullyan, R.M., & Fitting, M. (2010). Set Theory and the Continuum Problem, revised edition. Mineola, New York: Dover. First edition, New York: Oxford University Press, 1996.
Varzi, A.C. (2007). Supervaluationism and its logics. Mind, 116, 633–675.
Weatherson, B. (2005). True, truer, truest. Philosophical Studies, 123, 43–70.
Williamson, T. (1994). Vagueness. London: Routledge.
Zadeh, L.A. (1965). Fuzzy sets. Information and Control, 8, 338–353.
Acknowledgments
Our utmost gratitude goes to the referee for Journal of Philosophical Logic, whose invaluable comments on the two previous drafts of this paper have helped us to improve the paper tremendously.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Akiba, K. A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach. J Philos Logic 46, 419–441 (2017). https://doi.org/10.1007/s10992-016-9405-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-016-9405-y