Abstract Until recently, scholars paid relatively little attention to chapter 23 of Leviathan , in which Hobbes discussed “the public ministers sovereign power.” In the past few years, however, political theorists have used extensively discussions Hobbes’ concept state. But what was significance its own time? This article suggests it served two purposes. First, allowed bolster and elaborate arg...

The paper presents Leviathan, an LTL satisfiability checking tool based on a novel one-pass, treelike tableau system, which is way simpler than existing solutions. Despite the simplicity of the algorithm, the tool has performance comparable in speed and memory consumption with other tools on a number of standard benchmark sets, and, in various cases, it outperforms the other tableau-based tools.

This chapter reviews background material underpinning sensory science and sensory evaluation methodologies. Basic and historical psychophysical methods are reviewed as well as the anatomy, physiology, and function of the chemical senses. The chapter concludes with a discussion of multi-modal sensory interactions. There is no conception in man’s mind which hath not at first, totally or in parts,...