目录
大卫·刘易斯
大卫·凯洛格·刘易斯（David Kellogg Lewis，），美国哲学家，原普林斯顿大学哲学教授。他是20世纪最重要的哲学家之一。 刘易斯出生于俄亥俄州，曾就读于斯沃斯莫尔学院、牛津大学。他于1967年获得哈佛大学博士学位，曾师从威拉德·冯·奥曼·蒯因。1970年起，任教于普林斯顿大学。 刘易斯在语言哲学、心灵哲学、概率哲学、形而上学、哲学逻辑、美学等领域都作出过贡献。模态实在论其是最知名的、也极具争议性的理论。他认为可能世界存在并且是真实的实体，我们的世界只是所有可能世界中的一个。.
查看 哲学逻辑和大卫·刘易斯
佩尔·马丁-洛夫
佩尔·埃里克·罗格·马丁-洛夫（Per Erik Rutger Martin-Löf，），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前，他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。, Academia Europaea, retrieved 2014-01-26.
证明论
证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。 证明论也可视为哲学逻辑的分支，其主要兴趣在于证明论语义学的思想，该思想依赖于结构证明论的技术型想法才可行。.
查看 哲学逻辑和证明论
蒂莫西·威廉姆森
蒂莫西·威廉姆森（1955年8月6日-）是一位英国哲学家。他的主要研究领域包括哲学逻辑、语言哲学、知识论以及形而上学。在牛津大学，他担任逻辑学的威克汉姆教授(Wykeham Professor, 一种教职名称)，同时是新学院的成员之一。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
查看 哲学逻辑和逻辑
T-模式
T-模式（也叫做约定T）是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的归纳定义，表达了真理在逻辑运算符上的交换性。 T-模式经常用自然语言表达，但它们很容易接纳多类谓词逻辑或模态逻辑的形式化；比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础，它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉；或者说模型论实现了它们。.
查看 哲学逻辑和T-模式
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
查看 哲学逻辑和数理逻辑
2013年哲學
2013年哲學事件.
查看 哲学逻辑和2013年哲學