Chain-Arguments and the Sorites Paradox

A finite chain of valid arguments can never lead from truth to falsehood. Call this the concatenation principle, or CP. Some propose to reject CP in response to the sorites paradox. I offer a justification of a restricted version of CP based on intuitively-appealing principles, all of which are already assumed in mathematics. The restricted version excludes soritical cases, but covers intuitively correct applications of CP in mathematics and elsewhere. The upshot is that the cost of rejecting the unrestricted CP is much lower than is often assumed.     

Strict Finitism and the Happy Sorites

Call an argument a ‘happy sorites’ if it is a sorites argument with true premises and a false conclusion. It is a striking fact that although most philosophers working on the sorites paradox find it at prima facie highly compelling that the premises of the sorites paradox are true and its conclusion false, few (if any) of the standard theories on the issue ultimately allow for happy sorites arguments. There is one philosophical view, however, that appears to allow for at least some happy sorites arguments: strict finitism in the philosophy of mathematics. My aim in this paper is to explore to what extent this appearance is accurate. As we shall see, this question is far from trivial. In particular, I will discuss two arguments that threaten to show that strict finitism cannot consistently accept happy sorites arguments, but I will argue that (given reasonable assumptions on strict finitistic logic) these arguments can ultimately be avoided, and the view can indeed allow for happy sorites arguments.     

Higher-Order Sorites Paradox

The naive theory of vagueness holds that the vagueness of an expression consists in its failure to draw a sharp boundary between positive and negative cases. The naive theory is contrasted with the nowadays dominant approach to vagueness, holding that the vagueness of an expression consists in its presenting borderline cases of application. The two approaches are briefly compared in their respective explanations of a paramount phenomenon of vagueness: our ignorance of any sharp boundary between positive and negative cases. These explanations clearly do not provide any ground for choosing the dominant approach against the naive theory. The decisive advantage of the former over the latter is rather supposed to consist in its immunity to any form of sorites paradox. But another paramount phenomenon of vagueness is higher-order vagueness: the expressions (such as ‘borderline’ and ‘definitely’) introduced in order to express in the object language the vagueness of the object language are themselves vague. Two highly plausible claims about higher-order vagueness are articulated and defended: the existence of “definitely ^ω ” positive and negative cases and the “radical” character of higher-order vagueness itself. Using very weak logical principles concerning vague expressions and the ‘definitely’-operator, it is then shown that, in the presence of higher-order vagueness as just described, the dominant approach is subject to higher-order sorites paradoxes analogous to the original ones besetting the naive theory, and therefore that, against the communis opinio, it does not fare substantially better with respect to immunity to any form of sorites paradox.     

A Wittgensteinian Solution to the Sorites

I develop a solution to the Sorites Paradox, according to which a concatenation of valid arguments need not itself be valid. I specify which chains of valid arguments are those that do not preserve validity: those that pass the vague boundary between cases where the relevant concept applies and cases where that concept does not apply. I also develop various criticisms of this solution and show why they fail; basically, they all involve a petitio at some stage. I criticise the conviction that if every short argument in a long concatenated argument is valid, so is the long argument: it is, I argue, the result of an unjustified generalisation from the case of arguments that do not employ vague concepts (as in mathematics) to arguments that do employ them. My approach is Wittgensteinian in its “leaving everything as it is,” in its claiming that the “beginning” has been searched too far back (see paper's epigraph) and in its claim that the paradox was generated by a misapplication of a partial picture of the behaviour of arguments. I conclude my paper by comparing and contrasting my approach to the few precedents found in the vagueness literature and by answering a few additional objections that were raised there.     

论Priest对Sorites悖论的模糊解悖方案

G.Priest在1998-2003年之间有一个对sorites悖论的模糊解悖方案,根据该解悖方案,对含混语言的最佳语意论应该是某种的模糊语意论。在这样的模糊语意论中,边界语句是既真且假的语句,而sorites悖论中所涉及的离断律和等同传递律则不是有效的推论步骤。Priest并试图利用这样的语意论去说明：为什么sorites悖论看起来像是有效的论证,以及为什么切割点的存在尽管必然却违反直觉。我在本文中论证：Priest的模糊解悖方案是一个完全失败的方案,因此最好被放弃。我论证,Priest的模糊解悖方案至少有以下几个主要的问题：它与Priest的真理理论以及双面真理论不兼容、它对于sorites悖论的诊断有特设的嫌疑、它对于sorites悖论为何看起来有效的说明不具有可信度、它对于切割点存在何以违反直觉的说明也不具有可信度、它有将高阶含混性崩塌为一阶含混性之虞。     

Conjunction-based Sorites: A Misguided Objection to Degree-Theoretic (Fuzzy) Solutions to Sorites Paradoxes

In 1987, Crispin Wright argued that degree-theoretic (fuzzy) solutions to the Sorites paradox fail because the solutions do not work when the paradox is restated using a conjunctive major premise. I show that Wright is incorrect: degree-theoretic solutions also work when the paradox is stated with a conjunctive major premise.     

The Phenomenal Sorites and Response Dependence 1

Natural-kind essentialism faces an important but neglected difficulty: the problem of complex essences (PCE). This is the question of how to account for the unity of an instantiated kind-essence when that essence consists of multiple distinct properties, some of which lack an inherent necessary connection between them. My central goal here is to propose an essentialism-friendly solution to this problem. Along the way I also employ some points from that solution to argue for the necessary truth of essentialism (necessary, that is, in all possible worlds in which there are material objects), and to support the essentialist ontology of laws over and against a major rival.