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)

In The Conditions for Ethical Chemical Restraint, Crutchfield and Redinger (2024) propose ethical standards for the use of chemical restraints, which they consider normatively distinct from physica...

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.

In this text I briefly describe the main trends in the analytic philosophy of language in the 21st century. Among the most important developments that influenced the way in which the philosophy of language is done I mention experimental philosophy and conceptual engineering. Among the new topics I highlight the social and political turn of the analytic philosophy of language with its focus on gender terms, slurs, fig leaves, dog whistles and other linguistic phenomena that have significant societal impact. I (...) also mention the debate between semantic minimalism, contextualism and relativism, which has its roots in earlier philosophy but which has been very lively in the first quarter of the 21st century. (shrink)

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)

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)

Offers a historical-cultural context for the ethos of service in libraries and critically examines this professional value as it intersects with gender, sexuality, race and ethnicity, class, and (dis)ability"--Provided by publisher.

Dans une approche psycho-développementale et systémique, cet article examine l’expérience grand-parentale en contexte de troubles du spectre autistique ( tsa ) de l’enfant en considérant la pluralité des relations familiales (conjugale, co-grand-parentale, parents/enfant(s), grand(s)-parent(s)/petit(s)-enfant(s), etc.) dans lesquelles les grands-parents sont inscrits. L’analyse des entretiens menés auprès de six grands-parents (quatre familles) montre notamment l’important engagement et le soutien instrumental et émotionnel des grands-parents auprès des parents et de leur petit-enfant porteur de tsa. Ces résultats sont discutés en lien avec l’accompagnement (...) des enfants présentant un tsa et leurs familles, dans une perspective systémique. (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)

The question of whether AI systems such as robots can or should be afforded moral agency or patiency is not one amenable either to discovery or simple reasoning, because we as societies constantly reconstruct our artefacts, including our ethical systems. Consequently, the place of AI systems in society is a matter of normative, not descriptive ethics. Here I start from a functionalist assumption, that ethics is the set of behaviour that maintains a society. This assumption allows me to exploit the (...) theoretical biology of sociality and autonomy to explain our moral intuitions. From this grounding I extend to consider possible ethics for maintaining either human- or of artefact-centred societies. I conclude that while constructing AI systems as either moral agents or patients is possible, neither is desirable. In particular, I argue that we are unlikely to construct a coherent ethics in which it it is ethical to afford AI moral subjectivity. We are therefore obliged not to build AI we are obliged to. (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)

Conferring legal personhood on purely synthetic entities is a very real legal possibility, one under consideration presently by the European Union. We show here that such legislative action would be morally unnecessary and legally troublesome. While AI legal personhood may have some emotional or economic appeal, so do many superficially desirable hazards against which the law protects us. We review the utility and history of legal fictions of personhood, discussing salient precedents where such fictions resulted in abuse or incoherence. We (...) conclude that difficulties in holding “electronic persons” accountable when they violate the rights of others outweigh the highly precarious moral interests that AI legal personhood might protect. (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)

Reigning regulatory frameworks for biomedical research impose on researchers and research ethics committees an obligation to protect research participants from risks that are unnecessary, disproportionate to potential research benefits, and non-minimized. Where the research has no potential to produce results of direct benefit to the subjects and the subjects are unable to give consent, these requirements are strengthened by an additional condition, that risks should not exceed a certain minimal threshold. In this article, I address the question of whether there (...) should be limits of permissible risks in non-therapeutic research involving competent and healthy subjects. Some commentators argue that competent and informed individuals should have a right to participate even in extremely risky research and that research ethics committees should never reject studies because they are too dangerous. To use David Shaw's expression, competent volunteers should have ‘a right to participate in high-risk research’. I argue that this idea is ill-founded, as it does not take into account the social mission and complex collaborative nature of research practice as well as the inequity of power between researchers and subjects. Imposition of limits on permissible risks for healthy volunteers is justified by the need to protect research enterprise and the need to protect the weaker party, namely the subjects. Also, I suggest that the best way to set boundaries on research risks is to leave the judgment of risk acceptability to research ethics committees. (shrink)