The centrepiece of Earman‟s provocatively titled book Hume’s Abject Failure: The Argument against Miracles (OUP, 2000) is a probabilistic interpretation of Hume‟s famous „maxim‟ concerning the credibility of miracle reports, followed by an aggressive critique of the maxim when thus interpreted. He argues that the first part of this maxim, once its obscurity is removed, is simply trivial, while ...

Safety-critical software systems call for effective analysis that ensures the correctness of the systems. HUME is a functional programming language, targeted at safety-critical systems, which supports such analysis for time and space, but does not support verification. This topic is explored by using an off-the-shelf design verification system called SPIN. The result is then empirically analysed.

My aim in this paper is to present what I consider to be the decisive objection against the ‘New Hume’ Causal realist interpretation of Hume, and to refute three recent attempts to answer this objection. I start in §1 with an outline of the ‘Old’ and ‘New’ interpretations. Then §2 sketches the traditional case in favour of the former, while §3 presents the decisive objection to the latter, base...

First, Hume notes that we have a strong inclination to call something the “same” even when it is radically different. For instance, remove a chunk of matter from some object and we call it the same. A mature oak tree is said to be the “same” as the sapling. A fat adult is said to be the “same” as the tiny infant. So strong is this inclination that philosophers have attempted to explain identity...

Os artigos aqui reunidos foram apresentados no “I Colóquio Hume”, realizado nos dias 27 a 29 de julho de 2002 no Departamento de Filosofia da UFMG. O colóquio foi promovido pelo grupo de pesquisa “Hume” do Departamento, com apoio do Programa de Pós-Graduação em Filosofia e da Faculdade de Filosofia e Ciências Humanas da UFMG, CAPES, FAPEMIG, PAIE/ UFMG, e dos Programas de Pós-Graduação em Filos...