Intuitionistic Theories of Vagueness

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...) of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

A number of serious problems are raised against Crispin Wright’s quandary conception of vagueness. Two alternative conceptions of the quandary view are proposed instead. The first conception retains Wright’s thesis that, for all one knows, a verdict concerning a borderline case constitutes knowledge. However a further problem is seen to beset this conception. The second conception, in response to this further problem, does not enjoin the thesis that, for all one knows, a verdict concerning a borderline case constitutes knowledge. The (...) result is a much simpler and more plausible version of the quandary view. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

This paper addresses three problems: the problem of formulating a coherent relativism, the Sorites paradox and a seldom noticed difficulty in the best intuitionistic case for the revision of classical logic. A response to the latter is proposed which, generalised, contributes towards the solution of the other two. The key to this response is a generalised conception of indeterminacy as a specific kind of intellectual bafflement-Quandary. Intuitionistic revisions of classical logic are merited wherever a subject matter is conceived both as (...) liable to generate Quandary and as subject to a broad form of evidential constraint. So motivated, the distinctions enshrined in intuitionistic logic provide both for a satisfying resolution of the Sorites paradox and a coherent outlet for relativistic views about, e.g., matters of taste and morals. An important corollary of the discussion is that an epistemic conception of vagueness can be prised apart from the strong metaphysical realism with which its principal supporters have associated it, and acknowledged to harbour an independent insight. (shrink)

Putnam's intuitionist proposal for a logic of vague terms is defended. It is argued that both classical logic and the degrees of truth approach are committed to treating vague terms as having hidden precise borderlines. This is a crucial failing in a logic of vagueness. Intuitionism, because of the nature of intuitionist negation, avoids this failing.

The purpose of this article is to compare the theory that there are degrees of truth with putnam's intuitionist theory as rival solutions to the sorites paradox. I argue that intuitionist logic lacks explanatory support and is self-Defeating. The degree theory on the other hand offers an illuminating explanation of the sorites fallacy.

" In 'Vagueness and Alternative Logic' (Realism and Reason, Cambridge 1983, pp. 271-86, especially 285-6), Hilary Putnam puts forward a suggestion for a formal treatment of the logic of vagueness. … Putnam admits that, at the time of writing, he had not thought this idea through. What will already be apparent to the alert reader is that, in order to disclose serious difficulties for the proposal, Putnam would not have had to think far.".

The aim of this paper is, firstly to explain Crispin Wright’s quandary view of vagueness, his intuitionistic response to sorites and the relation of borderline cases and bivalence, and, secondly assess the objections to his ideas.

SI is a paradox because it presents four appearances that cannot all be veridical: first, it appears to be valid—after all, it’s both classically and intuitionistically valid; second, its sorites premiss, (2), seems merely to state the obvious fact that in the sorites march from 2¢ to 5,000,000,000¢ there is no precise point that marks the cutoff between not being rich and being rich; third, premiss (1), which asserts that a person with only 2¢ isn’t rich, is surely true; and (...) fourth, the conclusion (3), which asserts that a person with 5,000,000,000¢—i.e. $50 million—isn’t rich, is surely false. (shrink)

There is now a widespread accord among philosophers that the vagueness of natural language gives rise to some particularly deep and perplexing problems and paradoxes. It was not always so. For most of the first century of analytical philosophy, vagueness was generally regarded as a marginal, slightly irritating phenomenon, —receiving some attention, to be sure, in parts of the Philosophical Investigations and in the amateur linguistics enjoyed by philosophers in Oxford in the 1950s, but best idealised away in any serious (...) theoretical treatment of meaning, understanding and valid inference. Frege, as is well known, had come to be thoroughly mistrustful of vagueness, supposing that a language fit for the purpose of articulating scientific and mathematical knowledge would have to be purified of it. Later trends in philosophical logic and semantics followed his lead, not indeed in setting about the (futile) task of expurgating vagueness from natural language but by largely restricting theoretical attention to artificial languages in whose workings vagueness was assigned no role. (shrink)