Susanne Bobzien

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections.

ABSTRACT: Recently a bold and admirable interpretation of Chrysippus’ position on the Sorites has been presented, suggesting that Chrysippus offered a solution to the Sorites by (i) taking an epistemicist position1 which (ii) made allowances for higher-order vagueness. In this paper I argue (i) that Chrysippus did not take an epistemicist position, but − if any − a non-epistemic one which denies truth-values to some cases in a Sorites-series, and (ii) that it is uncertain whether and how he made allowances for higher-order vagueness, but if he did, this was not grounded on an epistemicist position.

NOTE: The English translation is listed separately. ABSTRACT: A general interpretation and close textual analysis of Kant’s theory of the categories of freedom (or categories of practical reason) in his Critique of Practical Reason. My main concerns in the paper are the following: (1) I show that Kant’s categories of freedom have primarily three functions: as conditions of the possibility for actions (i) to be free, (ii) to be comprehensible as free and (iii) to be morally evaluated. (2) I show that for Kant actions, although qua theoretical objects they are always already constituted by means of the theoretical categories, qua practical objects (objects of reason in its practical use, i.e. objects qua possibly good or bad) they are constituted by means of the categories of freedom; and that it is only in this way that actions, qua phenomena, can be a consequence of freedom, and can be understood and evaluated as such. (3) Since Kant's presentation of his theory of the Categories of Freedom is extremely brief, Kant's parallel theory of the theoretical categories in his Critique of Pure Reason is used as a guide for the interpretation of the practical categories and their systematic relevance.

ABSTRACT: In contemporary discussions of freedom in Stoic philosophy we often encounter the following assumptions: (i) the Stoics discussed the problem of free will and determinis; (ii) since in Stoic philosophy freedom of the will is in the end just an illusion, the Stoics took the freedom of the sage as a substitute for it and as the only true freedom; (iii) in the c. 500 years of live Stoic philosophical debate, the Stoics were largely concerned with the same philosophical problems of freedom. In this paper I argue that (i) can be upheld only in a very restricted way; (ii) is altogether untenable; and regarding (iii), that, although there may have occurred little change in the Stoic philosophical position on freedom over the centuries, we can detect more than one transformation of the philosophical problems that were at the forefront of the discussion. Moreover, that all the conceptions and problems of freedom were linked to Stoic ethics, and that the differences between them become transparent when one considers their various roles in this context.