Speech perception phenomena have been drawn on by researchers in the area of phonological theory to elucidate synchronic phonological processes such as neutralization (Steriade 1995, 1997), consonant/consonant metathesis (Hume 1998, 2001), place assimilation (Jun 1995), etc. It has also been found that listeners' perceptual abilities are influenced by their native language experience (e.g. Hume...

Philosophers have become accustomed to being queried as the value of their discipline. Hume, too, grappled with these questions. In a collection four essays, entitled “The Epicurean,” Stoic,” Platonist,” and Sceptic,” Hume discusses nature happiness. Sceptic” closes by downplaying philosophy, in particular its ability meaningfully contribute human Which characters, if any, speaks for Hume? this...

Understanding the distinction between impressions and ideas that Hume draws in the opening paragraphs of his A Treatise on Human Nature is essential for understanding much of Hume’s philosophy. This, however, is a task that has been the cause of a good deal of controversy in the literature on Hume. I here argue that the significant philosophical and exegetical issues previous treatments of this...

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.