An organization emits carbon dioxide (CO2) and other greenhouse gases (GHGs) through its daily operations, such as the electricity used to power its offices, manufacture products, and then fossil fuels used in vehicles to distribute them. This is referred to as an organization’s carbon footprint, and there is increasing stakeholder and regulatory pressure on management teams globally to reduce them. On other words, it is increasingly critical that the quantity of carbon dioxide and other greenhouse gases that a company is (...) releasing into the atmosphere can be accurately measured in order to ensure that is being reduced accordingly. The European Union Emissions Trading System (EU ETS) is the most crucial tool for decarbonizing Europe, but it has also become a money-making machine. States and financial investors earn; for the power industry, which pays for it, the worst thing is not the system’s presence but its instability. Huge price jumps make it impossible to plan budgets and investments sensibly. This paper provides an introduction to the EU’s Emissions Trading System. As such it provides a discussion of the historical and legal context in which the EU ETS developed and now operates. This article covers the various ways in which these market dynamics, regulatory requirements and stakeholder expectations have converged to make European carbon markets a critical topic for today’s analyst. (shrink)

The paper discusses some of the criticisms of contingent valuation (CV) and allied techniques for estimating the intensity of peoples' preferences for the environment. The weakness of orthodox utilitarian assumptions in economics concerning the commensurability of all items entering into peoples' choices is discussed. The concept of commensurability is explored as is the problem of rational choice between incommensurate alternatives. While the frequent claim that the environment has some unique moral intrinsic value is unsustainable, its preservation often raises ethical and (...) other motivations that are not commensurate with the values that people place on ordinary marketable goods. Nevertheless, CV is also claimed to have some advantages and it is concluded that little progress will be made in this area until both sides in the debate recognise what is valid in their opponents' arguments. (shrink)

The paper concerns Grzegorczyk’s non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propose a new logical system, \, which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for \ and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of \, which makes it a generic non-Fregean (...) logic. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...) one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object. Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF.

The article presents partial results of nationwide research devoted to teaching ethics. It discusses the place of ethics in the Polish education system and the development trends visible since its introduction (1991). When it comes to legislature, acts and ordinances of the Minister of National Education were analyzed. Next to legal acts also judgments of the Constitutional Tribunal, regulating the principles of teaching and assessing the subject of ethics, were discussed. An important aspect of these regulations, due to their practical (...) consequences, is the positioning of ethics as an alternative to the religious education. Statistical data were also analyzed, allowing for a nationwide assessment of the development of interest in the ethics as a subject of school teaching – an increase in the number of schools in which the subject of ethics is taught (depending on the stage of education and the type of school), as well as an increase in the number of full-time equivalent for ethics teachers. The last-mentioned increase, although significant since 2014, is nevertheless small in absolute numbers; ethics still remains a niche subject. Over the years, one can observe an improvement in its status and an increase in social demand. However, the current definition of ethics as an optional subject means that the level of participation still remains low. (shrink)

We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this paper, i.e., we show how to construct a relational logic associated with the logic for order-of-magnitude reasoning and its dual (...) tableau system which is a validity checker for the modal logic. For that purpose, we define a validity preserving translation of the modal language into relational language. Then we prove that the system is sound and complete with respect to the relational logic defined as well as with respect to the logic for order of magnitude reasoning. Finally, we show that in fact relational dual tableau does more. It can be used for performing the four major reasoning tasks: verification of validity, proving entailment of a formula from a finite set of formulas, model checking, and verification of satisfaction of a formula in a finite model by a given object. (shrink)

The non-Fregean logic SCI is obtained from the classical sentential calculus by adding a new identity connective = and axioms which say ?a = ß' means ?a is identical to ß'. We present complete and sound proof system for SCI in the style of Rasiowa-Sikorski. It provides a natural deduction-style method of reasoning for the non-Fregean sentential logic SCI.

We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.

Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of these temporal logics. We show how to incorporate in the systems various relations between intervals and/or (...) various time orderings. (shrink)

Discusses one principle that has been suggested as a guide to the way we ought to take account of the interests of future generations, namely the principle of intergenerational ‘equity’ and its related claim of intergenerational equality, particularly in spheres such as the way we should share out ‘finite’ resources among generations. This chapter examines the possible arguments in favour of intergenerational egalitarianism and concludes that they are difficult to defend. It is proposed that egalitarianism should be replaced by the (...) principle of ‘threshold prioritarianism’, so that our moral obligation to future generations should be based on a humanitarian concern to avoid policies that may impoverish them. (shrink)

During the last two or three decades, various developments in the environmental sphere have led to increasing concern with our obligations to posterity and to the non‐human part of the natural world. These developments have exposed gaps in both traditional, moral, and political theory and in conventional economics. Environmental issues have exposed these gaps and have brought to the fore questions such as how far the society, with whose welfare we are concerned, includes future generations or is limited to individual (...) nations or human beings. This book examines these questions as well as related ethical aspects of environmental policy, such as environmental valuation or the equitable allocation among nations of the burden of environmental protection. (shrink)

Some current environmental problems are global and have public good elements that raise, in an acute form, the question of how the costs of a collective effort from which the world as a whole will benefit should be shared out among poor and rich countries. This chapter discusses how far theories of justice provide guidance to this question. It argues that the answer seems to be ‘very little’ and that, in order to arrive at some ground rules for allocating the (...) burden of global environmental protection between countries—as between generations—we are forced back on humanitarian principles of concern for the poor. (shrink)

Another widely suggested principle governing our obligations to future generations is ‘sustainable development’. The first part of this chapter argues that the mainstream interpretations of the concept of sustainable development are open to serious objections on ethical grounds. The chapter also shows that even if intergenerational egalitarianism were a viable objective there is nothing intergenerationally egalitarian about sustainable development.

Generations are not homogeneous entities and are composed of individuals and nations that have conflicting interests in the way in which resources are allocated among competing uses. This chapter discusses whether ‘the environment’, or ‘nature’, should enjoy special status in any allocation; whether the economist's approach is too anthropocentric; the concept of ‘intrinsic’ values; and the application of these concepts to environmental valuation. It is argued that while many environmental assets are ‘public goods’, so that the free market is unlikely (...) to supply the socially optimal amount, the same applies to many other things, such as public health or education services or the arts, not to mention the fact that most people in the world are, anyway, in dire need of a simple increase in their ability to buy simple basic private goods. This means that the allocation of resources to environmental objectives ought to take into account some form of cost‐benefit analysis. (shrink)

We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.

Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMR_N for order-of-magnitude reasoning with the (...) bidirectional negligibility relation. It is a multi-modal logic given by a Hilbert-style axiomatization that reflects properties and interactions of two basic accessibility relations (strict linear order and bidirectional negligibility). Although the logic was studied in many papers, nothing was known about its decidability. In the paper we prove decidability of OMR N by showing that the logic has the strong finite model property. (shrink)

We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.

This article explores innovative legal tools in built environment settings. Using tangible examples, the discussion will leverage the authors' expertise in the law, public health, and architecture to explore strategies in domestic and international settings to explain how healthy spaces make a direct public health impact on people's lives.

In bildungspolitischen Diskussionen melden sich aktuell immer mehr Vertreter*innen politisch ambitionierter Pädagogiken zu Wort, die die pädagogische Nutzung ganz unterschiedlicher Kulturprodukte kritisieren, indem sie diese als Ausdruck von Rassismus, Sexismus, Kolonialismus oder Klassismus deuten. Bei solchen politisch und pädagogisch umkämpften Kulturprodukten handelt es sich beispielsweise um Kinderspielzeug, Dreadlocks oder Schokoladenverpackungen, um Kunstwerke, Fernsehserien, Gedichte und um Bücher. In dem Band werden diese engagierte Pädagogiken, die pädagogische und politische Vorgaben für den angemessenen und richtigen Umgang mit Kulturprodukten machen, anhand von Beispielen (...) - vom Kinderbuch 'Jim Knopf ́ bis hin zu 'Gonzo' aus der Muppetshow - aus der gebotenen Distanz analysiert und auf den Prüfstand gestellt. (shrink)

It is often taken for granted that there exists a more or less “natural” link between left-wing politics and the progressive social movements referred to as “cultural”, such as feminist, ecological or LGBT struggles. This article argues that if an alliance between the Left and the LGBTQ movement is to be real and operational, it must be worked out, rather than presupposed, via a thorough rethinking of the political as such, of its axioms, goals and ethical frameworks. The authors see (...) a parallel between the dissatisfaction that recent grassroots left-wing movements feel towards more established parties and institutions, and the dissatisfaction that a new wave of queer activism feels towards more traditional policies of mainstream LGBT organizations. Much of this dissatisfaction can be derived, in both cases, from the perceived neoliberalization of the political and social spheres and the subsequent cooptation of leftist / queer politics and activism to the neoliberal, or even neoconservative, agenda. This moment of shared dissatisfaction should be used creatively to devise common strategies, rather than maintain the artificial and disadvantageous division between the so-called “economic” and “cultural” lefts. Regrettably, at the moment there is very little understanding of queerness on the Left, just as there is little dedication to countering the disastrous effects of capitalism among LGBT activists. The New Left and the queer movement have much to learn and gain from each other, but to make this happen new leftists must rethink the political through the sexual, whereas the queer movement must rethink the sexual through the economic, to put it simply. The article ends with an outline of a new comprehensive ethical and political model from which an anti-exclusionary and pro-social ethics could be derived as a common ground for a workable queer and left alliance. (shrink)

If the argument from analogy is an argument for other minds it must rely on a single case, The correlation of your mind with your body. If instead it only attempts to show that certain sorts of experiences are associated with other bodies, It can rely on innumerable correlations of your experiences with your behavior. Having determined in this way that ostensive memories are associated with another body and that they are the kind one would expect if one mind had (...) been associated with this body throughout its existence, You can then offer another argument to this effect--And you could do so even if your own memories associated your own experiences with a succession of different bodies. (shrink)

Lektorzy pracujący ze studentami kierunków niefilologicznych szczególnie wyraźnie odczuwają, iż kompetentne nauczanie języka obcego nierozerwalnie wiąże się z przekazywaniem wiedzy o kulturze i historii kraju lub krajów, w którym jest on używany. Bez takiej koherencji wiele zjawisk (jak choćby idiomy, specyfika frazeologii czy nietypowe konstrukcje gramatyczne powstałe pod wpływem historycznych kontaktów międzynarodowych) pozostanie w znacznej mierze niezrozumiałe dla osób uczestniczących w lektoracie. Na kwestię „przemycania” w trakcie zajęć językowych wiadomości o dziejach danego kręgu kulturowego spojrzeć można jednak nie tylko z (...) perspektywy nauczyciela języka, ale również z punktu widzenia historyka. Niniejszy artykuł stanowi pokłosie takich właśnie rozważań nad obrazem rodzimej historii, jaki przekazywany jest w trakcie lektoratu języka polskiego obcokrajowcom studiującym w Rzeczypospolitej inne kierunki aniżeli polonistyka. Analizie poddano pomoce edukacyjne, a ściślej wybrane podręczniki tworzone przez natywnych użytkowników języka polskiego, powstałe po 2005 r. Cezura ta podyktowana jest zachodzącymi w glottodydaktyce na przestrzeni ostatniego półwiecza zmianami w podejściu do nauczania aspektów kulturowych. Jako efekt tych dociekań starano się przedstawić następujące kwestie. Po pierwsze: stan badań nad omawianym problemem na przestrzeni końca wieku XX i początku XXI w. przy jednoczesnym porównaniu z ukazującymi się wówczas publikacjami przeznaczonymi do nauczania specjalistycznego języka polskiego w zakresie innych dyscyplin. Po drugie: typologię zagadnień z historii Rzeczypospolitej, jakie wprowadzono do nauczania tegoż języka jako obcego z podkreśleniem postaci, wydarzeń i miejsc, które wyjątkowo często wykorzystywane są w analizowanych materiałach dydaktycznych. Po trzecie: problem możliwości skorelowania rzeczonej typologii z poziomami nauczania języka obcego określonymi w ESOKJ. Wiodącym wynikiem powyższych rozważań jest konkluzja, iż obraz dziejów Polski odmalowywany przed obcokrajowcami za pomocą tekstów niewątpliwie przemyślanych i wartościowych w swej warstwie językoznawczej z punktu widzenia historyka jest niekompletny (zwłaszcza w odniesieniu do okresu nowożytnego i wieku XX). Przez to zaś może prowadzić słuchaczy z innych kręgów kulturowych do niezrozumienia polskiej specyfiki cywilizacyjnej i rzutować na poprawność komunikacji językowej. Sytuacja taka zwiększa zarazem zakres odpowiedzialności lektorów za choćby częściowe uzupełnienie niedostatków występujących w materiałach dydaktycznych. (shrink)

With reference to the previous empirical works on applause, we explore the roles it plays during the first birthday celebration using multimodal analysis. Particularly, we focus on modes of its initiation and collaborative enactment. The empirical material includes 25 videos from different Polish families. The analysis demonstrates that applause works in interaction as a ritual anchor that allows the participants to move to either the end or the next sequence of the ritual, as an appreciative assessment of the previous action, (...) as a device for focusing joint attention, which coordinates the interaction of participants and focuses the attention on the most important actor/recipient of the ritual. (shrink)

For her entire childhood, Joanna's father, Bob, had a ritual: wake up at dawn, walk the dog, and sit down at the kitchen table with a blank pad of paper and plenty of colored markers to craft notes for his two children. Over the years, word games and puzzles for five-year-olds morphed into thoughtful guidance and reflections for his teenagers approaching adulthood. Now, with more than 3,500 of her father's colorful notes in hand, Joanna has decided that the (...) lessons tucked inside are worth sharing. Folded Wisdom highlights the collection of Bob's notes, telling a story filled with universal values that encourages meaningful self-reflection about how we all face successes and failures; express happiness and sadness; and communicate frustration, praise, and love to one another. Heartfelt and full of possibility for the future, a father's folded notes and drawings are timeless reminders of love. (shrink)

A study of the future of feminism calls for a return to the radical roots of feminism's direct political struggle during the 1960s and early 1970s and a move away from the de-politicized focus on women's psychology and personal relations of today.

The use of the category of race in science remains controversial. During the last few years there has been a lively debate on this topic in the field of a relatively young neuroscience discipline called cultural neuroscience. The main focus of cultural neuroscience is on biocultural conditions of the development of different dimensions of human perceptive activity, both cognitive or emotional. These dimensions are analysed through the comparison of representatives of different social and ethnic groups. In my article, I present (...) arguments supporting these two hypotheses: the other-race effect understood as an individual, distinct effect does not exist. It is rather an exemplification of a much broader phenomenon which I call theunfamiliarity homogeneity effect. It includes not only problems with differentiation and recognition of faces of representatives of other ethnic groups, but also covers similar recognitional difficulties ; The race-based terminology and categories are used in cultural neuroscience research in a vague and inconsistent manner. Such an approach distorts the science both in empirically and conceptually significant respects. The unfamiliarity homogeneity effect is an example of such a situation: narrowing it to the other-race effect makes it difficult to analyse in a wider context crucial for its understanding. (shrink)

The immortality of the soul is one of the oldest tropes in the history of philosophy and one that gained significant momentum in 16th-century Europe. But what came before Pietro Pomponazzi and his contemporaries? Through examination of four neglected but central figures, Joanna Papiernik uncovers the rich and varied nature of the afterlife debate in 15th-century Italy. By engaging with old prints, manuscripts and other archival material, this book reveals just how much interest there was in the question of (...) immortality before the 16th-century boom in Aristotelian translations. In particular, Papiernik sheds light on the treatises of Agostino Dati, Leonardo Nogarola, Antonio degli Agli and Giovanni Canali, all of which have until now been overlooked in modern scholarship. From Dati's critiques of ancient and existing positions to Agli's study of immortality and its relation to the metaphysics of light, this volume investigates not only how wide-ranging the debate was but also the important impact it had on later philosophical thinking. Deftly combining close reading with a broad intellectual survey, and including two editions of unpublished primary texts, Philosophies of the Afterlife in the Early Italian Renaissance provides a crucial insight into the development of early Renaissance Platonism and philosophy of religion. (shrink)