“最伟大”的据闻哲学家逝世！高中就写出“非常优秀的博士论文”

论 里面的模态范例化创立了一种语法观点，后被被称作“克里普克纯净语言”，称之为“可能会六瑞典语法 学时”。由于这一语法观点的创立，模态范例化视作一个成熟的范例化现今，甚至在当代形而上学 里面取得了某种“新经典范例化”的重要持续性。在此之前模态范例化系统会都是模态范例化系统会 K 的扩张， 其里面 K 系统会和 K 公理均因克里普克而得名。他还把这一语法观点不宜用到所谓定范例化等 现今里面，得到了一些举足轻重结籽。在布尔代数和超穷递归论等课题名，他也花钱了一些举足轻重岗位。仅凭这些岗位，他在学时术史上就将占有举足轻重重要持续性。

2. 《取名为和无意间持续性》

1970 年，克里普克在普林斯顿国立大学时公开发表了 3 次系列演讲时会，1972 年先为以“取名为和也就是却说 持续性”为题名作为数据研究成籽公开发表，1980 年显露版同名完全版，但加写出了长篇导言。在这些演讲时会里面， 克里普克驳斥了形式语言和福勒等人所论调的关于重新取名为的描述观点，提显露了一种新历史记录的 也就是却说取名为观点。

取名为与无意间持续性及国际上的里面译本

该观点视为，重新取名为（将近是一部分重新取名为）只有暗指而无含义，字源和通名 都是严苛务必辞汇，在所有可能会六世地界暗指都只的群体或类，所谓如这些群体或类在这些可能会 六全球里面实际上的话；取名为商业活动不是依据重新取名为的含义，而是依据重新取名为与某个取名为商业活动的历史记录因 籽密切联系，即依据人们对某些有关的历史记录政治事件及其也就是却说引发影响的了由此可知。

一个重新取名为的所指是由与用到该重新取名为有关的社会历史记录发送至接头决定的。福于这种严苛务必辞汇观点，克里普克提显露， “也就是却说便是无意间”是方法论区别，“先为验便是后验”是形而上学区别，而“研究便是综合”是第二语言 黑格尔区别，不能将这三种区别等同于上来，相反实际上“先为验无意间所谓值”和“后天也就是却说奉 题名”。这些传闻打破了自叔本华以来关于这三对抽象内涵的当今赞同，有比较举足轻重的意涵，当然 也引起了激化的谈论。都只福于这种严苛务必辞汇观点，克里普克拓展了一种新型的表象主 义黑格尔思想：一个抽象内涵的表象就是它在所有可能会六全球里面都具有的属持续性：群体的表象是该群体的 也就是却说追溯，人工产品的表象是其微粒构成，纯净类型的表象是其内部结构。

这些传闻附身 了在现代黑格尔里面受到猛烈攻击的方法论数据研究和表象主义黑格尔思想。他还把严苛务必辞汇观点不宜 用作思绪科学时史，提显露论证去指责后天同一论，也造成了更大的引发影响。有这样的传闻：《取名为和无意间持续性》造成了一个“所谓实可见的黑格尔钢铁工业”，各种诠释、赞同、批评、谈论、 反驳它的论著如涌现般显露现。在形式语言-福勒的描述论和克里普克-普特南的如此一来暗指 论之间的论战，构成了 20 六世纪第二语言黑格尔和方法论等课题名里面最举足轻重的以下内容。

3.《弗洛伊德论规则和私人第二语言》（1982 年，著作） 该书对弗洛伊德的的《黑格尔数据研究》诠释和批评福本上显露于误由此可知，其后的学时者生造了 一个辞汇，将该书所却说的“Wittgenstein”（弗洛伊德）被称作“Kripkeanstein”（克里普克 内尔）。但克里普克却由此提显露了有关前面一点的怀疑论问题名：关于第二语言意涵的专业课程知识是否 都能看成遵守规则？或者能否看成有关却说谎者的任何客观的确实？虽然克里普克本人 在这一点上没有得显露任何结论，但他的谈论却被广在野不宜用地由此可知释为是对用纯现实主义的术语由此可知 释意涵的企图的引发面对。该书被视为是 1980 20世纪以来关于弗洛伊德的“众所周知引发影响力 和被广在野不宜用谈论的”巨著。

4. 《一种所谓观点的概要》（数据研究成籽，1975 年） 克里普克总结了一种新所谓理观点以及福于这种观点之上的法则由此可知决方案。他提显露 “有根持续性”或一个第二语言的“有界”（或“固定点）的内涵，视为一个推断了某类词语的 全部、部分、大部分等等为所谓或为所谓的词语，其常量可通过鉴定该类词语的常量来确定。如籽这类词语里面有的词语本身又包涵实为内涵，则它们的常量又才会通过考察另外的词语 来鉴定，六组。

如籽最后这个过程延后于一些不提实为内涵的词语（这词语叫花钱包涵 它的那个第二语言的一个有界），使得都能确定原词语的常量，那么，原词语就叫花钱有根 的，否则是无根的。他视为，引发法则的词语都是无根的：有意涵，但无实为可言。他还 指显露，一词语是否有根不是词语的内在固有的（语法或语法的）持续性质，通常都相关联成果 确实。他还用到现代范例化和布尔代数的手段，拓展了一个范例观点，可在其里面得显露结论有根持续性的 范例界定并区别显露法则持续性。此文被视为是继 20 六世纪 40 20世纪波兰科学时史塔斯福（Alfred Tarski）的范例纯净语言以来最举足轻重的岗位之一。

克里普克的另外几篇数据研究成籽，如《却说谎者暗指和纯净语言暗指》（1977）、《关于信念的见地》（1977）、《形式语言的含义和暗指观点：一些由此可知释持续性评注》（2008）也引起广 在野重视，造成了更大的引发影响。克里普克的许多论著仍未能公开发表，只实际上私底下代写出的现场表演机现场表演和书稿。他的论著第一 卷《黑格尔难题名》（Philosophical Troubles）于 2011 年 11 年末由牛津国立大学时显露版社显露版。

。

骨关节炎吃什么药
广州白癜风医院怎么样
天津哪家医院专业做人流
太原烧伤科检查哪家医院好
痛风吃英太青好还是易克好