书中有一节（第一卷，第一编，第七节）《论抽象观念》，开头一段话和贝克莱的下述学说显著一致：“一切一般观念无非是附加在某个名辞上的个别观念，该名辞让这种观念得到比较广泛的意义，使它在相应的时候回想起和自己类似的其他个体。”休谟主张，当我们持有“人”的观念时，这观念具有“人”的印象所具有的一切个别性质。“心若不对量或质的程度各形成精确概念，就不能形成量或质的任何概念。”“抽象观念不管在代表［印象］时如何变得一般，本身总是个体的。”这理论是一种近代的唯名论，它有两个缺点，一个是逻辑上的缺点，一个是心理学上的缺点。先说逻辑上的缺点。休谟讲：“当我们在若干对象中间发现了类似点时，我们把同一个名称加到所有这些对象上。”一切唯名论者都会同意。但是实际上，像“猫”之类的通名，和共相猫一样不实在。唯名论对共相问题的解决，就这样由于应用自己的原则时不够彻底而归于失败；错在把这种原则只用到“事物”上，而不同时用到言语上。
心理学上的缺点至少就休谟方面说比较严重。他所讲的整套理论，把观念看成印象的摹本，其弊病就在于忽略·含·混·性。例如，我见到过一朵什么颜色的花，后来想起它的心像时，这心像缺乏精密性，意思是说有好几种彼此非常类似的色调，它可能是其心像，用休谟的术语讲即“观念”。“心若不对量或质的程度各形成精确概念，就不能形成量或质的任何概念”，这话是不对的。假如你见到过一个身高六尺一寸的男人。你保留下对他的心像，但是这心像对于再高一寸或更矮一寸的人多半也会合适。含混性和一般性不同，但是具有若干同样的特征。休谟由于没注意到含混性，陷入不必要的难局，例如关于下述这件事的难局：是否有可能想像一种从未见过的色调，介乎见过的两种极相似的色调中间。如果这两种色调充分相似，你所能形成的任何心像会同样适用于这两种色调以及中间的色调。休谟说观念来自观念所·确·切代表的印象，这时候他逸出了心理学的真实情况以外。
正如贝克莱从物理学中驱走了实体概念，休谟从心理学中驱走了·实·体概念。他说，并不存在“自我”这种·印·象，因此也没有“自我”这种观念（第一卷，第四编，第六节）。
“就我而论，当我极密切体察我称之为·我·自·己的时候，我总要碰上一种什么特别知觉，冷或热、明或暗、爱或憎、苦或乐的知觉。在任何时候我从不曾离了知觉而把握住·我·自·己，除知觉而外我从不能观察到任何东西。”他含着讥讽的意味承认，也许有些哲学家能感知他们的自我；“但是撇开若干这类的形而上学家不谈，对人类中其余的人我可以大胆断言，自我无非是一簇或一组不同的知觉，以不可思议的快速彼此接替，而且处于不绝的流变和运动中。”
对自我观念的这种否认非常重要。我们来确切看看它主张什么，有几分站得住脚。首先，自我这种东西即便有，也从未感知到，所以我们不能有自我观念。假如这个议论可以被承认，就必须仔细地叙述一下。谁也感知不到自己的脑子，然而在某种重要的意义上，人却有脑子这个“观念”。这类“观念”是知觉的推论，不属于逻辑意义的基础观念之类；它是复合观念和描述性的——假如休谟讲的一切单纯观念出于印象这个原理正确，事实必当如此；而假如否定了这条原理，我们势不得不回到“生得”观念说。使用现代的用语，可以这样讲：关于未感知事物或事件的观念，永远能够借感知的事物或事件来定义，因此，用定义来代替被定义的名辞，我们永远能够不引入任何未感知事物或事件而叙述我们从经验所知的事情。就我们目前的问题来说，一切心理的知识都能不引入“自我”而叙述出来。并且，如此定义的“自我”，只可能是一簇知觉，不是新的单纯“东西”。我想在这点上彻底的经验主义者谁也必定和休谟有同见。
但是并不见得单纯自我是不存在的；只可说它存在与否我们不能知道，而自我除开看作一簇知觉，不能组成我们的知识的任何部分。这结论剔除掉“实体”的最后残存的使用，在形而上学上很重要。在神学里，它废除了关于“灵魂”的一切假想知识，在这点上很重要。在对认识的分析上也重要，因为它指明主体和客体这范畴并不是基本的东西。在这个自我问题上，休谟比贝克莱有了重大的进展。
整个一本《人性论》中最重要部分是称作《论知识和盖然性》的一节。休谟所谓的“盖然性”不指数理概率论中所包含的那类知识，例如用两只骰子掷出双六的机会等于三十六分之一。这种知识本身在任何专门意义上都不是盖然的；它具有知识所能具有的限度之内的确实性。休谟讨论的是靠非论证性推论从经验的资料所得到的那种不确实的知识。这里面包括有关未来的我们全部知识以及关于过去和现在的未观察部分的全部知识。实际上，一方面除去直接的观察结果，另一方面除去逻辑和数学，它包括其余一切。通过对这种“盖然的”知识进行分析，休谟得出了一些怀疑主义的结论，这些结论既难反驳、同样也难接受。结果成了给哲学家们下的一道战表，依我看来，到现在一直还没有够上对手的应战。
休谟开始先区分出七种哲学关系：类似、同一、时间和地点关系、量或数的比率、任一性质的程度、相反、和因果关系。他说，这些关系可以分为两类，即仅依存于观念的关系，和观念虽毫无变化而能使其改变的那种关系。属第一类的是类似、相反、性质的程度和量或数的比率。但是空间时间关系和因果关系则属于第二类。只有第一类关系给人·确·实·的知识；关于其它各种关系我们的知识仅是·盖·然·的。唯独代数和算术是我们能进行一长串的推理而不失确实性的科学。
几何不如代数和算术那样确实，因为我们不能确信几何公理正确无误。有许多哲学家设想，数学中的观念“必须凭灵魂的高级能力所独有的纯粹而理智的观点去理解”，这是错误的。休谟说，只要一记起“我们的一切观念都是照我们的印象摹写出来的”，这种意见的错误立现。
不仅仅依存于观念的三种关系，是同一、空间时间关系和因果关系。在前两种关系，心不超越直接呈现于感官的东西以外。（休谟认为，空间时间关系能够感知，而且能形成印象的一部分）。唯有因果关系使我们能够从某个事物或事件推论其它某个事物或事件：“使我们由一对象的存在或作用确信它随后有、或以前有其它什么存在或作用，产生这种关连的唯·因·果·关·系而已。”
休谟主张没有所谓因果关系的·印·象，由此主张产生一个困难。单凭观察甲和乙，我们能感知甲在乙上方，或在乙右方，但是不能感知“因为甲，结果乙”。已往，因果关系向来或多或少被比作和逻辑中的根据和论断的关系一样，但是休谟正确认识到这个比法是错误的。
在笛卡尔哲学中，也和经院学者的哲学中一样，原因和结果间的关连被认为正如逻辑关连一样是必然的。对这见解的第一个真正严重的挑战出于休谟，近代的因果关系哲学便是自休谟开始的。他和直到柏格森为止、连柏格森也在内的几乎所有哲学家相同，以为因果律就是说有“因为甲，结果乙”这样形式的命题，其中甲和乙是两类事件；此种定律在任何发达的科学中都见不到，这件事实好像哲学家们并不知晓。但是哲学家向来所讲的话，有很多能够转换说法，使之可以适用于实际出现的那种因果律；所以，我们目下可以不睬这一点。
休谟开始先讲，使得一个对象产生另一对象的力量，不是从这二对象的观念发现得到的，所以我们只能由经验认识原因和结果，不能凭推理或内省来认识。他说，“凡发生的事物必有原因”这句话并不是像逻辑中的命题那样具有直观确实性的话。照他的讲法：“如果我们就对象本身考察各对象，绝不超越关于这些对象我们所形成的观念去看，那么并没有意味着其它对象存在的对象。”据此休谟主张，必定是经验使人有了关于原因和结果的知识，但不会仅是彼此成因果关系的甲乙二事件的经验。必定是经验，因为这关连非逻辑关连；
而由于我们单只从甲中发现不了任何东西会促使甲产生乙，所以不会仅是甲和乙二个别事件的经验。他说，必要的经验是甲类事件和乙类事件经常连结这个经验。他指出，在经验中当两个对象经常相连时，我们·事·实·上的确从一个去推论另一个。（他说的“推论”，意思指感知一个就使我们预料到另一个；他并不指形式的或明确的推论。）“大概，必然的关连有赖于推论”，倒过来讲则不对。换句话说，见甲使人预料到乙，于是让我们相信甲乙之间有必然的关连。这推论不是由理性决定的，因为假使那样便要求我们假定自然的齐一性，可是自然的齐一性本身并不是必然的，不过是由经验推论出来的。
休谟于是有了这种见解：我们说“因为甲，结果乙”，意思只是甲和乙事实上经常相连，并不是说它们之间有某种必然的关连。“除一向·永·远·相·连在一起的某些对象的概念而外，我们别无原因和结果的概念。……我们无法洞察这种连结的理由。”
休谟拿“信念”的一个定义支持他的理论，他认为信念就是“与当前的印象有关系或者相联合的鲜明的观念”。如果甲和乙在过去的经验里一向经常相连，由于联合，甲的印象就产生乙的这种鲜明观念，构成对乙的信念。这说明为什么我们相信甲和乙有关连：甲的知觉表象和乙的观念·就·是关连着，因此我们便以为甲和乙关连着，虽然这个意见实在是没有根据的。“各对象间并没有发现得到的一体关连；我们所以能够从一个对象的出现推论另一个对象会被经验到，除根据作用在想像力上的习惯而外，也没根据其它任何原理。”在我们看来的各·对·象间的必然关连，其实只是那些对象的诸观念之间的关连，休谟多次反复了这个主张；心是由习惯·决·定的，“予我以必然性观念的，正是这种印象，也即是这种·决·定。”使我们产生“因为甲，结果乙”这个信念的各事例的反复，并没赋予该对象什么新东西，但是在心中造成观念的联合；因而“必然性不是存在于对象中而是存在于心中的东西。”
现在谈谈我们对休谟的学说应如何来看的问题。这学说有两部分，一个是客观部分，另一个是主观部分。客观部分讲：在我们断定“因为甲，结果乙”的场合，就甲和乙而论，实际发生了的事情是，一向屡次观察到二者相连，也就是说甲后面一向立即跟着有乙，或很快地跟着有乙；我们完全没有理由说甲后面·一·定跟着有乙，或在将来的时候会跟着有乙。
而且无论甲后面如何经常地跟着有乙，我们也没有任何理由设想其中包含有超乎“先后顺序”以外的什么关系。事实上，因果关系能用“先后顺序”来定义，它并不是独立的