Does Duns Scotus identify the natural will with the affectio commodi ? This identifica- tion has become the standard view. In this paper, I will challenge this view through an analysis of some key texts. The main thesis of the paper is that Scotus allows for two scenarios related to the will’s dual affections. The first is the real situation of the created will: the will is a free potency and possesses two affections. The second is a hypothetical case; Scotus (...) suggests the fictive case of a will that only possesses the affectio commodi. Accordingly, it can be concluded that: (i ) when considering the will in its real condi- tion, both affections belong to the will’s free appetite; (ii) in the hypothetical case the natural will, the intellectual appetite and the affectio commodi are all identified; (iii ) in the real condition of the will, the natural will is a passive inclination to receive perfection. (shrink)

The most common way of proving decidability in propositional modal logic is to shew that the system in question has the finite model property. This is not however the only way. Gabbay in [4] proves the decidability of many modal systems using Rabin's result in [8] on the decidability of the second-order theory of successor functions. In particular [4, pp. 258-265] he is able to prove the decidability of a system which lacks the finite model property. Gabbay's system is however (...) complete, in the sense of being characterized by a class of frames, and the question arises whether there is a decidable modal logic which is not complete. Since no incomplete modal logic has the finite model property [9, p. 33], any proof of decidability must employ some such method as Gabbay's. In this paper I use the Gabbay/Rabin technique to prove the decidability of a finitely axiomatized normal modal propositional logic which is not characterized by any class of frames. I am grateful to the referee for suggesting improvements in substance and presentation.The terminology I am using is standard in modal logic. By aframeis understood a pair 〈W, R〉 in whichWis a class (of “possible worlds”) andR⊆W2. To avoid confusion in what follows, a frame will henceforth be referred to as aKripkeframe. By contrast, ageneral frameis a pair 〈,Π〉 in whichis a Kripke frame andΠis a collection of subsets ofWclosed under the Boolean operations and satisfying the condition that ifAis inΠthen so isR−1“A. A model on a frame (of either kind) is obtained by adding a functionVwhich assigns sets of worlds to propositional variables. In the case of a general frame we require thatV(p) ∈Π. (shrink)

Formalized physical theories are not, as a rule, stated in intensional languages. Yet in talking about them we often treat them as if they were. We say for instance: 'Consider what would happen if instead of p's being true q were. In such a case r would be likely.' If we say this sort of thing, p, q and r appear to stand for the meanings of sentences of the theory, but meanings in some intensional sense. Now it is very (...) easy to extend the syntax of the formal theory by adding all sorts of intensional operators, e.g. a modal operator; and it is possible to extend the semantics by adding a set of possible worlds and evaluating the modal formulae in the usual way. But this procedure is open to the criticism that we are extending the theory by adding something which is not already there. In particular the criticism will be that the possible worlds required by the semantics seem to have no connection with the intended interpretations of the original physical theory. The aim of this paper is to shew how a set of possible worlds is already implicit in the intended interpretations of a formally presented physical theory and that these interpretations induce, in a comparatively direct way, an intensional semantics which corresponds to the original one. (shrink)

In 1945 J.C.C. McKinsey produced a ‘semantics’ for modal logic based on necessity defined in terms of validity. The present papers looks at how to update F.R. Drake’s completeness proof for McKinsey’s semantics by comparing McKinsey ‘models’ with the now standard Kripke models. It also looks at the motivation behind the system McKinsey called S4.1, but which we now call S4M; and use this motivation to produce a McKinsey semantics for that system. One lesson which emerges from this work is (...) an appreciation of the superiority of the current possible worlds semantics based on frames and models, both in terms of an intuitive understanding of modality, and also in terms of the ease of working with particular systems. (shrink)

Sexual violence against women is an issue of urgency that arises in all cultures locally, nationally, globally and transnationally. This problem has broad dimensions in both the public and private domains, both cases that are reported or not reported to law enforcement. Factually, the trend of this problem has been identified as increasing every year in Maluku, Indonesia. Therefore, the church requires serious attention to prevention and systematic treatment to overcome it. This sensitivity and awareness are a manifestation of the (...) church’s sense of calling and responsibility for the restoration of human dignity. The pastoral sermon service model is the church’s strategic approach to handling this problem. This research aimed to develop a model of pastoral sermons for victims of sexual violence against women in Maluku. This research focused on identifying and exploring the tragic experiences and impacts of sexual violence against women. Furthermore, a cross-cultural pastoral model was created for victims of violence.Contribution: This article provided a new perspective from the post-modern homiletics to approach social issues. This new homiletical approach to dealing with the problem of women’s sexual violence is one of the main focuses of ‘Women’s Theological Studies’ in HTS. (shrink)

We extend the theory of “Fine structure and iteration trees” to models having more than one Woodin cardinal.

Despite All Critique (2014) -- World Politics and Western Reason (1980) -- The Doubled Outsides of the Modern International (2005) -- The Subject of Security (1995) -- The Protection of Nature and the Nature of Protection (2005) -- Social Movements/World Politics (1994) -- Europe is Not Where It is Supposed to Be (2000) -- They Seek it Here, They Seek it There : Looking for Politics in Clayoquot Sound (2003) -- Violence, Modernity, Silence : From Weber to International Relations (1993) (...) -- Hobbes, Origins, Limits (2011) -- War, Terror, Judgement (2002) -- International, Imperial, Exceptional (2005) -- Which Democracy for Which Demos? (2013) -- The Political Theory of Boundaries and the Boundaries of Political Theory : Interview With Raia Prokhovnik (2012). (shrink)

[D. H. Mellor] Kant's claim that our knowledge of time is transcendental in his sense, while false of time itself, is true of tenses, i.e. of the locations of events and other temporal entities in McTaggart's A series. This fact can easily, and I think only, be explained by taking time itself to be real but tenseless. /// [J. R. Lucas] Mellor's argument from Kant fails. The difficulties in his first Antinomy are due to topological confusions, not the tensed nature (...) of time. Nor are McTaggart' s difficulties due to the tensed nature of time. The ego-centricity of tensed discourse is an essential feature of communication between selves, each of whom refers himself as 'I', and is required for talking about time as well as experience and agency. Arguments based on the Special Theory are misconceived. Some rest on a confused notion of 'topological simultaneity'. In the General Theory a cosmic time is defined, as also in quantum mechanics, where a natural present is defined by a unique hyperplane of collapse into eigen-ness. (shrink)

In this article I consider a two-page autobiographical recount which appears at the end of Nelson Mandela's book Long Walk to Freedom as a summary of his life and what he has learned from it. My aim is to illustrate the role of a detailed analysis of single texts in the field of discourse analysis, as opposed to studies of selected variables across a corpus of texts. The analysis is conducted within the general theoretical framework of systemic functional linguistics, with (...) special attention to transitivity, mood, theme, grammatical metaphor, lexical relations, conjunction, tense, phase, process type, hierarchy of periodicity, polarity, continuity, elaboration, extension and the analysis of images in multimodal text. Through these procedures I show the way in which Mandela reconciles the linear unfolding of his life history with the deepening understanding of freedom that gives meaning to his life - by means of a spiral texture which returns again and again to the meaning of freedom at different levels of abstraction. The effect, I think, is inspirational - with no tinge of bitterness or betrayal; rather a message of hope and wisdom - grace personified. The approach exemplifies a positive style of discourse analysis that focuses on hope and change, by way of complementing the deconstructive exposé associated with critical discourse analysis. (shrink)

Arenhart_Krause_Uma-logica-da-indistinguibilidade.

I am idebted to members of the Wellington Logic Seminar for useful discussions of work of which this essay forms part, in particular to M. J. Cresswell for comments in the earlier stages of the investigation and to R. I. Goldblatt who suggested the definition ofB infD supu and made numerous other suggestions.

This paper responds to Antje du-Bois Pedain’s discussion of the wrongfulness constraint on the criminal law. Du-Bois Pedain argues that the constraint is best interpreted as stating that φing is legitimately criminalised only if φing is wrongful for other-regarding reasons. We take issue with du-Bois Pedain’s arguments. In our view, it is neither a necessary nor sufficient condition of legitimate criminalisation that φing is wrongful in du-Bois Pedain’s sense. Rather, it is a necessary condition of legitimate criminalisation that φing is (...) what we call bare wrongful —that is, that the reasons in favour of φing are defeated by the reasons against. Though du-Bois Pedain is critical of this view, we argue that her criticisms do not convince. (shrink)

O objetivo deste ensaio é examinar a proposta de Sandy Goldberg, segundo a qual há divisão de trabalho epistêmico em certos processos de aquisição de conhecimento – ao menos em se tratando de conhecimento testemunhal. Goldberg propõe mostrar a veracidade desta alegação salientando a nossa dependência epistêmica em relação a outros indivíduos, ou mesmo comunidades inteiras. Nós, então, vamos propor o tratamento de um famoso caso tipo-Gettier que, segundo Gilbert Harman, revelaria algumas dimensões sociais do conhecimento. Por fim, nós esperamos (...) tirar algumas lições da explicação oferecida por Goldberg, dentre as quais a mais importante a ser tomada é que, havendo tal divisão de trabalho epistêmico em processos de aquisição de conhecimento, muitas vezes, não são apenas as propriedades epistêmicas do sujeito que determinam a sua posse de conhecimento ou ignorância, de modo que o conhecimento é mais social do que individual em se tratando de uma ampla gama de casos. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

The safety condition on knowledge, in the spirit of anti-luck epistemology, has become one of the most popular approaches to the Gettier problem. In the first part of this essay, I intend to show one of the reasons the anti-luck epistemologist presents for thinking that the safety theory, and not the sensitivity theory, offers the proper anti-luck condition on knowledge. In the second part of this essay, I intend to show that the anti-luck epistemologist does not succeed, because the safety (...) theory fails to capture a necessary requirement for the possession of knowledge. I will attack safety on two fronts. First, I will raise doubts about whether there is any principled safety condition capable of handling a kind of case, involving inductive knowledge, that it was designed to handle. Second, I will consider two cases in which the safety condition is not met but the protagonist seems to have knowledge nonetheless, and I will vindicate my intuitions for thinking that those are in fact cases of knowledge by contrasting them with traditional, well-known Gettier cases. I want to conclude, finally, that safety failures do not necessarily prevent one from acquiring knowledge. (shrink)