This book is the culmination of the COST Action CA15212 Citizen Science to Promote Creativity, Scientific Literacy, and Innovation throughout Europe. It represents the final stage of a shared journey taken over the last 4 years. During this relatively short period, our citizen science practices and perspectives have rapidly evolved. In this chapter we discuss what we have learnt about the recent past of citizen science and what we expect and hope for the future.

Les veloppement de la philosophie d'Averrotre mieux dvisions qu'Averrome de ses ouvrages que par l'ordre traditionnel de ses commentaires ; ces res par Averrotapes initiales sont infiuenctations d'Alexandre d'Aphrodise et par Thtapes finales de son loigne de ces auteurs et se rapproche de la pense par la lecture par Averrobut du Livre VIII de la Physique: ls est d'accord avec Aristote dans la premitape de son parcours et s're, puisqu'il croit par la suite que le dessein d'Aristote dans cette partie (...) du livre ternitleste. En ce qui concerne la lecture diffcution qu'Averroes et d'autres philosophes subirent en 1197. II n'affirme plus que la philosophie est la voie pour parvenir à la perfection humaine mais veut settlement exposer clairement la philosophie d'Aristote. (shrink)

ukasiewicz''s four-valued modal logic is surveyed and analyzed, together with ukasiewicz''s motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed in the light of the presented results, ukasiewicz''s own texts, and related literature.

This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics studied (...) here arise from the algebraic and lattice-theoretical properties we review of Tetravalent Modal Algebras, a class of algebras studied mainly by Loureiro, and also by Figallo, Landini and Ziliani, at the suggestion of the late Antonio Monteiro. (shrink)

This paper reviews the development of socially responsible investment (SRI) in the Spanish financial market. The year, 1997 saw the appearance in Spain of the first SRI mutual fund, but it was not until late 1999, that major Spanish fund managers offered SRI mutual funds on the retail market. The development of SRI in the Spanish financial market has not experienced the high levels of development seen in other European countries, such as France or Italy, where interest in SRI began (...) during the same period. This paper presents an analysis of the impact of SRI mutual funds managed by Spanish fund managers comparing the evolution of managed assets and number of investors. We also analyse the investment strategies adopted by these funds, which mainly use negative screening criteria and the participation of non-governmental organisations as institutional investors. An analysis of the take up of socially responsible investment in the Spanish financial market shows majors deficits in this process. This is due to Spanish investors having limited sensitivity to social issues and knowledge of SRI, and a lack of development of SRI investment strategies, such as engagement or shareholder activism by fund managers. Furthermore, the take-up of SRI mutual funds in the Spanish financial market coincided with a fall in the stock market at the beginning of the 21st Century. We conclude with an analysis of the relationship between SRI and Corporate Social Responsibility (CSR). (shrink)

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. (...) When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

In this paper two deductive systems associated with relevance logic are studied from an algebraic point of view. One is defined by the familiar, Hilbert-style, formalization of R; the other one is a weak version of it, called WR, which appears as the semantic entailment of the Meyer-Routley-Fine semantics, and which has already been suggested by Wójcicki for other reasons. This weaker consequence is first defined indirectly, using R, but we prove that the first one turns out to be an (...) axiomatic extension of WR. Moreover we provide WR with a natural Gentzen calculus. It is proved that both deductive systems have the same associated class of algebras but different classes of models on these algebras. The notion of model used here is an abstract logic, that is, a closure operator on an abstract algebra; the abstract logics obtained in the case of WR are also the models, in a natural sense, of the given Gentzen calculus. (shrink)

In this paper, we review the conventional analyses of management control systems, to conclude, first, that the illusion of control can mislead managers into believing that everything can be controlled and monitored, and, second, that no incentive system based only on extrinsic rewards can motivate individuals properly. Then, we investigate the philosophical foundations of the basic assumptions that, implicitly or explicitly, are made about the nature of the acting person. Based on personalist phenomenology, we show how the development of technical (...) and moral values is crucial to the long-run survival of organizations. We end by offering some guidelines as to what control systems should be like in order to be compatible with the nature of human persons. (shrink)

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

Chimpanzees follow the gaze of conspecifics and humans — follow it past distractors and behind barriers, ‘check back’ with humans when gaze following does not yield interesting sights, use gestures appropriately depending on the visual access of their recipient, and select different pieces of food depending on whether their competitor has visual access to them. Taken together, these findings make a strong case for the hypothesis that chimpanzees have some understanding of what other individuals can and cannot see. However, chimpanzees (...) do not seem nearly so skillful in the Gesture Choice and Object Choice experimental paradigms. Neither behavioral conditioning nor theory of mind explanations can account for these results satisfactorily. Instead this chapter proposes the idea that chimpanzees have the cognitive skills to recall, represent, categorize, and reason about the behavior and perception of others, but not their intentional or mental states, because they do not know that others have such states since they cannot make a link to their own. Human beings began their own evolutionary trajectory with these same skills, but then at some point in their evolution (probably quite recently) they began to understand that their own experience could serve as some kind of model for that of other persons. This allowed for even better prediction and control of the behavior of others and better communication and cooperation with them as well, and so it was an adaptation with immediate adaptive consequences that ensured its survival. (shrink)

Engineering ethics is usually focused on engineers’ ethics, engineers acting as individuals. Certainly, these professionals play a central role in the matter, but engineers are not a singularity inside engineering ; they exist and operate as a part of a complex network of mutual relationships between many other people, organizations and groups. When engineering ethics and engineers’ ethics are taken as one and the same thing the paradigm of the ethical engineer which prevails is that of the heroic engineer, a (...) certain model of the ideal engineer: someone both quite individualistic and strong enough to deal with all the moral challenges that could arise. We argue that this is not the best approach, at least today in our interrelated world. We have achieved a high degree of independence from nature by means of technology. In exchange for this autonomy we have become increasingly tied up with very complex systems to which we constantly delegate new tasks and powers. Concerns about safety keep growing everywhere due to the fact that now we have a sensitive awareness of the huge amount of power we are both consuming and deploying, thus, new forms of dialogue and consensus have to be incorporated at different levels, in different forums and at different times. Within these democratic channels of participation not just the needs and interests, but also the responsibilities and mutual commitments of all parties should be taken into account. (shrink)

Chimpanzees follow the gaze of conspecifics and humans — follow it past distractors and behind barriers, ‘check back’ with humans when gaze following does not yield interesting sights, use gestures appropriately depending on the visual access of their recipient, and select different pieces of food depending on whether their competitor has visual access to them. Taken together, these findings make a strong case for the hypothesis that chimpanzees have some understanding of what other individuals can and cannot see. However, chimpanzees (...) do not seem nearly so skillful in the Gesture Choice and Object Choice experimental paradigms. Neither behavioral conditioning nor theory of mind explanations can account for these results satisfactorily. Instead this chapter proposes the idea that chimpanzees have the cognitive skills to recall, represent, categorize, and reason about the behavior and perception of others, but not their intentional or mental states, because they do not know that others have such states since they cannot make a link to their own. Human beings began their own evolutionary trajectory with these same skills, but then at some point in their evolution (probably quite recently) they began to understand that their own experience could serve as some kind of model for that of other persons. This allowed for even better prediction and control of the behavior of others and better communication and cooperation with them as well, and so it was an adaptation with immediate adaptive consequences that ensured its survival. (shrink)

Dirac's approach to gauge symmetries is discussed. We follow closely the steps that led him from his conjecture concerning the generators of gauge transformations {\it at a given time} ---to be contrasted with the common view of gauge transformations as maps from solutions of the equations of motion into other solutions--- to his decision to artificially modify the dynamics, substituting the extended Hamiltonian for the total Hamiltonian. We show in detail that Dirac's analysis was incomplete and, in completing it, we (...) prove that the fulfilment of Dirac's conjecture ---in the ``non-pathological" cases--- does not imply any need to modify the dynamics. We give a couple of simple but significant examples. (shrink)

In practice, the relationship between business and ethics is not well-settled. In the past, organisations have developed an interest in setting value charts but this has been approached from a purely managerial perspective following the momentum and interest aroused by research on organisational cultures. Although interest in managing organisational cultures has slowly died down, for both theoretical and practical reasons we argue that there are feasible ways to explore values as part of an organisational culture. Indeed it is our claim (...) that it is feasible and productive to discuss values within organisations. However, rather than developing sophisticated theoretical frameworks, more efforts should be put into thinking about the conditions under which participants can enter into productive dialogue. It is our claim that if processes are carefully examined people within organisations can make better sense of their work and discover their own perspective to account for what they actually do and to project themselves into what they think they should be doing. Thus, values identified within the organisation can eventually reach a point where they become an expression of a shared commitment. The experience we describe aims to illustrate only one example of a concrete application of this approach. (shrink)

First, this article summarizes the way Jan Patocˇka thinks and updates the classic theme of philosophy as care for the soul. Then goes on to show Jacques Derrida’s significant and unexpected interest in the Czech thinker, and the manner as sharp and respectful as he reads it. Derrida argues that the core of Patocˇka’s approach, under the term “responsibility”, coincides in some sense with that of Emmanuel Levinas; nucleus that has to do, in both authors, with the essence of “religion”.

Presuppositions are well known phenomena. One way of treating them is as partial 'meaning-functions '. There is an attractive argument that holds that in order to explain the contrast between such sentences as "John came into the room" and "That bastard John came into the room" it is required to make our semantic theory essentially more complex. This argument appeals to the fact that contrasts such as the ones just mentioned play a role in the validity of logical inferences. In (...) this paper I argue that these contrasts can be accounted for by appealing to presuppositions. In order to defend this view we will have to offer a characterization of logical consequence that applies to sentences that involve presuppositions. (shrink)

This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the (...) particular cases of Łukasiewicz’s many-valued logics and of logics associated with varieties of residuated lattices are also presented. Finally the extension of this paradigm to other, more general situations is discussed, highlighting the need for philosophical or applied motivations in the selection of the truth degrees, due both to the interpretation of the idea of truth degree and to some mathematical difficulties. (shrink)

La religión cristiana no sobrevivirá a la crisis de la cristiandad. Como tampoco sobrevivió la religión romana a la caída del Imperio. Pues ninguna religión, en tanto que fenómeno cultural, logra superar las condiciones sociohistóricas que la hicieron posible. Sin embargo, la catolicidad del kerigma cristiano —que este siga siendo relevante tras la decadencia de la religión cristiana— no depende del renacimiento de la cristiandad, algo por otra parte inviable, sino del hecho de que el Dios que se nos reveló (...) en el Gólgota no es homologable a lo que religiosamente se entiende por divino. La crítica moderna a la religión fue, en realidad, antes cristiana, hasta el punto de que el cristianismo está más cerca del ateísmo que de la religión. La Encarnación —el que Dios no sea aún nadie sin el cuerpo con el que se identifica— trasciende las épocas y las culturas. Y las trasciende porque su horizonte no es el mundo, sino el de su final. (shrink)

The last years of the 20th Century have been somewhat contradictory with respect to values like loyalty, trust or truthfulness. On the one hand, (often implicitly, but sometimes very explicitly), self-interest narrowly defined seems to be the dominant force in the business world, both in theory and in practice. On the other hand, alliances, networks and other forms of cooperation have shown that self-interest has to be at least "enlightened".The academic literature has reflected both points of view, but frequently in (...) an ambiguous way, since the concepts of loyalty and trust are somewhat elusive and equivocal. This paper attempts to analyze the concept of loyalty in depth, examining the different conceptions about the word that can be found in the literature. We begin by going to the management classics (specifically, Follett, Barnard and Simon), and we then turn to the anthropological approach of Pérez López (1993), with its built-in ethical analysis, and show how trust and loyalty are crucial to the development of organizations. We end by suggesting in what ways loyalty and trust can be created and fostered in organizations. (shrink)

This article examines the relevance of a theory of the multinational state for the evaluation of claims for self-determination and secession. Considerations of ?ethnocultural justice? imply that the recognition of the multinational character of a state ? or the granting of some of the minority nations' demands ? is a matter of justice. If these requirements are not met, secession could be justified. Indeed, if secession needs a just cause (as it has been argued), a failure to build a truly (...) multinational arrangement can be a valid reason for a minority nation to secede. An approach like the one proposed would also contribute to the resolution of some of the key problems of the three main theories of secession and their appeals to nationalism, choice and remedial rights. (shrink)

This article analyzes efforts in Nicaragua to create ethical organizations and an ethical economy. Three societal ethea found in contemporary Nicaragua are examined: the ethos of revolution, the ethos of corruption, and the ethos of human development. The emerging ethos of human development provides the most hope for the nation's social and economic evolution. The practices of three successful economic development organizations explicitly aligned with the ethos of human development are described and evaluated: (1) a microfinance foundation (FDL), (2) a (...) federation of cooperatives (FENACOOP), and (3) a local branch of an international NGO (IO-Nicaragua). The article concludes with additional reflections on the meaning of ethical organizations and an ethical economy in the context of contemporary Nicaragua. (shrink)

The inference systems proposed for solving SAT are unsound for solving MaxSAT and MinSAT, because they preserve satisfiability but not the minimum and maximum number of clauses that can be falsified, respectively. To address this problem, we first define a clause tableau calculus for MaxSAT and prove its soundness and completeness. We then define a clause tableau calculus for MinSAT and also prove its soundness and completeness. Finally, we define a complete clause tableau calculus for solving both MaxSAT and MinSAT, (...) in that the minimum number of generated empty clauses provides an optimal MaxSAT solution and the maximum number provides an optimal MinSAT solution. (shrink)

The global environmental and social-economic crises of industrialized agriculture have led to the emergence of agroecology as an alternative approach aiming to increase the ecological, social and economic sustainability of agri–food systems. The ‘multi-level perspective’ is now a widely used framework to understand and promote the upscaling of local innovation niches, such as agroecology, to broader scales (e.g., regional, national, international), thus reconfiguring the dominant socio-technical regimes. Additionally, emergent ‘hybrid forums’ can provide a space between niche and regime where niche (...) innovators can become important actors in scaling up and out emergent innovations. In this paper, we examine a university training program (Postgraduate Diploma in Local Agroecological Dynamization at the Universitat Autònoma de Barcelona), to better understand its role as a ‘hybrid forum’. Our analysis focuses especially on how the program, as an example of a hybrid forum, worked to reconfigure practices, concepts, and tools of local development practitioners. We also assess to what extent the program contributed to transitioning local development institutions toward agroecology. An online survey (n = 46) and in-depth interviews (n = 16) were carried out to determine how the training program has impacted the student’s opinions and their respective institutions. The results show that most of the students consider that they have acquired new theoretical frameworks and useful methods to re-framing their local development projects, that new alliances with multi-actor networks have been perceived, and that some internal changes of the local development practices have taken place. We conclude that the training program, as a hybrid forum, is capable of outscaling niche innovations through linkages with different kind of actors both from the niche and the regime. Political changes in the socio-technical landscape level offer an opportunity to amplify the impact of the innovations which are being generated by those multi-actor networks, but with a limited multi-level impact as far as institutional regime-actors not aligned with agroecological transition keep the most of the competencies on agri–food systems. (shrink)

In Naming and Necessity Saul Kripke offers a number of arguments in order to show that no descriptivist theory of proper names is correct. We present here a certain version of descriptivist theory -we will characterize it as an individual-use reference-fixing descriptivist theory that appeals to descriptions regarding how a name is used by other speakers. This kind of theory can successfully answer all the objections Kripke puts forward in Naming and Necessity. Such sort of descriptivist theory is furthermore compatible (...) with the picture about reference that Kripke presents. It also seems to be able to account for some phenomena that are difficult to explain on Kripke’s view (the existence of informative identity statements and true negative singular existential statements). (shrink)

The “representation problem” in abstract algebraic logic is that of finding necessary and sufficient conditions for a structure, on a well defined abstract framework, to have the following property: that for every structural closure operator on it, every structural embedding of the expanded lattice of its closed sets into that of the closed sets of another structural closure operator on another similar structure is induced by a structural transformer between the base structures. This question arose from Blok and Jónsson abstract (...) analysis of one of Blok and Pigozzis’s characterizations of algebraizable logics. The problem, which was later on reformulated independently by Gil-Férez and by Galatos and Tsinakis, was solved by Galatos and Tsinakis in the more abstract framework of the category of modules over a complete residuated lattice, and by Galatos and Gil-Férez in the even more abstract setting of modules over a quantaloid. We solve the representation problem in Blok and Jónsson’s original context of M-sets, where M is a monoid, and characterise the corresponding M-sets both in categorical terms and in terms of their inner structure, using the notions of a graded M-set and a generalized variable introduced by Gil-Férez. (shrink)

Contends that Merleau-Ponty’s doctrine of the “philosophical shadow” that went together with all eminent doctrines of the past and which he discloses as their chief (though concealed) operative resource and the main cause of their ground-breaking viewpoints, both synthesizes and transcends all precedent phenomenological attempts (Heidegger’s and Fink’s prominent among them) to solve the theoretical and methodological puzzles uncovered by philosophical historiography.

To begin, I introduce an analysis of interlevel relations that allows us to offer an initial characterization of the debate about the way classical and connectionist models relate. Subsequently, I examine a compatibility thesis and a conditional claim on this issue.With respect to the compatibility thesis, I argue that, even if classical and connectionist models are not necessarily incompatible, the emergence of the latter seems to undermine the best arguments for the Language of Thought Hypothesis, which is essential to the (...) former. (shrink)

In this wholly original study, Josep Corbi asks how one should relate to a certain kind of human suffering, namely, the harm that people cause one another. Relying upon real life examples of human suffering--including torture, genocide, and warfare--as opposed to thought experiments, Corbi proposes a novel approach to self-knowledge that runs counter to standard Kantian approaches to morality.