This Handbook defines, illustrates, and challenges the field of environmental political theory. Through a broad range of approaches, it shows how scholars have used concepts, methods, and arguments from political theory and closely related disciplines to address contemporary environmental problems. Topics include the relationship of EPT to traditions of political thought; EPT conceptualizations of nature, the environment, community, justice, responsibility, rights, and flourishing; explorations of the structures that constrain or enable the achievement of environmental ends; and analyses of methods for (...) fostering environmental change. (shrink)

We investigate the notion of hyperimmunity with respect to how it can be applied to Π{\sp 0}{\sb 1} classes and their Muchnik degrees. We show that hyperimmunity is a strong enough concept to prove the existence of Π{\sp 0}{\sb 1} classes with intermediate Muchnik degree—in contrast to Post's attempts to construct intermediate c.e. degrees.

As government pressure on major technology companies builds, both firms and legislators are searching for technical solutions to difficult platform governance puzzles such as hate speech and misinformation. Automated hash-matching and predictive machine learning tools – what we define here as algorithmic moderation systems – are increasingly being deployed to conduct content moderation at scale by major platforms for user-generated content such as Facebook, YouTube and Twitter. This article provides an accessible technical primer on how algorithmic moderation works; examines some (...) of the existing automated tools used by major platforms to handle copyright infringement, terrorism and toxic speech; and identifies key political and ethical issues for these systems as the reliance on them grows. Recent events suggest that algorithmic moderation has become necessary to manage growing public expectations for increased platform responsibility, safety and security on the global stage; however, as we demonstrate, these systems remain opaque, unaccountable and poorly understood. Despite the potential promise of algorithms or ‘AI’, we show that even ‘well optimized’ moderation systems could exacerbate, rather than relieve, many existing problems with content policy as enacted by platforms for three main reasons: automated moderation threatens to further increase opacity, making a famously non-transparent set of practices even more difficult to understand or audit, further complicate outstanding issues of fairness and justice in large-scale sociotechnical systems and re-obscure the fundamentally political nature of speech decisions being executed at scale. (shrink)

The ever-increasing application of algorithms to decision-making in a range of social contexts has prompted demands for algorithmic accountability. Accountable decision-makers must provide their decision-subjects with justifications for their automated system’s outputs, but what kinds of broader principles should we expect such justifications to appeal to? Drawing from political philosophy, I present an account of algorithmic accountability in terms of the democratic ideal of ‘public reason’. I argue that situating demands for algorithmic accountability within this justificatory framework enables us to (...) better articulate their purpose and assess the adequacy of efforts toward them. (shrink)

Decisions based on algorithmic, machine learning models can be unfair, reproducing biases in historical data used to train them. While computational techniques are emerging to address aspects of these concerns through communities such as discrimination-aware data mining and fairness, accountability and transparency machine learning, their practical implementation faces real-world challenges. For legal, institutional or commercial reasons, organisations might not hold the data on sensitive attributes such as gender, ethnicity, sexuality or disability needed to diagnose and mitigate emergent indirect discrimination-by-proxy, such (...) as redlining. Such organisations might also lack the knowledge and capacity to identify and manage fairness issues that are emergent properties of complex sociotechnical systems. This paper presents and discusses three potential approaches to deal with such knowledge and information deficits in the context of fairer machine learning. Trusted third parties could selectively store data necessary for performing discrimination discovery and incorporating fairness constraints into model-building in a privacy-preserving manner. Collaborative online platforms would allow diverse organisations to record, share and access contextual and experiential knowledge to promote fairness in machine learning systems. Finally, unsupervised learning and pedagogically interpretable algorithms might allow fairness hypotheses to be built for further selective testing and exploration. Real-world fairness challenges in machine learning are not abstract, constrained optimisation problems, but are institutionally and contextually grounded. Computational fairness tools are useful, but must be researched and developed in and with the messy contexts that will shape their deployment, rather than just for imagined situations. Not doing so risks real, near-term algorithmic harm. (shrink)

This study sought to assess barriers and enhance readiness to consent to home and Planned Parenthood HIV testing among 60 out-patients from a mental health and substance abuse clinic in rural Appalachia. Testing barriers included not knowing where to get tested, lack of confidentiality, and loss of partners if one tested sero-positive. The intervention yielded lowered HIV stigma, increase in HIV knowledge, and agreement to take the HIV home test. These results are encouraging because they suggest that a brief educational (...) intervention is a critical pathway to the success of the National Institutes on Drug Abuse’s Seek, Test, Treat, and Retain initiative in poor rural counties. (shrink)

Nursing work increasingly demands forms of expertise that complement specialist knowledge. In child and family nursing, this need arises when nurses work in partnership with parents of young children at risk. Partnership means working with parents in respectful, negotiated and empowering ways. Existing partnership literature emphasises communicative and relational skills, but this paper focuses on nurses’ capacities to facilitate parents’ learning. Referring to data from home visiting, day‐stay and specialist toddler clinic services in Sydney, a pedagogical framework is presented. Analysis (...) shows how nurses notice aspects of children, parents and parent–child interactions as a catalyst for building on parents’ strengths, enhancing guided chance or challenging unhelpful constructs. Prior research shows the latter can be a sticking point in partnership, but this paper reveals diverse ways in which challenges are folded into learning process that position parents as agents of positive change. Noticing is dependent on embodied and communicative expertise, conceptualised in terms of sensory and reported channels. The framework offers a new view of partnership as mind‐expanding for the parent and specifies the nurse's role in facilitating this process. (shrink)

Let w and M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty Π1 0 subsets of 2ω, under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of w . We show that many countable distributive lattices are lattice-embeddable below any non-zero element of M.

This is a contribution to the study of the Muchnik and Medvedev lattices of non-empty Π01 subsets of 2ω. In both these lattices, any non-minimum element can be split, i. e. it is the non-trivial join of two other elements. In fact, in the Medvedev case, ifP > MQ, then P can be split above Q. Both of these facts are then generalised to the embedding of arbitrary finite distributive lattices. A consequence of this is that both lattices have decidible (...) ∃-theories. (shrink)

The property of smallness for Π01 classes is introduced and is investigated with respect to Medvedev and Muchnik degree. It is shown that the property of containing a small Π01 class depends only on the Muchnik degree of a Π01 class. A comparison is made with the idea of thinness for Π01 classesmsthm.

This paper continues the study of the metric topology on $2^{\mathbb {N}}$ that was introduced by S. Binns. This topology is induced by a directional metric where the distance from $Y\in2^{\mathbb {N}}$ to $X\in2^{\mathbb {N}}$ is given by \[\limsup_{n}\frac{C(X\upharpoonright n|Y\upharpoonright n)}{n}.\] This definition is closely related to the notions of effective Hausdorff and packing dimensions. Here we establish that this is a path-connected topology on $2^{\mathbb {N}}$ and that under it the functions $X\mapsto\operatorname{dim}_{\mathcal{H}}X$ and $X\mapsto\operatorname{dim}_{p}X$ are continuous. We also (...) investigate the scalar multiplication operation that was introduced by Binns. The multiplication of a real $X\in2^{\mathbb {N}}$ by an element $\alpha\in[0,1]$ represents a dilution of the information in $X$ by a factor of $\alpha$ . Our main result is to show that every regular real is the dilution of a real of Hausdorff dimension 1. That is, that the information in every regular real can be maximally compressed. (shrink)

The property of smallness for Π0 1 classes is introduced and is investigated with respect to Medvedev and Muchnik degree. It is shown that the property of containing a small Π0 1 class depends only on the Muchnik degree of a Π0 1 class. A comparison is made with the idea of thinness for Π0 1 classesmsthm.

An infinite binary sequence is complex if the Kolmogorov complexity of its initial segments is bounded below by a computable function. We prove that a Π₁⁰ class P contains a complex element if and only if it contains a wtt-cover for the Cantor set. That is, if and only if for every Y⊆ω there is an X in P such that X≥wtt Y. We show that this is also equivalent to the Π₁⁰ class's being large in some sense. We give (...) an example of how this result can be used in the study of scattered linear orders. (shrink)

BackgroundIndividuals with mind-wandering experience their attention decoupling from their main task at hand while others with flow experience fully engage in their task with the optimum experience. There seems to be a negative relationship between mind-wandering and flow. However, it remains unclear to what extent mind-wandering exerts an impact on flow. And it is also elusive whether physical activity and mindfulness, which are as important factors that affected individuals’ attentional control and psychological health, are beneficial in explaining the association between (...) mind-wandering and flow. The current study investigated the relationship between mind-wandering and flow, and the potential mediation effects of physical activity and mindfulness in this association.MethodsA cross-sectional exploratory study design, including multiple scales such as the Mind-Wandering Questionnaire, the International Physical Activity Questionnaire Short Form, Mindfulness Attention and Awareness Scale, and the Short Dispositional Flow Scale was applied. Descriptive statistics and bivariate correlation coefficients were applied in the analysis of these data. A multiple mediation model was used to examine the relationships between mind-wandering, flow, physical activity, and mindfulness.ResultsMind-wandering was inversely associated with physical activity, mindfulness and flow, respectively; and flow was positively related to physical activity and mindfulness, respectively. Moreover, multiple mediation results demonstrated that physical activity and mindfulness, respectively, mediated the relationship between mind-wandering and flow.ConclusionThese findings are helpful to understand how our minds attend to the present moment, and the crucial roles of physical activity and mindfulness in the association between mind-wandering and flow. An implication of these is the possibility that the effective strategies aimed at enhancing both the levels of physical activity and mindfulness are needed to reduce the negative impact of mind-wandering on flow. (shrink)

We use the notions of effective dimension and Kolmogorov complexity to describe a geometry on the set of infinite binary sequences. Geometric concepts that we define and use include angle, projections and scalar multiplication. A question related to compressibility is addressed using these ideas.

We consider two axioms of second-order arithmetic. These axioms assert, in two different ways, that infinite but narrow binary trees always have infinite paths. We show that both axioms are strictly weaker than Weak König's Lemma, and incomparable in strength to the dual statement (WWKL) that wide binary trees have paths.

We divide the class of infinite computable trees into three types. For the first and second types, 0' computes a nontrivial self-embedding while for the third type 0'' computes a nontrivial self-embedding. These results are optimal and we obtain partial results concerning the complexity of nontrivial self-embeddings of infinite computable trees considered up to isomorphism. We show that every infinite computable tree must have either an infinite computable chain or an infinite Π01 antichain. This result is optimal and has connections (...) to the program of reverse mathematics. (shrink)

SummaryOn purely logical grounds, if hypothesis H can be eliminated, then so too must its logical complement, H', be confirmed. The Asymmetry Theory, if true, must therefore be not formal but substantial. This cannot be established by the “two‐tier” view which requires symmetrical generalisation of theory terms and observation data. Even singular observations before being usable require a theory of accidents, a theory of errors, already built in to them before they can falsify hypotheses. This explains the inconsistency of Popper's (...) Simplicity criterion and his notion of a priori probability. Conclusion: Falsificationists cannot condemn verifiability without condemning themselves at the same time. (shrink)

Doing business ethics and conducting ethical business has to be much more than conducting a rational enquiry. Much also depends on the motivation of individuals and how a positive moral vision of business can unite intellectual and affective approaches to the conduct of business. The author is a lecturer in Philosophy at Warwick University, Coventry CV4 7AL, and a Research Associate at the Local Government Centre at Warwick Business School. He is also an independent organisation development consultant specialising in helping (...) organisations develop their learning processes and value‐based forms of leadership. (shrink)

Doing business ethics and conducting ethical business has to be much more than conducting a rational enquiry. Much also depends on the motivation of individuals and how a positive moral vision of business can unite intellectual and affective approaches to the conduct of business. The author is a lecturer in Philosophy at Warwick University, Coventry CV4 7AL, and a Research Associate at the Local Government Centre at Warwick Business School. He is also an independent organisation development consultant specialising in helping (...) organisations develop their learning processes and value‐based forms of leadership. (shrink)

I shall be employing a number of terms that have a variety of usages as in other contexts. The definitions I shall be using in this article are given below.