克里普克

---

【生卒】：1940—

美国逻辑学家，哲学家。

分析哲学代表人物之一。早期研究数理逻辑，探讨了循环理论和集合理论，提出了程式逻辑和直观逻辑的符号语义学。后转向研究哲学问题，探讨了分析判断与综合判断的区别、本质的和非本质的特征等。对真理论也有深入研究，提出要避免语义上的二律背反，而不能象语言层次理论那样把真理的本质分解为多种属性。

著有《同一性与必然性》(1971)、《语言哲学现状》(1979)等论文。