Hume is a programming language targeted at safety-critical, resource-bounded systems. Bounded time and space usage is achieved by a clear separation of coordination and computation in the design of the language. However, there is no correctness verification. Such verification is imperative in safety-critical environments. It is our contention that the language design makes a combination of dedu...

Margaret Schabas and Carl Wennerlind, A Philosopher's Economist: Hume the Rise of Capitalism, Chicago IL, University Press, 316 p., e-book

David Hume presentó en un conocido pasaje de su Tratado la Naturaleza Humana sencillo argumento contra los filósofos morales época que concluían proposiciones normativas a partir premisas puramente descriptivas (v. g. "Dios existe, entonces no se debe mentir"). A abrió abanico respuestas y objeciones respecto validez estas inferencias, las cuales deslizan incluso nuestros días. través defensa d...

David Hume first posed what is now commonly called “the problem of induction” (or simply “Hume’s problem”) in 1739 — in Book 1, Part iii, section 6 (“Of the inference from the impression to the idea”) of A Treatise of Human Nature (hereafter T ). In 1748, he gave a pithier formulation of the argument in Section iv (“Skeptical doubts concerning the operations of the understanding”) of An Enquiry...

Hume developed an original and revolutionary theoretical paradigm for explaining the spontaneous emergence of the classic conventions of justice—stable possession, transference of property by consent, and the obligation to fulfill promises. In a scenario of scarce external resources, Hume’s central idea is that the development of the rules of justice responds to a sense of common interest that ...

M Adams Acoustics Research Centre, University of Salford, Salford, UK N Bruce Acoustics Research Centre, University of Salford, Salford, UK W Davies Acoustics Research Centre, University of Salford, Salford, UK R Cain WMG, University of Warwick, UK P Jennings WMG, University of Warwick, UK A Carlyle London College of Communication, University of the Arts, UK P Cusack London College of Communica...

I introduce David Hume’s notion of “imaginative resistance” and offer a brief summary of currently available understandings and explanations of imaginative resistance. I examine these in order to determine how they distinguish, if they do, imagination resistance in fiction from imaginative resistance in games. I find imaginative resistance of the sort found in fiction is relatively rare in game...

1.Puzzle According to a standard view in contemporary metaphysics, there are no necessary connections between distinct properties. But according to a standard view in philosophy of mind there are necessary connections between distinct properties. In short, we have a puzzle: standard metaphysics inconsistent with standard philosophy of mind. By ‘a standard view in contemporary metaphysics’ I mea...

In the economic and political science literature on constitutional choice and constitutional design, David Hume is almost invariably associated with a master principle of design that is congenial to rationalactor approaches. I shall call this the knavery principle. As Hume put it, "in contriving any system of government, and fixing the several checks and controuls of the constitution, every man...