Transreal logical space of all propositions

Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistent form. We introduce logical spaces of all possible worlds and all propositions. We operate on a proposition, in all possible worlds, at the same time. We define logical transformations, possibility and necessity relations, in proposition space, and give a criterion to determine whether a proposition is classical. We show that proofs, based on the conditional, infer gaps only from gaps and that negative and positive infinity operate as bottom and top values.

Logical and epistemic foundationalism about grounding: the triviality of facts and principles

In this paper, I seek to undermine G.A. Cohen’s polemical use of a metaethical claim he makes in his article, ‘Facts and Principles’, by arguing that that use requires an unsustainable equivocation between epistemic and logical grounding. I begin by distinguishing three theses that Cohen has offered during the course of his critique of Rawls and contractualism more generally, the foundationalism about grounding thesis, the justice as non-regulative thesis, and the justice as all-encompassing thesis, and briefly argue that they are analytically independent of each other. I then offer an outline of the foundationalism about grounding thesis, characterising it, as Cohen does, as a demand of logic. That thesis claims that whenever a normative principle is dependent on a fact, it is so dependent in virtue of some other principle. I then argue that although this is true as a matter of logic, it, as Cohen admits, cannot be true of actual justifications, since logic cannot tell us anything about the truth as opposed to the validity of arguments. Facts about a justification cannot then be decisive for whether or not a given argument violates the foundationalism about grounding thesis. As long as, independently of actual justifications, theorists can point to plausible logically grounding principles, as I argue contractualists can, Cohen’s thesis lacks critical bite.

A generalised background correction algorithm for a Halo Doppler lidar and its application to data from Finland

Current commercially available Doppler lidars provide an economical and robust solution for measuring vertical and horizontal wind velocities, together with the ability to provide co- and cross-polarised backscatter profiles. The high temporal resolution of these instruments allows turbulent properties to be obtained from studying the variation in radial velocities. However, the instrument specifications mean that certain characteristics, especially the background noise behaviour, become a limiting factor for the instrument sensitivity in regions where the aerosol load is low. Turbulent calculations require an accurate estimate of the contribution from velocity uncertainty estimates, which are directly related to the signal-to-noise ratio. Any bias in the signal-to-noise ratio will propagate through as a bias in turbulent properties. In this paper we present a method to correct for artefacts in the background noise behaviour of commercially available Doppler lidars and reduce the signal-to-noise ratio threshold used to discriminate between noise, and cloud or aerosol signals. We show that, for Doppler lidars operating continuously at a number of locations in Finland, the data availability can be increased by as much as 50 % after performing this background correction and subsequent reduction in the threshold. The reduction in bias also greatly improves subsequent calculations of turbulent properties in weak signal regimes.