在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
《西方哲学史》是哲学家伯特兰·罗素1945 年的著作。对从前苏格拉底哲学家到 20 世纪初的西方哲学的调查，它因罗素的过度概括和遗漏而受到批评，特别是从后笛卡尔时期开始，但仍然获得了大众和商业上的成功，并且一直在印刷中从它的第一次出版。当罗素在 1950 年获得诺贝尔文学奖时， 《西方哲学史》被引用为为他赢得该奖项的书籍之一。它的成功为拉塞尔生命的最后一部分提供了经济保障。
逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和伯特兰·罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
《我为什么不是基督徒》是英国哲学家，诺贝尔文学奖获得者伯特兰·罗素发表的一篇解释自己为什么不是基督徒的论文。罗素于1927年3月6日以此为题在伦敦发表演讲，并将它和其他论文一起发表于《我为什么不是基督徒》一书中。
摹状词理论是数理逻辑、语言哲学和分析哲学上的一个极重要的理论，被誉为分析哲学的典范。运用这个理论可以将日常语言中的描述语进行改写，得到数理逻辑的形式，从而避免一些日常语言中可能出现的逻辑悖论。该理论的最早阐发是由伯特兰·罗素在1905年的一篇论文《论指称》中完成的。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
思维规律，又称思考规律，是逻辑的公理基础。伯特兰·罗素在他的著作《哲学问题》中确立了三个思维规律:
摹状词理论是数理逻辑、语言哲学和分析哲学上的一个极重要的理论，被誉为分析哲学的典范。运用这个理论可以将日常语言中的描述语进行改写，得到数理逻辑的形式，从而避免一些日常语言中可能出现的逻辑悖论。该理论的最早阐发是由伯特兰·罗素在1905年的一篇论文《论指称》中完成的。
修辞学中的情感用词变化，是一种不规则动词的变位，目的是粉饰人类的癖好，把自己同样的行为描述得比别人更好。1948年哲学家伯特兰·罗素首次在BBC广播节目The Brains Trust中提出了此概念，因此也称作罗素用词变化。罗素在节目中举了这些例子：
乔治·爱德华·摩尔，功绩勋章，英国哲学家，与伯特兰·罗素一同被认为是分析哲学的主要创始人，主要贡献为后设伦理学，知名作品有《伦理学原理》。
Mini wiki
