Hegelian Spirits in Sellarsian Bottles

Though Wilfrid Sellars portrayed himself as a latter-day Kantian, I argue here that he was at least as much a Hegelian. Several themes Sellars shares with Hegel are investigated: the sociality and normativity of the intentional, categorial change, the rejection of the given, and especially their denial of an unknowable thing-in-itself. They are also united by an emphasis on the unity of things—the belief that things do ‘‘hang together.’’ Hegel’s unity is idealist; Sellars’ is physicalist; the differences are substantial, but so are the resonances

No evidence of bias from fish behavior in the selectivity of size and sex of the protogynous red porgy (Pagrus pagrus, Sparidae) by hook-and-line gear

Most fisheries select the size of fish to be caught (are size selective), and many factors, including gear, market demands, species distributions, fishery laws, and the behavior of both fishermen and fish, can contribute to that selectivity. Most fishing gear is size-selective and some, such as gill nets, are more so than others. The targeting behavior of fishermen is another key reason commercial and recreational fisheries tend to be size-selective. The more successful fishermen constantly seek areas and methods that yield larger or more profitable sizes of fish. Fishery regulations, especially size limits, produce size-selective harvests. Another factor with the potential to cause selectivity in a hook-and-line fishery is the different behavioral responses of fish to the bait or lure, whether the different responses arise among different fish sizes or between the sexes

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

We define a pi-calculus variant with a costed semantics where channels are treated as resources that must explicitly be allocated before they are used and can be deallocated when no longer required. We use a substructural type system tracking permission transfer to construct coinductive proof techniques for comparing behaviour and resource usage efficiency of concurrent processes. We establish full abstraction results between our coinductive definitions and a contextual behavioural preorder describing a notion of process efficiency w.r.t. its management of resources. We also justify these definitions and respective proof techniques through numerous examples and a case study comparing two concurrent implementations of an extensible buffer.Comment: 51 pages, 7 figure