The paper addresses two difficulties that arise in Treatise 1.2.5. First, Hume appears to be inconsistent when he denies that we have an idea of a vacuum or empty space yet allows for the idea of an “invisible and intangible distance.” My solution to this difficulty is to develop the overlooked possibility that Hume does not take the invisible and intangible distance to be a distance at all. Se...

David Hume and Adam Smith are considered the founding fathers of anti-mercantilism, economics, and the Scottish Enlightenment. However, scholars have long recognized a similarity between Hume’s contributions and those of Richard Cantillon. Evidence is presented here that suggests that Hume would have known of Cantillon and would have been interested in reading the manuscript, and that he met pe...

Software engineering involves matching abstract software requirements to concrete implementations. Programming at a high-level of abstraction improves confidence in the correctness of functional requirements and reduces the cost of constructing software, but loses confidence in the correctness of behavioural requirements. This is especially serious for resource-constrained systems, such as real...

Among contemporary epistemologists of testimony, David Hume is standardly regarded as a ‘global reductionist’, where global reductionism requires the hearer to have sufficient first-hand knowledge of the facts in order to individually ascertain the reliability of the testimony in question. In the present paper, I argue that, by construing Hume’s reductionism in too individualistic a fashion, th...

Hume is a Turing-complete programming language, designed to guarantee space and time bounds whilst still working on a high-level. Formal properties of Hume programs, such as invariants and transformations, have previously been verified using the temporal logic of actions (TLA). TLA properties are verified in an inductive way, which often requires lemma discovery or generalisations. Rippling was...

The epidemiologic approach to causal inference (i.e., Hill's viewpoints) consists of evaluating potential causes from the following 2, noncumulative angles: 1) established results from comparative, observational, or experimental epidemiologic studies; and 2) reviews of nonepidemiologic evidence. It does not involve statements of statistical significance. The philosophical roots of Hill's viewpo...

The electroreduction of Ga(III) in the aqueous medium has been investigated at DME. The stability constants of Ga(III)-Amino acids have been evaluated by the method of DeFord and Hume's method and Kinetic parameters have been calculated by Koutecky’s method. The reduction of complexes has been found to be irreversible and diffusion controlled involving three electrons in each case. Ga(III) form...

The stability constants of complexes formed by Thallium (I) with Serine and Leucine have been investigated in aqueous medium, the complex with metal Serine as 1:1, 1:2 and complexes of the Tl(I) with Leucine as 1:1, 1:2 have been reported. The values of formation constant of Serine are log β1 = 2.1760, log β2 = 3.85325 at 308K and log β1 = 1.9030, log β2 = 3.6739 at 318K and complexes of Tl(I) ...

HUME is a domain-specific programming language targeting resourcebounded computations, such as real-time embedded systems. Rate analysis is a novel algorithm for HUME that determines the relative rates (i.e. how often events occur, or components need to run) within the whole system, and as such the algorithm possess the following useful properties: • Deadlock Detection – of some cases. • Schedu...

The question whether it is possible to be both a Humean and a contractarian arises from the interpretation of Hume as a theorist of spontaneous order, a theory that is usually taken to be incompatible with contractarianism. I argue that this interpretation is unconvincing and anachronistic. The real reason why it is problematic to view Hume as a contractarian is not because he is proponent of s...