Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...) solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations. (shrink)

Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...) The finite model property for related substructural logics also follow by our method. In particular, we shall show that the property holds for all of FL and GL - -systems except FL c and GL - c of Ono [11], that will settle the open problems stated in Ono [12]. (shrink)

Abstract In this paper, we show that Greek distinguishes empirically ability as a precondition for action, and ability as initiating and sustaining force for action. In this latter case, the ability verb behaves like an action verb, and the sentence has the logical form of a causative structure φ CAUSE [BECOME ψ] (Dowty 1979). The distinction between ability as potential for action and ability as action itself has a venerable tradition that goes back to Aristotle, and is recently implied in (...) a number of analyses (Mari and Martin 2007, 2009, Thomason 2005). We show first that the phenomenon is not just aspectual ( pace Bhatt 1999, Hacquard 2006, 2009, Pinon 2003): actualized ability emerges with the ability verb also with imperfective aspect and present tense. They key, we argue is causation, which triggers a shift from pure ability, to ability as force (in the sense of Copley and Harley 2010, i.e. as action initiating energy). In Greek, the action reading of the ability modal comes about in an apparent co-ordinate causative structure, where the two clauses are connected with conjunction ke ‘and’— a pattern that we find also in other languages, including English, at least with some action verbs such as try, allow . Our analysis implies a meaning of ability richer than mere possibility ( pace Hacquard); and, by capitalizing on the causative meaning and the presence of force in causative structures, our analysis enables a principled explanation of the shift to action-ability without positing ambiguity for the ability verb ( pace Bhatt 1999). (shrink)