A Case Study of the Impact of Bioenergy Development Upon Crop Production, Livestock Feeding, and Water Resource Usage in Kansas

The development of grain-based ethanol production in Kansas has had a marked impact upon the feedgrain and livestock industries of the state. The increased focus on feedgrain production stemming from ethanol development impacts the use and sustainability of Kansas water resources, and has changed the proportional mix of crops grown in the state. The need to handle increased amounts of feedgrains and to transport them to ethanol plants has affected the functional role of local grain elevators as well as the directional flow of grain within the state. The grain trucking industry has been dramatically affected by the increase in demand for moving both feedstock inputs and co-product outputs to and from ethanol plants in the state.Crop Production/Industries, Livestock Production/Industries, Resource /Energy Economics and Policy,

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets

Massively parallel landscape-evolution modelling using general purpose graphical processing units

As our expectations of what computer systems can do and our ability to capture data improves, the desire to perform ever more computationally intensive tasks increases. Often these tasks, comprising vast numbers of repeated computations, are highly interdependent on each other – a closely coupled problem. The process of Landscape-Evolution Modelling is an example of such a problem. In order to produce realistic models it is necessary to process landscapes containing millions of data points over time periods extending up to millions of years. This leads to non-tractable execution times, often in the order of years. Researchers therefore seek multiple orders of magnitude reduction in the execution time of these models. The massively parallel programming environment offered through General Purpose Graphical Processing Units offers the potential for multiple orders of magnitude speedup in code execution times. In this paper we demonstrate how the time dominant parts of a Landscape-Evolution Model can be recoded for a massively parallel architecture providing two orders of magnitude reduction in execution time

Quine, Ontology, and Physicalism

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous monism, allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism

Hard and Blind: On Wittgenstein's Genealogical View of Logical Necessity

My main aim is to sketch a certain reading (‘genealogical') of later Wittgenstein's views on logical necessity. Along the way, I engage with the inferentialism currently debated in the literature on the epistemology of deductive logic.publishedVersio