We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.

In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities (...) of the logic with respect to expressivity in order to denote particular positions of the proximity intervals. (shrink)

Combining modalities has proven to have interesting applications and many approaches that combine time with other types of modalities have been developed. One of these approaches uses accessibility functions between flows of time to study the basic properties of the functions, such as being total or partial, injective, surjective, etc. The completeness of certain systems expressing many of these properties, with the exception of surjectivity, has been proven. In this paper we propose a language with nominals to denote the initial (...) and final sets of each function in a model in order to obtain a complete system for reasoning about surjective partial functions. (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...) process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

Argument evaluation, one of the central problems in argumentation theory, consists in studying what makes an argument a good one. This paper proposes a formal approach to argument evaluation from the perspective of justification logic. We adopt a multi-agent setting, accepting the intuitive idea that arguments are always evaluated by someone. Two general restrictions are imposed on our analysis: non-deductive arguments are left out and the goal of argument evaluation is fixed: supporting a given proposition. Methodologically, our approach uses several (...) existing tools borrowed from justification logic, awareness logic, doxastic logic and logics for belief dependence. We start by introducing a basic logic for argument evaluation, where a list of argumentative and doxastic notions can be expressed. Later on, we discuss how to capture the mentioned form of argument evaluation by defining a preference operator in the object language. The intuitive picture behind this definition is that, when assessing a couple of arguments, the agent puts them to a test consisting of several criteria. As a result of this process, a preference relation among the evaluated arguments is established by the agent. After showing that this operator suffers a special form of logical omniscience, called preferential omniscience, we discuss how to define an explicit version of it, more suitable to deal with non-ideal agents. The present work exploits the formal notion of awareness in order to model several informal phenomena: awareness of sentences, availability of arguments and communication between agents and external sources. We discuss several extensions of the basic logic and offer completeness and decidability results for all of them. (shrink)

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

Se trata de un número monográfico muy interesante, que integra un conjunto de trabajos de prestigiosos profesores universitarios—A. Clark, H. Simon, A. Gomila, J. Toribio, R. Tuomela, M. Liz, P.F. Martínez Freire, F. Broncano, C.J. Moya, P.S. Churchland, P.M. Churchland, A. Burrieza y A. Estany—sobre diversos temas candentes de la Filosofía de las Ciencias Cognitivas: cognición incorporizada, teorías computacionales de la cognición, mecanismos mentales de la intersubjetividad, responsabilidad semántica, intención conjunta y colectiva, relación entre el problema del mundo externo (...) y el problema ontológico de la experiencia subjetiva, la realidad desde la mente, relevancia filosófica de una teoría funcional de las emociones, problemas que plantean las emociones a la posibilidad de responsabilidad moral, neurobiología y conciencia, neurobiología cognitiva de las virtudes morales, tratamiento lógico de la conciencia en Inteligencia Artificial y ventajas epistémicas de la cognición socialmente distribuida. El agrupamiento de los artículos en partes diferenciadas es adecuado y coherente. Me habría gustado mucho seguirlo con orden y analizar sus contenidos con detalle; pero debo limitarme a un examen más general y a considerar simplemente las grandes tendencias o afinidades temáticas que se manifiestan a través de las páginas. Quizás lo más relevante sea la constatación efectiva de un fenómeno que se ha producido en la investigación actual sobre ciencias cognitivas y que señala A. Clark en su escrito: el redescubrimiento del cuerpo y el mundo, la crisis de una visión aislacionista de la cognición, y el surgimiento de un nuevo paradigma de patrones de actividad distribuidos a lo largo de trayectorias de procesamiento temporalmente extendidas mediante redes neuronales recurrentes. Se aprecia aquí que el énfasis se ha trasladado desde la representación simbólica hacia series reiteradas de interacciones agente-entorno. Y eso es lo prime-ro que cabría resaltar: el paulatino abandono del paradigma de representación simbólica y la atención creciente a las interacciones acopladas agente-mundo. (shrink)

Background: Increasing collaboration between industrialised and developing countries in human research studies has led to concerns regarding the potential exploitation of resource deprived countries. This study, commissioned by the former National Bioethics Advisory Commission of the United States, surveyed developing country researchers about their concerns and opinions regarding ethical review processes and the performance of developing country and US international review boards .Methods: Contact lists from four international organisations were used to identify and survey 670 health researchers in developing countries. (...) A questionnaire with 169 questions explored issues of IRB review, informed consent, and recommendations.Results: The majority of the developing country researchers were middle aged males who were physicians and were employed by educational institutions, carrying out research on part time basis. Forty four percent of the respondents reported that their studies were not reviewed by a developing country IRB or Ministry of Health and one third of these studies were funded by the US. During the review process issues such as the need for local language consent forms and letters for approval, and confidentiality protection of participants were raised by US IRBs in significantly higher proportions than by host country IRBs.Conclusion: This survey indicates the need for the ethical review of collaborative research in both US and host countries. It also reflects a desire for focused capacity development in supporting ethical review of research. (shrink)

Can we respond to injustices in the world in ways that do more than just address their consequences? In this book, Brooke A. Ackerly argues that what to do about injustice is not just an ethical or moral question, but a political question about assuming responsibility for injustice. Ultimately, Just Responsibility offers a theory of global injustice and political responsibility that can guide action.

From the diverse work and often competing insights of women's human rights activists, Brooke Ackerly has written a feminist and a universal theory of human rights that bridges the relativists' concerns about universalizing from particulars and the activists' commitment to justice. Unlike universal theories that rely on shared commitments to divine authority or to an 'enlightened' way of reasoning, Ackerly's theory relies on rigorous methodological attention to difference and disagreement. She sets out human rights as at once a research ethic, (...) a tool for criticism of injustice and a call to recognize our obligations to promote justice through our actions. This book will be of great interest to political theorists, feminist and gender studies scholars and researchers of social movements. (shrink)

This paper defends a direct reference view of names including empty names. The theory says that empty names literally have no meaning and cannot be used to express truths. Names, including empty names, are associated with accompanying descriptions that are implicated in pragmati‐cally imparted truths when empty names are used. This view is defended against several important objections having to do with differences in names, descriptions associated with the names, and considerations of modality. The view is shown to be superior (...) to an alternative theory treating empty names as the “descriptive names” of Kripke and Evans. (shrink)

El artículo expone dos visiones acerca de la legitimidad del castigo en contextos de exclusión social. En la primera parte, uno de los autores defiende la idea de que los Estados que incumplen con obligaciones legales previas no pueden inculpar a quienes cometan delitos vinculados con ese incumplimiento. No pueden hacerlo porque no tienen el estatus moral para hacerlo de acuerdo a dos objeciones: la de complicidad y la de hipocresía. En la segunda parte, la segunda autora critica esta solución (...) al sostener que la falta de reciprocidad que caracteriza a la relación política vuelve inaplicables las objeciones de hipocresía y complicidad al ámbito del castigo penal estatal. (shrink)

La admirable riqueza cultural y artística del Renacimiento esconde una desoladora miseria y aquella "edad de la abundancia" contrasta con una inmensa pobreza. Lejos de ser una broma o una pesadilla, la celebrada Utopía de Tomás Moro fue antes que nada un desafío insoslayable, pues proponía que ninguna sociedad merece tal nombre si tolera la miseria de un solo pobre. Rico y pobre explora la cuestión en ese libro de 1516 y en otros del escritor londinense para concluir con un (...) esbozo de su vida a la luz de la pobreza como virtud indispensable y libertadora. He aquí un hombre afortunado que no fue indiferente ante el infortunio de tantos y que vio en la humanitas la virtud por excelencia que lleva a una constante atención y cuidado del prójimo. Inspirado por un cambio de actitud en su época, así como por su fe cristiana y la mejor tradición estoica, mostró una robusta preocupación sobre el tema subrayando el valor social que debe tener toda riqueza, tanto a nivel estatal como individual, destacando la grave obligación cívica de los ricos y la necesidad que tienen todos, ricos y pobres, de empeñarse en la práctica de cierto desprendimiento y generosidad si no quieren mermar su propia humanidad y fallecer en su avaricia. La percepción de la miseria había cambiado de tal manera que su remedio ya no podía estar en una u otra limosna en plazas e iglesias, sino en la acción bien pensada y perentoria de todo gobierno que se tenga por justo. Sir Tomás Moro, privilegiado desde la cuna y seguro en su trabajo profesional, vio la pobreza de tantos como un desastre social, pero uno que, al mismo tiempo, debería llevar a todo ser humano a ver en el desprendimiento y generosidad una excelencia o virtud que alumbra la "otra" libertad, y tan íntima y valiosa que en su caso brilló aun en la prisión y ante el horror de una muerte injusta y atroz." -- Page 4 of cover. (shrink)

Objective To determine the attitudes of Egyptian patients regarding their participation in research and with the collection, storage and future use of blood samples for research purposes. Design Cross-sectional survey. Study population Adult Egyptian patients (n=600) at rural and urban hospitals and clinics. Results Less than half of the study population (44.3%) felt that informed consent forms should provide research participants the option to have their blood samples stored for future research. Of these participants, 39.9% thought that consent forms should (...) include the option that future research be restricted to the illness being studied. A slight majority (66.2%) would donate their samples for future genetic research. Respondents were more favourable towards having their blood samples exported to other Arab countries (62.0%) compared with countries in Europe (41.8%, p<0.001) and to the USA (37.2%, p<0.001). Conclusions This study shows that many individuals do not favour the donation of a blood sample for future research. Of those who do approve of such future research, many favour a consent model that includes an option restricting the future research to the illness being studied. Also, many Egyptians were hesitant to have their blood samples donated for genetic research or exported out of the Arab region to the USA and European countries. Further qualitative research should be performed to determine the underlying reasons for many of our results. (shrink)

Liquidity risk arises from the inability to unwind or hedge trading positions at the prevailing market prices. The risk of liquidity is a wide and complex topic as it depends on several factors and causes. While much has been written on the subject, there exists no clear-cut mathematical description of the phenomena and typical market risk modeling methods fail to identify the effect of illiquidity risk. In this paper, we do not propose a definitive one either, but we attempt to (...) derive novel mathematical algorithms for the dynamic modeling of trading volumes during the closeout period from the perspective of multiple-asset portfolio, as well as for financial entities with different subsidiary firms and multiple agents. The robust modeling techniques are based on the application of initial-value-problem differential equations technique for portfolio selection and risk management purposes. This paper provides some crucial parameters for the assessment of the trading volumes of multiple-asset portfolio during the closeout period, where the mathematical proofs for each theorem and corollary are provided. Based on the new developed econophysics theory, this paper presents for the first time a closed-form solution for key parameters for the estimation of trading volumes and liquidity risk, such as the unwinding constant, half-life, and mean lifetime and discusses how these novel parameters can be estimated and incorporated into the proposed techniques. The developed modeling algorithms are appealing in terms of theory and are promising for practical econophysics applications, particularly in developing dynamic and robust portfolio management algorithms in light of the 2007–2009 global financial crunch. In addition, they can be applied to artificial intelligence and machine learning for the policymaking process, reinforcement machine learning techniques for the Internet of Things data analytics, expert systems in finance, FinTech, and within big data ecosystems. (shrink)

Following a previous article published in Biological Theory, in this study we present a mathematical theory for a science of qualities as directly perceived by living organisms, and based on morphological patterns. We address a range of qualitative phenomena as observables of a psychological system seen as an impredicative system. The starting point of our study is the notion that perceptual phenomena are projections of underlying invariants, objects that remain unchanged when transformations of a certain class under consideration are applied. (...) The study develops with the observables, the entailed total order and metric, whence the algebra and the geometry of such a science, presenting a formal phenomenological model for phenomena that are not rigidly Euclidean. We show how non-Euclidean perception can have many useful Euclidean formalizations, as well as locally-homeomorphic-to-Euclidean-space models. The mathematical models we provide are tested on the basis of results from experimental psychology, in particular from the field of color, time, and space perception. (shrink)

This volume sets the agenda for future work on time and chance, which are central to theemerging sub-field of metaphysics of science.

Developing an intellectualist account of skill, Stanley and Williamson define skill as a kind of disposition to action-guiding knowledge. The present paper challenges their definition of skill. While we don’t dispute that skill may consist of a cognitive, a dispositional, and an action-guiding component, we argue that Stanley and Williamson’s account of each component is problematic. In the first section, we argue, against Stanley and Williamson, that the cognitive component of skill is not a case of propositional knowledge-wh, which is (...) typically indexical. In the second section, we seek to show that Stanley and Williamson face difficulties in arguing for a generic claim about skill as a kind of disposition, and they fail to defend intellectualism about skill based on the dispositional account. In the third section we argue that Stanley and Williamson need a more detailed account of the action-guiding aspect of skill to avoid several difficulties, including a threat of a regress. We close with some lessons for the debate over intellectualism and anti-intellectualism about skill. (shrink)

The purpose of this article is to find out to what demand of philosophical and scientific thinking is culturology a response, treating culturology from two aspects: as a set of approaches to culture and as a school subject in the system of education. The task is not to define the subject boundaries of some science . I am interested in the "metaphysical location" of the interest in culture, in the lacuna of man's understanding of the world and of himself it (...) seeks to fill. (shrink)

The Report of the Ad Hoc Adivisory Group on the Operation of NHS Research Ethics Committees has resulted in a strange mixture of the timid, the revolutionary, and the bizarre.The Report of the Ad Hoc Advisory Group on the Operation of NHS Research Ethics Committees is a curious document.1 The remit of the review was focused on the workings and effectiveness of NHS research ethics committees and the multicentre committees ). The Group was primarily set up in response to a (...) series of complaints from medical researchers about the new research governance regime in the UK as a result of the Clinical Trials Directive2 and the Governance Arrangements for NHS Research Ethics Committees.3 The opportunity was also taken to consider the role of research ethics committees in a wider context, and take account of recent developments in relation to the ethics review of social care research,4 student projects,5 as well as recent legislation such as the Human Tissue Act,6 and the Mental Capacity Act.7 However, the resulting report is a strange mixture of the timid, the revolutionary, and the bizarre.A good example of the report’s timidity is its reluctance to propose fundamental change to the process of review or seriously limit the type of research that requires REC review. To its credit AHAG does suggest that some research ‘especially surveys and many studies on NHS staff, could normally be conducted safely without a requirement for REC review’ .1 This is, of course, to be welcomed. However, the report ultimately seems dismissive of the general complaint from researchers that the current process is inappropriately uniform. For example, in section 3.2, it is argued that the ‘common perception that the NHS REC system is dominated …. (shrink)

The issue of sexual relations between spouses is a major cause of broken homes in Nigeria and Christian couples are not an exception. People believe that a large percentage of broken homes have the root of their problem traced to sex. The preponderance of broken homes notwithstanding, most studies in this area have been from the socio-scientific and medical cum psychological point of view and many more have focused on teenagers and young people to the exclusion of married couples that (...) need healing in this regard. This article is aimed at bringing out biblical instruction concerning the issue of sex that could help to restore peace to many homes at the verge of breaking down. The focal passage is 1 Corinthians 7:1–5, which was Paul’s instructions to the Corinthian church when they faced a similar problem. This article is an exegetical analysis of the passage and is read rhetorically with the Nigerian situation in mind. It concludes that sex must be enjoyed within the ambits of marriage and within this ambit, the only reason for abstinence is mutual agreement for the purpose of prayer.Contribution: The article upholds gender equality in initiating and enjoying sex and rejects looking down on women who request sex. It also calls for the eradication of female genital mutilation, a tradition based on making women not enjoy sex. (shrink)

We discuss approaches to the study of the evolution of music (sect. R1); challenges to each of the two theories of the origins of music presented in the companion target articles (sect. R2); future directions for testing them (sect. R3); and priorities for better understanding the nature of music (sect. R4).