In this paper we develop the elementary theory of modules in the category Sh of sheaves over right-sided idempotent quantales. The main ingredient is the construction of a logic sound for Sh . As an application we prove that in Sh , a finitely generated projective module is free , a result that is relevant to the study of representation of non-commutative C ∗ -algebras.

The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, (...) which permits us to express the usual topological properties of separation. The notion of stalks of sheaves over quantales is introduced, and some results in categorial model theory are obtained. (shrink)

We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy.

We introduce the Profinite Hull functor of special groups, showing that it gives rise to a new local - global principle, the subform reflection property. We also indicate applications of this principle to the abstract algebraic theory of quadratic forms.

The article relates to the experience of a P4C workshop in a nonformal educational context as the Children’s Recreation Centre of the 1st Municipality of Naples. Through the description of the Recreation Centre activities with children between 5 and 9 years of age, the educational importance of game, especially for children living in neighborhoods with a strong social unrest, is analyzed. In such contexts, workshop activities, which are often complementary to school, are very important. These activities are defined as gamelike (...) because their purposes are learning and educational development through practical activities. Also P4C is described as a gamelike activity and, on this assumption, the idea of holding a P4C workshop in the Children’s Recreation Centre formed. The application of P4C in a ludic context, required some necessary changes in the traditional curriculum. The teaser text was replaced by gamelike activities, the board paper and the questions were avoided because children identified these instruments with school activities, and one or more topics following by gamelike activities were focused directly to start a discussion. Above changes did not fail the purposes of the curriculum, thus proving that P4C can be applied in educational contexts different from school contexts. (shrink)

The ultimate source of explanation in biology is the principle of natural selection. Natural selection means differential reproduction of genes and gene combinations. It is a mechanistic process which accounts for the existence in living organisms of end-directed structures and processes. It is argued that teleological explanations in biology are not only acceptable but indeed indispensable. There are at least three categories of biological phenomena where teleological explanations are appropriate.

Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups which are a lattice under their natural representation partial order ; we show that this lattice property is preserved under most of the standard constructions on RSGs; in particular finite RSGs and RSGs (...) of finite chain length are lattice ordered. We prove that the lattice property fails for the RSGs of function fields of real algebraic varieties over a uniquely ordered field dense in its real closure, unless their stability index is 1 . We show that Open Problem 1 has a positive answer for the RSG of the field Q . In the final section we explore the meaning of Open Problem 1 for formally real fields, in terms of their orders and real valuations; we introduce the notion of “parameter-rank” of a positive-primitive first-order formula of the language for special groups. (shrink)

The question whether ethical behavior is biologically determined may refer either to thecapacity for ethics (e.i., the proclivity to judge human actions as either right or wrong), or to the moralnorms accepted by human beings for guiding their actions. My theses are: (1) that the capacity for ethics is a necessary attribute of human nature; and (2) that moral norms are products of cultural evolution, not of biological evolution.Humans exhibits ethical behavior by nature because their biological makeup determines the presence (...) of the three necessary, and jointly sufficient, conditions for ethical behavior: (i) the ability to anticipate the consequences of one's own actions; (ii) the ability to make value judgements; and (iii) the ability to choose between alternative courses of action. Ethical behavior came about in evolution not because it is adaptive in itself, but as a necessary consequece of man's eminent intellectual abilities, which are an attribute directly promoted by natural selection. (shrink)

The question whether ethical behavior is biologically determined may refer either to the capacity for ethics (i.e., the proclivity to judge human actions as either right or wrong), or to the moral norms accepted by human beings for guiding their actions. I herein propose: (1) that the capacity for ethics is a necessary attribute of human nature; and (2) that moral norms are products of cultural evolution, not of biological evolution. Humans exhibit ethical behavior by nature because their biological makeup (...) determines the presence of three necessary conditions for ethical behavior: (i) the ability to anticipate the consequences of one’s own actions; (ii) the ability to make value judgments; and (iii) the ability to choose between alternative courses of action. Ethical behavior came about in evolution not because it is adaptive in itself, but as a necessary consequence of man’s eminent intellectual abilities, which are an attribute directly promoted by natural selection. That is, morally evolved as an exaptation, not as an adaptation. Since Darwin’s time there have been evolutionists proposing that the norms of morality are derived from biological evolution. Sociobiologists represent the most recent and most subtle version of that proposal. The sociobiologists' argument is that human ethical norms are sociocultural correlates of behaviors fostered by biological evolution. I argue that such proposals are misguided and do not escape the naturalistic fallacy. The isomorphism between the behaviors promoted by natural selection and those sanctioned by moral norms exist only with respect to the consequences of the behaviors; the underlying causations are completely disparate. (shrink)

We have been teaching gender issues and feminist theory for many years, and we know that there is certainly a diversity of views among women, and men, about what counts as feminist or as good for women. Some may see a competent woman running for V.P as inevitably a step forward for women's equality. But consider this.

José Otero Espasandín (1900-1987) was an important science popularizer in Argentina during the 1940´s, who belonged to the Misiones Pedagógicas (Educational Missions) group in Spain. This paper presents his biography and his work as a science and technology popularizer. It focused on his features, value and significance for that period.

Medical stem cell research is currently the cause of much moral controversy. Those who would confer the same moral status to embryos as we do to humans consider that harvesting such embryonic cells entails sacrificing embryos. In this paper, the author analyses critically the arguments given for such a perspective. Finally, a theory of moral status is outlined that coherently and plausibly supports the use of embryonic stem cells in therapeutic research.

Sobre el libro: El presente libro recoge las ponencias presentadas en la reunión anual del Seminario Spinoza que tuvo lugar en la Facultad de Filosofía de la UNED los días 13 y 14 de marzo de 2009, así como la presentación del cuadro de Espinosa pintado por Sorolla procedente de la Donación Simarro y perteneciente al fondo artístico de la Universidad Complutense, que tuvo lugar en El Escorial en el verano de 2008. Los trabajos se articulan en cuatro apartados: la (...) política, la ciencia, la proyección de Espinosa en la Ilustración y la iconografía de Espinosa, y sitúan a Espinosa en su siglo, destacando su carácter anómalo en relación con el resto de autores de su entorno. Espinosa no se adaptó a la crisis, sino que se esforzó por comprenderla sin ceder en sus ideales, lo que permitió que las ilusiones renacentistas se desarrollaran en la ilustración, superando el hiato de la crisis barroca. (shrink)

Œuvre de maturité de François Suarez (1548-1617), Des lois et du Dieu législateur a été publié en latin en 1612. Parmi les dix livres que comprend cet ouvrage, nous avons choisi de présenter pour la première fois les deux premiers en langue française. À partir de l'héritage retravaillé de la philosophie politique antique et médiévale, Suarez élabore une théorie originale de la loi et de la communauté en renouvelant leur rapport à l'éthique et à la jurisprudence. Dans une période marquée (...) notamment par la controverse de Valladolid (1550) et la Contre-Réforme, l'auteur redéfinit le contenu et la finalité des concepts fondamentaux de la théorie politique (l'état de nature, le droit naturel, le droit subjectif, la loi naturelle, le pacte social, la souveraineté, l'État et le droit des gens) en les articulant à une compréhension historique de l'homme conçu comme être libre, raisonnable et fini. Suarez instaure ainsi les conditions d'un basculement du théologico-politique dans la modernité dont les effets se feront sentir, entre autres, chez Grotius et l'École du droit naturel. Les conséquences de ce mouvement seront perceptibles jusqu'au XVIIIe siècle avec Wolf. Des lois et du Dieu législateur permet précisément d'apprécier à sa juste mesure la place privilégiée qu'il convient de redonner à la théorie suarézienne de la loi dans l'histoire de la pensée politique. (shrink)

I discuss a difficulty concerning the justification of the Axiom of Choice in terms of such informal notions such as that of iterative set. A recent attempt to solve the difficulty is by S. Lavine, who claims in his Understanding the Infinite that the axioms of set theory receive intuitive justification from their being self-evidently true in Fin(ZFC), a finite counterpart of set theory. I argue that Lavine's explanatory attempt fails when it comes to AC: in this respect Fin(ZFC) is (...) no better off than the iterative notion. (shrink)

La ciencia aritmética ha sido un interés constante en toda la reflexión de Giovanni Piana. El objetivo de este ensayo es mostrar de qué forma este interés pueda ayudar para ilustrar las articulaciones principales del pensamiento del fenomenólogo italiano. Este camino pasa por la diferencia, establecida por Piana, entre un nivel pre-aritmético y un nivel aritmético como re-flejo de la distinción husserliana entre un nivel ante-predicativo y un nivel predicativo. Ade-más, el par prearitmético/aritmético, trae la distinción entre antepredicativo y predicativo (...) más allá de la esfera del lenguaje verbal en el que tiene lugar la predicación. Como se verá, el re-sultado es una diferenciación generalizada entre un nivel pre-lingüístico y un nivel lingüístico, cuyo alcance potencial encuentra en la música un ejemplo de grande valor. (shrink)

La ciencia aritmética ha sido un interés constante en toda la reflexión de Giovanni Piana. El objetivo de este ensayo es mostrar de qué forma este interés pueda ayudar para ilustrar las articulaciones principales del pensamiento del fenomenólogo italiano. Este camino pasa por la diferencia, establecida por Piana, entre un nivel pre-aritmético y un nivel aritmético como re-flejo de la distinción husserliana entre un nivel ante-predicativo y un nivel predicativo. Ade-más, el par prearitmético/aritmético, trae la distinción entre antepredicativo y predicativo (...) más allá de la esfera del lenguaje verbal en el que tiene lugar la predicación. Como se verá, el re-sultado es una diferenciación generalizada entre un nivel pre-lingüístico y un nivel lingüístico, cuyo alcance potencial encuentra en la música un ejemplo de grande valor. (shrink)

This article sets out the overall framework within which American music phenomenologists operates. A widely accepted definition of the word phenomenology, together with a basically eclectic attitude and a boundary issue between musicology and philosophy, is identified. The impetus to the article is provided by an anti-positivistic polemic and a plea in defence of the meaning and concreteness of musical experience. These aspects then combine in a critique of traditional musical analysis in its positivistic matrix. S.K. Langer's philosophy, as the (...) inspiration of this polemic, is examined in the central part of the article. However, the author's distancing from the idealistic aspects of his esthetics is covered, in particular the downplaying of the sound-sensitive level and the condemnation of musicology in general. Sense and sensitive materials, wide philosophical options and concrete procedures of music analysis are what these authors look for in phenomenology as a means to reconcile humanistic and technical culture. Therefore, the article is not so much a condemnation as an attempt to refound musicology in its entirety, with particular reference to contemporary music. (shrink)

1. Premessa Nel filone di studi che prende il nome di “ontologia sociale” l’espressione “intenzionalità collettiva”, o “we-intention”, si riferisce agli stati soggettivi indicati dall’uso (appropriato) della prima persona plurale – ad esempio “noi vogliamo x”, “noi facciamo y”, “noi crediamo z” ecc. Come è noto, tutta la ricostruzione teorica che John Searle, il punto di riferimento di questa letteratura, propone della realtà socio-politica si basa su tre nozioni principali, di cui una è prop...

The article examines the need to increase an education toward the development of complex thinking in urban areas where there is a considerable amount of social unrest. The school often fails to bridge the gap between educator/education and learner and this happens in particular when it comes to kids ‘disadvantaged’. The P4C is a pedagogical method that can heal this divide, inter alia, through its dialogic practice. The practice of philosophy can became a way to bridge the sense of fragmentation (...) that the learner feels during his school track when he is having to do with a series of parceled knowledge, because it facilitate the cognitive access to them. The risk to which the student meets with the traditional education, as Freire says, is to undermine the faculty to make aware and to problematize his learning process. To built complex thinking opens the possibility of a 360-degree access to the real and increases the development of critical, creative and caring cognitive spheres. The P4C methodology application should be widespread in many school settings possible, but not only. The article continues with a brief description of some non-formal educational services offered to minors in situations of social disadvantage in Naples, focusing in particular on the Territorial Educational Laboratories. In one of these, L’Officina dei Sogni, an organization working in the territory of the 1st Municipality of the city, I carried out from October 2010 to June 2011 a P4C laboratory with children between 8 and 12 years old, driven by the reflection that this educational methodology can improve on cognitive skills in children and adolescents who are living in situations of high social problems and difficulties at school, in order to reduce for them the risk of social exclusion. The success encountered by the laboratory has had a positive effect also on the other daily Territorial Educational Laboratories activities. The aim of this article is to demonstrate that the use of this philosophical practice is not only possible but necessary in the educational fields that attend in urban areas where there is a strong presence of social problems. (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)

Should the philosophy of biology deal with organismic, or with molecular aspects , or with both ? We are, of course, not the first to appreciate the ...

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

Hay doble pulsión en el centro de la discusión del razonamiento deductivo. Una conduce aparentemente a la abstracción y dominios arbitrarios, mientras que la otra conduce a la concreción y la dependencia del contenido. El objetivo de esta investigación es diseñar, aplicar y validar un instrumento de evaluación que nos permita corroborar si el razonamiento deductivo maneja reglas lógicas o contenidos. La muestra de estudio se compuso de 80 participantes (edad 18-77 años). El test consta de 60 ítems categorizados en: (...) formalidad, integrabilidad, complejidad y modalidad. Los resultados ponen de manifiesto la fiabilidad del test de razonamiento deductivo con un alpha de Cronbach. 775 y con un índice de validación. 850 para el índice de inteligencia no verbal (INV) del RIAS. Cómo conclusión inferimos que el razonador deductivo no dispone de un cuerpo preciso de reglas generales deductivas, sino que usa colecciones de reglas heurísticas cada vez menos abstractas. (shrink)

It is an intimate experience for us to think, to understand and to perceive things as being identical to themselves, and to suppose, consequently, that things are truly “what” they are. Something is always conceived as itself. The given is given full of itself in all its modifications. For instance, I can think or perceive partially some lips, I can see them almost in their whole or in some of their aspects, or just see them disappear. But it does not (...) seem to be possible to think or to perceive a given as almost itself, as an aspect or as part of itself. It is the aim of this work to study the assumptions and conditions for the original position of sameness in experience, just as it occurs in the synthesis of the datum singular and distinct. The polarization of single tone (einstimmig) intentional rays in an αvτó already contains the aporiae peculiar to the experience of the identical, whose revelation shall lead us, on the one hand, to one of the nuclei of the analysis of passive synthesis, and, on the other hand, to point up how critical revision of the numerical or extensional model of self-identity is for the unity of meaning. Then, it will be a question of pointing out the reasons why in a phenomenology of identity, the renunciation of the phenomenological legitimacy of the αvτó as a guarantee for the different positions of identity must be observed. DOI: 10.1007/978-94-011-3464-4_13 . (shrink)