Various representation results have been established for logics of belief revision, in terms of remainder sets, epistemic entrenchment, systems of spheres and so on. In this paper I present another representation for logics of belief revision, as an algebra of theories. I show that an algebra of theories, enriched with a set of rejection operations, provides a suitable algebraic framework to characterize the theory change operations of systems of belief revision. The theory change operations arise as power operations of the (...) conjunction and disjunction connectives of the underlying logic. (shrink)

This paper continues the power ordering approach to verisimilitude. We define a parameterized verisimilar ordering of theories in the finite propositional case, both semantically and syntactically. The syntactic definition leads to an algorithm for computing verisimilitude. Since the power ordering approach to verisimilitude can be translated into a standard notion of belief revision, the algorithm thereby also allows the computation of membership of a belief-revised theory.

We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperators with which to formalise the notion of defeasible (...) necessity and distinct possibility, and that can be used to represent expected effects, refutable knowledge, and so on. We show how KLM-style conditionals can smoothly be integrated with our richer language. We also propose a tableau calculus which is sound and complete with respect to our modal preferential semantics, and of which the computational complexity remains in the same class as that of the underlying classical modal logic. (shrink)

Modal accounts of normality in non-monotonic reasoning traditionally have an underlying semantics based on a notion of preference amongst worlds. In this paper, we motivate and investigate an alternative semantics, based on ordered accessibility relations in Kripke frames. The underlying intuition is that some world tuples may be seen as more normal, while others may be seen as more exceptional. We show that this delivers an elegant and intuitive semantic construction, which gives a new perspective on defeasible necessity. Technically, the (...) revisited logic does not change the expressive power of our previously defined preferential modalities. This conclusion follows from an analysis of both semantic constructions via a generalisation of bisimulations to the preferential case. Reasoners based on the previous semantics therefore also suffice for reasoning over the new semantics. We complete the picture by investigating different notions of defeasible conditionals in modal logic that can also be captured within our framework. (shrink)

This article focuses on the current trends and initiatives in human capacity building in Africa. It takes as it starting point that human capacity development is essential for Africa to become an information and know-ledge society and therefore an equal partner in the global sharing of knowledge. Four knowledge areas are identified and discussed. These are education, research and development, brain drain and information and documentation drain. The paper concludes that there is a clear understanding in Africa that its future (...) lies with education and that most African leaders have a strong political will to invest in human capacity building on the continent. It is also clear that much has been done, particularly primary education. Africa will most defi-nitely benefit from this in the long run. Problem areas remain however. These are in the needed growth of research and development and how to address the brain and information drain phenomena. (shrink)

A historical investigation of the exclusion of Africa and Asia from modern histories of philosophy.

We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.

There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and explicate one formal framework for a (...) whole spectrum of consequence relations, flexible enough to be tailored for choices from a variety of contexts. We do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, our infra-classical reasoning demands (beyond ${\alpha\models\beta}$ ) that Mod(β) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(α), and which can be described by a sentence ${\bullet\alpha}$ with ${\beta\models\bullet\alpha}$ . Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies. (shrink)

European integration has increased to encompass security-related policies. One such policy is defense industry policy, which traditionally has been a national concern rooted in defense and security policy. Efforts have been made since the 1990s to create a European defense industry market. However, there have been different ideas of how this goal should be achieved or which model for state—industry relations the market should rest on. Using Sweden to illustrate the development, this article argues that for the Europeanization of defense (...) industry policy, marketization has played a vital role. Building on official documents and interviews, the article analyzes the efforts to create a European defense industry market, marketization of Swedish defense industry policy, and the increased interaction between Swedish and European defense industry policy processes. The analysis also shows domestic challenges that the processes of Europeanization and marketization have brought about. (shrink)

How (Not) to Be Secular is what Jamie Smith calls "your hitchhiker's guide to the present" -- it is both a reading guide to Charles Taylor's monumental work A Secular Age and philosophical guidance on how we might learn to live in our times. Taylor's landmark book A Secular Age (2007) provides a monumental, incisive analysis of what it means to live in the post-Christian present -- a pluralist world of competing beliefs and growing unbelief. Jamie Smith's book is a (...) compact field guide to Taylor's insightful study of the secular, making that very significant but daunting work accessible to a wide array of readers. Even more, though, Smith's How (Not) to Be Secular is a practical philosophical guidebook, a kind of how-to manual on how to live in our secular age. It ultimately offers us an adventure in self-understanding and maps out a way to get our bearings in today's secular culture, no matter who "we" are -- whether believers or skeptics, devout or doubting, self-assured or puzzled and confused. This is a book for any thinking person to chew on. (shrink)

The global digital divide represents one of the most significant examples of international inequality. In North America and Western Europe, nearly 70% of citizens use the Internet on a regular basis, whereas in Africa less than 4% do so. Such inequality impacts business and trade, online education and libraries, telemedicine and health resources, and political information and e-government. In response, a group of educators and community leaders in South Africa and the United States have used various information technologies to create (...) a ―global classroom‖ that connects people in the two countries. University students, high school students, and other citizens communicate via Internet exchanges, video conferencing, and digital photo essays. The project has produced a number of tangible benefits and it has developed a model for reducing inequality in global education, at least for those institutions with the technological resources to participate. We also present several recommendations for how to expand the initiative and thereby increase the number of people who can benefit from it. (shrink)

This paper discusses basic concepts and recentdevelopments in intellectual property ownership in theUnited States. Various philosophical arguments havepreviously been put forward to support the creation andmaintenance of intellectual property systems. However, in an age of information, access toinformation is a critical need and should beguaranteed for every citizen. Any right of controlover the information, adopted as an incentive toencourage creation and distribution of intellectualproperty, should be subservient to an overriding needto ensure access to the information. The principlesunderlying intellectual property regimes (...) in the UnitedStates recognize and embody this. In addition, thephilosophical/ethical dimensions of this debate couldalso be structured to support this attitude as well. Intellectual property is fast becoming digitalproperty. New technologies allow owners to extendtheir control of both legitimate uses and misuses ofthe intellectual property. Recent trends demonstratethat the access principle has not always beenparamount in judicial or legislative applications. Thetrend rather is to allow a proprietarianism factor todominate the analysis. Finally, several principles areforwarded which would assist adjudicators and policymakers in reaffirming the basic purpose of theintellectual property law, which is to benefit thepublic at large. (shrink)

Laughter and yawning can both occur spontaneously and are highly contagious forms of social behavior. When occurring contagiously, laughter and yawning are usually confounded with a social situation and it is difficult to determine to which degree the social situation or stimulus itself contribute to its contagion. While contagious yawning can be reliably elicited in lab when no other individuals are present, such studies are more sparse for laughter. Moreover, laughter and yawning are multimodal stimuli with both an auditory and (...) a visual component: laughter is primarily characterized as a stereotyped vocalization whereas yawning is a predominantly visual signal and it is not known to which degree the visual and auditory modalities affect the contagion of laughter and yawning. We investigated how these two sensory modalities contribute to the contagion of laughter and yawning under controlled laboratory conditions in the absence of a social situation that might confound their contagion. Subjects were presented with naturally produced laughter and yawning in three sensory modalities, and we recorded their reaction to these stimuli. Contagious responses differed for laughter and yawning: overall, laughter elicited more contagious responses than yawning, albeit mostly smiling rather than overt laughter. While the audio-visual condition elicited most contagious responses overall, laughter was more contagious in the auditory modality, and yawning was more contagious in the visual modality. Furthermore, laughter became decreasingly contagious over time, while yawning remained steadily contagious. We discuss these results based on the ontogenetic and phylogenetic trajectories of laughter and yawning. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Mindfulness-based interventions have proved effective in reducing various clinical symptoms and in improving general mental health and well-being. The investigation of the mechanisms of therapeutic change needs methods for assessment of mindfulness. Existing self-report measures have, however, been strongly criticized on various grounds, including distortion of the original concept, response bias, and other. We propose a psychophysiological method for the assessment of the mindfulness learned through time-limited mindfulness-based therapy by people who undergo meditation training for the first time. We use (...) the individual pre-post-therapy changes (dERPi) in the event-related brain potentials (ERPs) recorded in a passive meditation task as a measure of increased mindfulness. dERPi is computed through multivariate assessment of individual participant's ERPs. We tested the proposed method in a group of about 70 recurrently depressed participants, randomly assigned in 1.7:1 ratio to mindfulness-based cognitive therapy (MBCT) or cognitive therapy (CT). The therapy outcome was measured by the long-term change (dDS) relative to baseline in the depression symptoms (DS) assessed weekly, for 60 weeks, by an online self-report questionnaire. We found a strong, highly significant, negative correlation (r = -0.55) between dERPi (mean = 0.4) and dDS (mean = -0.7) in the MBCT group. Compared to this result, the relationship between dDS and the other (self-report) measures of mindfulness we used was substantially weaker and not significant. So was also the relationship between dERPi and dDS in the CT group. The interpretation of dERPi as a measure of increased mindfulness was further supported by positive correlations between dERPi and the other measures of mindfulness. In this study, we also replicated a previous result, namely, the increase (dLCNV) of the late contingent negative variation (LCNV) of the ERP in the MBCT group, but not in the control group (in this case, CT). We interpreted dLCNV as a measure of increased meditative concentration. The relationship between dLCNV and dDS was, however, very week, which suggests that concentration might be relatively unimportant for the therapeutic effect of mindfulness. The proposed psychophysiological method could become an important component of a "mindfulness test battery" together with self-report questionnaires and other newly developed instruments. (shrink)

Practical deliberation often involves conditional judgements about what will (likely) happen if certain alternatives are pursued. It is widely assumed that the conditionals useful in deliberation are counterfactual or subjunctive conditionals. Against this, I argue that the conditionals of deliberation are indicatives. Key to the argument is an account of the relation between 'straightforward' future-directed conditionals like ' If the house is not painted, it will soon look quite shabby' and * "w e r e ' ' e d F (...) D C s like ' If the house were not to be painted, it would soon look quite shabby': an account on which both of these types of FDCs are grouped with the indicatives for semantic treatment and on which, while conditionals of both types are properly used in means/ends deliberations, those of the ' were'ed-up variety are especially well suited for that purpose. (shrink)

In the traditional form of canonical quantization, certain field components (not having “conjugate” momenta) must be regarded as noncanonical. This long-known distinction enters modern gauge theories, when they are canonically quantized as by Kugo and Ojima. We avoid that peculiarity by not using any conjugate “momenta” at all. In our formulation, canonical quantization can be related to Feynman's path integral.

Aggregating individuals’ consistent attitudes might produce inconsistent collective attitudes. Some groups therefore need the capacity to form attitudes that are irreducible to those of their members. Such groups, group-agent realists argue, are agents in control of their own attitude formation. In this paper, however, I show how group-agent realism overlooks the important fact that groups consist of strategically interacting agents. Only by eliminating group agency from our social explanations can we see how individuals vote strategically to gain control of their (...) groups and produce collective attitudes we cannot make sense of if we treat groups as agents. (shrink)