The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior's paradox and Kaplan's paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior's and Kaplan's derivations at face value.

In this paper I present a precise version of Stalnaker’s thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by ‘if A then B’ in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker–Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place.

I end the paper by suggesting that this approach overcomes some of the objections often levelled at accounts of indicatives based on the notion of similarity.

This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’ Aleph, and the trinity; other examples are less so, like time traveling bricks, and even Geach’s Tibbles the Cat. The authors point out that the transitivity of non-wellfounded parthood is inconsistent with extensionality. A non-wellfounded mereology is developed with careful consideration paid to rival notions of supplementation and fusion. Two equivalent axiomatizations are given, and are compared to classical mereology. We provide a class of models with respect to which the non-wellfounded mereology is sound and complete.

Electron-optical aberration correction has recently progressed from a promising concept to a powerful research tool. 100–120 kV scanning transmission electron microscopes (STEMs) equipped with spherical aberration (Cs) correctors now achieve sub-Å resolution in high-angle annular dark field (HAADF) imaging, and a 300 kV Cs-corrected STEM has reached 0.6 Å HAADF resolution. Moreover, the current available in an atom-sized probe has grown by about 10x, allowing electron energy loss spectroscopy (EELS) to detect single atoms. We summarize the factors that have made this possible, and outline likely future progress.