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 traditional conception of lying, according to which to lie is to make an assertion with an intention to deceive the hearer, has recently been put under pressure by the phenomenon of bald-faced lies i.e. utterances that _prima facie_ look like lies but because of their blatancy allegedly lack the accompanying intention to deceive. In this paper we propose an intuitive way of reconciling the phenomenon of bald-faced lies with the traditional conception by suggesting that the existing analyses of the (...) phenomenon overlook a non-obvious category of hearers whom the speakers of bald-faced lies intend to deceive. Those hearers are institutions represented by the people involved, such as courts or secret police. We also criticize two recent rival accounts (Jessica Keiser’s and Daniel Harris’s) that attempt to save the traditional conception by saying that some bald-faced lies are not assertions, because they are conventional—rather than illocutionary—speech acts. (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.

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)

Recently, scholars have described the emotional consequences of transnational motherhood on families. Research, however, has neglected to address the lives of migrant fathers and how they compare to those of migrant mothers. This article fills the gap by analyzing the experiences of Mexican transnational mothers and fathers residing in New Jersey. Ethnographic data and interviews show that parents behave in similar ways when internationally separated from children. However, their migration patterns and emotional responses to separation differ. I show that these (...) differences are tied to Mexican gender ideology in which women’s maternal roles are sacralized, whereas fathers’ roles are tied to financial provision. Although the contemporary Mexican transnational family structure challenges gender norms, the analysis of how parents understand their family roles when separated from their children proves gender ideals to be highly durable in the transnational context. (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)

In my paper I present a critique of Dorota Brylla’s interpretation of the dialogue by Nicholas of Cusa - De Deo abscondito, and a critique of her stance on apophatic theology. I consider Brylla’s position an exemplification of a more widespread philosophical point of view in terms of both the interpretation of Nicholas thought and the apophatic tradition as such. I also present an alternative reading of both his dialogue and apophatic theology. Finally, I point out some implications of adopting (...) my position for philosophical theology and the philosophy of religion. (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)

This paper draws on the philosophy of Karl Popper to present a descriptive evolutionary epistemology that offers philosophical solutions to the following related problems: ‘What happens when learning takes place?’ and ‘What happens in human learning?’ It provides a detailed analysis of how learning takes place without any direct transfer of information from the environment to the learner, and it significantly extends the author's earlier published work on this topic. She proposes that learning should be construed as a special case (...) of ‘problem solving’ and as a fundamentally critical and creative process in which learning organisms develop ‘expectations’ that are not purely an outcome of genetic inheritance or random mutation. Human learning is then characterised with reference to: objectified knowledge; descriptive and argumentative language; theoretical problems; the search for error and specific limitation. If the author's evolutionary analysis of learning is valid, it would suggest that we should, if we wish to promote learning, be wary of corralling children and older students in environments that inhibit autonomous activity, that discourage criticality and creativity and generally limit opportunities for trial and error‐elimination. But education institutions, particularly those for older children and adolescents, are very often environments of this constraining kind. Traditionally, educationists have vastly underestimated the human potential for imaginative criticism—because in general they have not recognised the extent to which it lies at the heart of what humans, including the youngest children, do in order to succeed at even the most basic tasks. (shrink)

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)

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)

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)

Drawing on four years of ethnographic research with romance novel writers, we show how their affiliation with romance—a literary genre known for stories containing sexual content—prompted outsiders to sexually stigmatize them. Our work examines both the application and management of this stigma. We describe how outsiders applied the stigma in two ways: by conveying blatant disapproval through “sneering” and inviting writers to display a highly sexualized self through “leering.” Writers interpreted outsiders’ sneering as slut-shaming rhetoric and responded discursively to manage (...) the stigma; leering, however, sent a more complicated message that was harder for writers to manage. In revealing how these interactions threatened to strip writers of their sexual agency, our analysis suggests gender may be a primary mechanism by which stigma is applied and managed, which has theoretical implications for the stigmatization of women’s sexual selves. (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.