欣迪卡，K．J．J．

【生卒】：1929～

【介绍】：

芬兰逻辑学家、哲学家。1953年毕业于赫尔辛基大学。他师从芬兰哲学家、逻辑学家G．H。von赖特学习逻辑和哲学。欣迪卡在逻辑和哲学的许多方面都作出了相当有影响的工作。1953年，他发表论文《谓词演算中的分配范式》，通过量词的层层深入，得到了有穷一阶语言中公式的一种简单范式——分配范式，建立了这种范式的基本性质，包括不协调性的充分条件。分配范式以及与之有关的组成成分的概念，对于欣迪卡在逻辑和逻辑哲学方面的工作起了很中心的作用。他后来还有一些论文也论述了这两个概念，其它逻辑学家也发现了它们多方面的应用。1973年，欣迪卡在证明分配范式理论的完全性定理时运用了模型集(也叫欣迪卡集)的概念，这概念类似于亨金集、协调性、饱和集等概念，都是各种完全性证明的重要概念。1962年，欣迪卡在专著《知识和信念》中构造了第一个完全的认知逻辑系统，对认知逻辑的发展作出了重要贡献。类似的、重要的开创性工作，还可以在他有关问答理论、博奕论语义以及归纳逻辑等方面的论著中发现。欣迪卡也是模态逻辑的可能世界语义理论的独立发现者之一。在归纳逻辑方面，他克服了R．卡尔纳普理论的重大缺陷，提出了归纳方法的二维连续统、K维连续统、归纳接受理论和归纳语义信息理论。他的主要论著还有：《内涵性的内涵及模态性的其它新模型》(1975)、《问题的语义和语义的问题》(1976)、《逻辑中的量词和自然语言中的量词》(1977)、《自然语言中的量词：某些逻辑问题》(1979)以及《问答理论的新基础》(1983)等。