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)

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

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)

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)

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)

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)

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)

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.

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

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

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...

Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.

The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

Providing an original and systematic treatment of foundational issues in philosophy of religion, J. L. Schellenberg's new book addresses the structure of..

According to realist structuralism, mathematical objects are places in abstract structures. We argue that in spite of its many attractions, realist structuralism must be rejected. For, first, mathematical structures typically contain intra-structurally indiscernible places. Second, any account of place-identity available to the realist structuralist entails that intra-structurally indiscernible places are identical. Since for her mathematical singular terms denote places in structures, she would have to say, for example, that 1 = − 1 in the group (Z, +). We call this (...) the identity problem and conclude that nominalism is presently the safest route for the structuralist. (shrink)

Ned Block argues that the higher-order (HO) approach to explaining consciousness is ‘defunct’ because a prominent objection (the ‘misrepresentation objection’) exposes the view as ‘incoherent’. What’s more, a response to this objection that I’ve offered elsewhere (Weisberg 2010) fails because it ‘amounts to abusing the notion of what-it’s-like-ness’ (xxx).1 In this response, I wish to plead guilty as charged. Indeed, I will continue herein to abuse Block’s notion of what-it’s-like-ness. After doing so, I will argue that the HO approach accounts (...) for the sense of what-it’s-like-ness that matters in a theory of consciousness. I will also argue that the only incoherence present in the HO theory is that generated by embracing Block’s controversial notion of what-it’s-like-ness, something no theorist of any stripe ought to do. Block is famous for (among other things) having introduced the notion of ‘phenomenal consciousness’ into contemporary philosophy of mind (Block 1995). This term is widely employed in the philosophical literature and it even appears in the empirical literature. But wide-speared usage has brought about divergent interpretations of the term. We can distinguish a ‘moderate’ and a ‘zealous’ reading of ‘phenomenal consciousness’. On the moderate reading, ‘phenomenal consciousness’ just means ‘experience’. Many people have embraced this sense of the term and use it to roughly pick out conscious experience involving sensory quality (states like conscious visual experiences or conscious pains, for example).2 On the zealous reading, however, phenomenal consciousness is held to be ‘distinct from any cognitive, intentional, or functional property’ (Block 1995: 234). That is, any explanation of phenomenal consciousness in exclusively cognitive, intentional, or functional terms will fail to capture, without remainder, what is really distinctive about phenomenal consciousness. Block, of course, is fully clear about embracing the zealous reading; indeed, his initial introduction of the notion is in those terms. The same ambiguity occurs with the much-used (and abused) idea of ‘what-it’s-like-ness’.. (shrink)

Scientists and laypeople alike use the sense of understanding that an explanation conveys as a cue to good or correct explanation. Although the occurrence of this sense or feeling of understanding is neither necessary nor sufficient for good explanation, it does drive judgments of the plausibility and, ultimately, the acceptability, of an explanation. This paper presents evidence that the sense of understanding is in part the routine consequence of two well-documented biases in cognitive psychology: overconfidence and hindsight. In light of (...) the prevalence of counterfeit understanding in the history of science, I argue that many forms of cognitive achievement do not involve a sense of understanding, and that only the truth or accuracy of an explanation make the sense of understanding a valid cue to genuine understanding. (shrink)

The purpose of this text is to draw attention to eight forgotten heroes: William C. Bagley, Charles DeGarmo, David Felmley, William Torrey Harris, Isaac L. Kandel, Charles McMurry, William C. Ruediger, and Edward Austin Sheldon. They have been marginalized from our profession, and drawing upon their legacy is the best hope for restoring the profession of teaching today. This work also includes a chapter at the end of the book entitled "John Dewey's Forgotten Essays." The audience for this book includes: (...) 1) classroom teachers, 2) school administrators, 3) teacher educators, 4) deans and other university administrators, 5) college and university presidents, 6) legislators, 7) historians of education, 8) curriculum specialists, 9) specialists in teacher training, and 10) the general public. (shrink)

Knowledge, like other things of value, can be faked. According to Hawley (2011), know-how is harder to fake than knowledge-that, given that merely apparent propositional knowledge is in general more resilient to our attempts at successful detection than are corresponding attempts to fake know-how. While Hawley’s reasoning for a kind of detection resilience asymmetry between know-how and know-that looks initially plausible, it should ultimately be resisted. In showing why, we outline different ways in which know-how can be faked even when (...) a given performance is successful; and in doing so, we distinguish how know-how can be faked (no less than know-that) via upstream and downstream indicators of its presence, and within each of these categories, we’ll distinguish (in connection with detection resilience) both faking symptoms and (various kinds of) criteria. The unappreciated resilience of faked knowledge-how to successful detection highlights a largely overlooked dimension of social-epistemic risk – risk we face not just in our capacity as recipients of testimony, but in our capacity as both (would-be) apprentices and clients of knowledge-how. (shrink)

Prologue: Toward a new Enlightenment -- From bounded to relational being -- Bounded being -- In the beginning is the relationship -- The relational self -- The body as relationship : emotion, pleasure and pain -- Relational being in everyday life -- Multi-being and the adventure of everyday life -- Bonds, barricades, and beyond -- Relational being in practice -- Knowledge as co-creation -- Education in a relational key -- Therapy as relational recovery -- Organizing : the precarious balance -- (...) From the moral to the sacred -- Beyond moral pluralism -- All our relations, approaching the sacred -- Epilogue: The coming of relational consciousness. (shrink)

In management research, theory testing confronts a paradox described by Meehl in which designing studies with greater methodological rigor puts theories at less risk of falsification. This paradox exists because most management theories make predictions that are merely directional, such as stating that two variables will be positively or negatively related. As methodological rigor increases, the probability that an estimated effect will differ from zero likewise increases, and the likelihood of finding support for a directional prediction boils down to a (...) coin toss. This paradox can be resolved by developing theories with greater precision, such that their propositions predict something more meaningful than deviations from zero. This article evaluates the precision of theories in management research, offers guidelines for making theories more precise, and discusses ways to overcome barriers to the pursuit of theoretical precision. (shrink)