We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and c-congruence classes of morphisms, has a left adjoint, which is related to the double negation interpretation of Gödel-Gentzen, and a right adjoint, which is related to the Law of Excluded Middle. Moreover, we prove that from the left to the right adjoint there is a pointwise (...) epimorphic natural transformation and that since the two endofunctors at CSL, obtained by adequately composing the aforementioned functors, are naturally isomorphic to the identity functor for CSL, the string of adjunctions constitutes an adjoint cylinder. On the other hand, we show that the operators of Lindenbaum-Tarski of formation of algebras from pretheories can be extended to equivalences of categories from the category CSL, respectively, ISL, to the category Bool, of Boolean algebras, respectively, Heyt, of Heyting algebras. Finally, we prove that the functor of regularization from Heyt to Bool has, in addition to its well-known right adjoint (that is, the canonical embedding of Bool into Heyt) a left adjoint, that from the left to the right adjoint there is a pointwise epimorphic natural transformation, and, finally, that such a string of adjunctions constitutes an adjoint cylinder. (shrink)

We show that Dedekind, in his proof of the principle of definition by mathematical recursion, used implicitly both the concept of an inductive cone from an inductive system of sets and that of the inductive limit of an inductive system of sets. Moreover, we show that in Dedekind’s work on the foundations of mathematics one can also find specific occurrences of various profound mathematical ideas in the fields of universal algebra, category theory, the theory of primitive recursive mappings, and set (...) theory, which undoubtedly point towards the mathematics of twentieth and twenty-first centuries. (shrink)

The original version of this article unfortunately contained a mistake: The equation on page 34 was incorrect. The corrected equation is given below.

Let $\varSigma $ be a signature without $0$-ary operation symbols and $\textsf{Sl}$ the category of semilattices. Then, after defining and investigating the categories $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$, of inductive systems of $\varSigma $-algebras over all semilattices, which are ordered pairs $\mathscr{A}= (\textbf{I},\mathscr{A})$ where $\textbf{I}$ is a semilattice and $\mathscr{A}$ an inductive system of $\varSigma $-algebras relative to $\textbf{I}$, and PłAlg$ (\varSigma )$, of Płonka $\varSigma $-algebras, which are ordered pairs $(\textbf{A},D)$ where $\textbf{A}$ is a $\varSigma $-algebra and $D$ a Płonka operator (...) for $\textbf{A}$, i.e. in the traditional terminology, a partition function for $\textbf{A}$, we prove the main result of the paper: There exists an adjunction, which we call the Płonka adjunction, from $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$ to PłAlg$ (\varSigma )$. (shrink)

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for $${\mathbb {T}_{\bf \Sigma}}$$, the monad in Set S determined by the adjunction $${{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}}$$ from Set S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor $${{\bf d}_\diamond}$$ from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, (...) to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor TrΣ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ d from the functor $${{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}}$$ to the functor $${{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}$$, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

In 2012 the Spanish government implemented the Royal Decree Law 16/2012 by which undocumented migrants are denied free access to the Spanish healthcare system. In the midst of unemployment, poverty and cuts in social protection, undocumented migrant women are facing multidimensional exclusions whereby austerity measures are having different consequences for women, especially for those who bear the greater brunt of caring roles in the form of mothering. Drawing upon qualitative research in the form of semi-structured interviews in Madrid, this article (...) examines the structural vulnerabilities of undocumented migrant mothers and analyses the gendered processes that provoke them. At a time in which the borders of Europe are reinforced and internal political and economic tensions question this fortress, migrants become shock absorbers for national anxieties. The article argues that the Royal Decree Law, following neoliberal discourses of citizenship and social rights and saturated by patriarchal normative understandings of women’s place in society and care, turns undocumented migrant mothers into disposable and invisible reproductive bodies deprived of rights. (shrink)

Increased concern for the environment has increased the number of investment opportunities in mutual funds specialized in promoting responsible environmental attitudes. This article examines the performance and risk sensitivities of US green mutual funds vis-à-vis their conventional peers. We also analyze and compare this performance relative to other socially responsible investing (SRI) mutual funds. In order to implement this analysis, we apply a CAPM-based methodology and find that in the 1987–2009 period, environ- mental funds had lower performance than conventional funds (...) with similar characteristics. However, if we focus on a more recent period (2001–2009), green funds achieved adjusted returns not significantly different from the rest of SRI and conventional mutual funds. (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 paper presents and discusses an example, namely a version of heterogeneous frrst-order logic and uses the classical theorem of Herbrand-Schmidt-Wang about the reduction of heterogeneous first-order logic to homogeneous first-order logic, in order to obtain two transformations between heterogeneous and homogeneous frrst-order logic which are different from the institution morphisms defined by Goguen and Burstall. Moreover, by considering a type of 2-cell among institution morphisms it is obtained a 2-category and also a 2-functor from this to another 2-category.

Introduction: Loss of employment is an experience that is lived and interpreted differently depending on a series of individual variables, including the psychological resources available to the affected person, as well as their perception of their degree of employability. Losing one’s job can be one of the most painful and traumatic events a person has to withstand. Following a dismissal, the worker needs to overcome a period of emotional adaptation to the loss. But that period of grieving can also condition (...) the process of job search of the person, and be influenced by different variables, highlighting the age and work experience. The objective of this study is to analyze the relationship between intensity and type of affliction due to the loss of employment in older workers and their level of employability. Method: We carried out a descriptive, analytical, cross-sectional study. The sample consisted of 140 unemployed participants, from 19 to 65 years of age, users of job Orientation in the Public Employment Service of Andalusia (España). Of the total participants, 66 were unemployed and over 45 years of age. They all took the Labour Insertion Potential Assessment Test, and the Texas Inventory revised adapted to job loss Results: Significant differences are shown in the grieving process due to loss of employment between both groups, with the older unemployed living the process more intensely. In relation to the employability potential, differences are found between both groups in terms of availability, perceived difficulties and fears. Interrelationships between total grieving intensity and the importance that older jobseekers give to work are also indicated. Conclusion:Loss of employment and the psychological and health consequences of this situation are identified with those that arise in the grieving process. Older workers present a series of features that determine that their job loss grieving process is more intense and lasts longer than that of other younger workers, regardless of whether the job loss was recent or not. On the other hand, it is shown that the intensity of grieving is related to the decrease of certain variables that are part of the concept of employability. (shrink)

After proving, in a purely categorial way, that the inclusion functor |$\textrm {In}_{\textbf {Alg}(\varSigma )}$| from |$\textbf {Alg}(\varSigma )$|⁠, the category of many-sorted |$\varSigma $|-algebras, to |$\textbf {PAlg}(\varSigma )$|⁠, the category of many-sorted partial |$\varSigma $|-algebras, has a left adjoint |$\textbf {F}_{\varSigma }$|⁠, the (absolutely) free completion functor, we recall, in connection with the functor |$\textbf {F}_{\varSigma }$|⁠, the generalized recursion theorem of Schmidt, which we will also call the Schmidt construction. Next, we define a category |$\textbf {Cmpl}(\varSigma )$|⁠, of (...) |$\varSigma $|-completions, and prove that |$\textbf {F}_{\varSigma }$|⁠, labelled with its domain category and the unit of the adjunction of which it is a part, is a weakly initial object in it. Following this, we associate to an ordered pair |$(\boldsymbol {\alpha },f)$|⁠, where |$\boldsymbol {\alpha }=(K,\gamma,\alpha )$| is a morphism of |$\varSigma $|-completions from |${{\mathscr {F}}}=(\textbf {C},F,\eta )$| to |$\mathscr {G}= (\textbf {D},G,\rho )$| and |$f$| a homomorphism of |$\textbf {D}$| from the partial |$\varSigma $|-algebra |$\textbf {A}$| to the partial |$\varSigma $|-algebra |$\textbf {B}$|⁠, a homomorphism |$\varUpsilon ^{\mathscr {G},0}_{\boldsymbol {\alpha }}(f)\colon \textbf {Sch}_{\boldsymbol {\alpha }}(f)\longrightarrow \textbf {B}$|⁠. We then prove that there exists an endofunctor, |$\varUpsilon ^{\mathscr {G},0}_{\boldsymbol {\alpha }}$|⁠, of |$\textbf {Mor}_{\textrm {tw}}(\textbf {D})$|⁠, the twisted morphism category of |$\textbf {D}$|⁠, thus showing the naturalness of the previous construction. Afterwards, we prove that, for every |$\varSigma $|-completion |$\mathscr {G}=(\textbf {D},G,\rho )$|⁠, there exists a functor |$\varUpsilon ^{\mathscr {G}}$| from the comma category |$(\textbf {Cmpl}(\varSigma )\!\downarrow \!\mathscr {G})$| to |$\textbf {End}(\textbf {Mor}_{\textrm {tw}}(\textbf {D}))$|⁠, the category of endofunctors of |$\textbf {Mor}_{\textrm {tw}}(\textbf {D})$|⁠, such that |$\varUpsilon ^{\mathscr {G},0}$|⁠, the object mapping of |$\varUpsilon ^{\mathscr {G}}$|⁠, sends a morphism of |$\varSigma $|-completion of |$\textbf {Cmpl}(\varSigma )$| with codomain |$\mathscr {G}$|⁠, to the endofunctor |$\varUpsilon ^{\mathscr {G},0}_{\boldsymbol {\alpha }}$|⁠. (shrink)

Telling a patient that the outcome of his illness is not good, or even hopeless, requires sensitivity and the ability to communicate with him in the setting of a hospital which is an unnatural environment divorced from family and friends. It is a task which must be taught and learned by doctors and nurses.

The achievements of the textile industry in Roman Britain are often underestimated as a result of the meagreness of our available evidence. The Edict on maximum prices issued by Diocletian in A.D. 301 shows that British capes commanded high prices on the markets of the Empire, and that in the late third century A.D. British rugs were the best in the world. In view of the competition from the traditional centres of rug manufacture in the East, this is an astonishing (...) achievement. (shrink)

The received translation and interpretation of many of the technical terms current in the textile industry of the Roman Empire are inaccurate, because lexicographers have either fought shy of being precise, or have thought that they recognized in the ancient world technical processes which originated at a much later date. The evidence is often equivocal or insufficient, but may still yield details that have been overlooked. The textile expression scutulatus, to take an example, deserves more attention than Blümner has devoted (...) to it. When it refers to the appearance of a garment, Lewis and Short, s.v. scutulatus, translate ‘diamond or lozenge-shaped, checkered’. It seems worth while to attempt a more precise translation, and, if possible, to estimate the significance in context of the goods so designated. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Living out of silence, out of a fully functioning, lovingly attentive mind, and not just out of thought, out of a partially functioning mind, is requisite for depth or profundity in living or relating. A fully attentive, truly silent or meditative mind sees that there is real dualism of time and the timeless and that time and the timeless each has its own unique value. The timeless, or real silence, that which alone can make for depth in one's living and (...) relating, can be there only when, in one's awareness, time and all that is related to time, have come to an end. An examination of a wide variety of statements made by writers, both past and present, shows that these understandings are seldom there in contemporary writings, just as they were not there in writings that have come down to us from the past. 'Living beyond the One and the Many' invites readers to consider the possibility that what is presented in it can bring deep meaning to one's way of living in the world"--Publisher's description, back cover. (shrink)

Husserlian phenomenology, as the study of conscious experience, has often been accused of solipsism. Husserl’s method, it is argued, does not have the resources to provide an account of consciousness of other minds. This chapter will address this issue by providing a brief overview of the multiple angles from which Husserl approached the theme of intersubjectivity, with specific focus on the details of his account of the concrete interpersonal encounter – “empathy.” Husserl understood empathy as a direct, quasi-perceptual form of (...) intentionality through which the sense of the Other is constituted. Furthermore, his account of empathy is holistically integrated with his overall theory of intersubjectivity, including his discussions of the objectivity of nature, and the social, historical, and communal aspects of subjectivity. Husserl’s theory of empathy continues to cast a long shadow, influencing both the analytic and continental approaches to the problem of other minds, as well as contemporary account of social cognition in the cognitive sciences. (shrink)

An Essay on Human Action seeks to provide a comprehensive, detailed, enlightening, and (in its detail) original account of human action. This account presupposes a theory of events as abstract, proposition-like entities, a theory which is given in the first chapter of the book. The core-issues of action-theory are then treated: what acting in general is (a version of the traditional volitional theory is proposed and defended); how actions are to be individuated; how long actions last; what acting intentionally is; (...) what doing one thing by doing another is; what basic action is; and what omitting to do something is. Attention is also given to the concepts of causation, intention, volition, deciding, choosing, and trying. Finally, a libertarian account of free action is tentatively proposed and defended. (shrink)

The existential analysis -- The death of dasein -- The timeliness of dasein -- The derivation of time -- The time of being.

We develop and apply a multi-dimensional conception of explanatory depth towards a comparative analysis of inflationary and bouncing paradigms in primordial cosmology. Our analysis builds on earlier work due to Azhar and Loeb (2021) that establishes initial condition fine-tuning as a dimension of explanatory depth relevant to debates in contemporary cosmology. We propose dynamical fine-tuning and autonomy as two further dimensions of depth in the context of problems with instability and trans-Planckian modes that afflict bouncing and inflationary approaches respectively. In (...) the context of the latter issue, we argue that the recently formulated trans-Planckian censorship conjecture leads to a trade-off for inflationary models between dynamical fine-tuning and autonomy. We conclude with the suggestion that explanatory preference with regard to the different dimensions of depth is best understood in terms of differing attitudes towards heuristics for future model building. (shrink)

Global Media Ethics is the first comprehensive cross-cultural exploration of the conceptual and practical issues facing media ethics in a global world. A team of leading journalism experts investigate the impact of major global trends on responsible journalism. The first full-length, truly global textbook on media ethics; Explores how current global changes in media promote and inhibit responsible journalism; Includes relevant and timely ethical discussions based on major trends in journalism and global media; Questions existing frameworks in media ethics in (...) light of the impact of global media; Contributors are leading experts in global journalism and communication. (shrink)

This work analyzes the conceptual metaphors of depression in a corpus of 23 blogs written in Catalan by people suffering major depressive disorder. Its main aim was comparative, in order to check w...

C. S. Lewis is one of the most beloved Christian apologists of the twentieth century; David Hume and Bertrand Russell are among Christianity’s most important critics. This book puts these three intellectual giants in conversation with one another on various important questions: the existence of God, suffering, morality, reason, joy, miracles, and faith. Alongside irreconcilable differences, surprising areas of agreement emerge. Curious readers will find penetrating insights in the reasoned dialogue of these three great thinkers.

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)

The book is a comparative analysis of all the major social science/political science grand theories. It focuses on developmentalism, dependency theory, the world systems approach, Marxism, institutionalism, rational choice, psychoanalysis, political sociology, sociobiology, environmentalism, neuro-politics, transitions to democracy, and non-Western systems of analysis. To facilitate comparison and analysis, a common framework and outline are employed throughout. An integrating introduction and conclusion help tie the book together.

We live in turbulent times, our world is changing at accelerating speed. Information is everywhere, but wisdom appears in short supply when trying to address key inter-related challenges of our time such as; runaway climate change, the loss of biodiversity, the depletion of natural resources, the on-going homogenization of culture, and rising inequity. Living in such times has implications for education and learning. This book explores the possibilities of designing and facilitating learning-based change and transitions towards sustainability. In 31 chapters (...) contributors from across the world discuss (re)emerging forms of learning that not only assist in breaking down unsustainable routines, forms of governance, production and consumption, but also can help create ones that are more sustainable. The book has been divided into three parts: re-orienting science and society, re-connecting people and planet and re-imagining education and learning. This is essential reading for educators, educational designers, change agents, researchers, students, policymakers and entrepreneurs alike, who are concerned about the well-being of the planet and convinced of our ability to do better. The content and related issues can be discussed on the blog by editor Arjen Wals: Transformative learning. 'We are living in times of incertitude, complexity, and contestation, but also of connectivity, responsibility, and new opportunities. This book analyses the consequences of these times for learning in formal, non-formal, and informal education. It explores the possibilities offered by the concept of sustainability as a central category of a holistic paradigm which harmonizes human beings with Earth. To change people and to change the world are interdependent processes - this book contributes to both.' Moacir Gadotti, Director of Paulo Freire Institute, São Paulo, Brazil 'I hope you share my excitement about the innovations for sustainability that this book catalogues and analyses. While the ecological news is grim, the human news is not. Even in a time of accelerating change, people are showing their enormous capacities to learn, adapt, restore and protect.' From the Foreword by Juliet Schor, author of ‘True Wealth: how and why millions of Americans are creating a time-rich, ecologically-light, small-scale high-satisfaction economy’ 'This book implies a ‘culture of critical commitment’ in educational thinking and practice - engaged enough to make a real difference to social-ecological resilience and sustainability but reflexively critical enough to learn constantly from experience and to keep options open in working for a sustainability transformation.' From the Afterword by Stephen Sterling, Professor of Sustainability Education, Centre for Sustainable Futures, Plymouth University, United Kingdom. (shrink)