科斯塔，N．C．A．da
【介绍】：
巴西逻辑学家、数学家和哲学家。弗协调逻辑分支的开创者。1929年9月16日出生于巴西巴拉那州库里提巴市。1952年毕业于巴拉那联邦大学土木工程系，嗣后当了4年工程师。1961年在巴拉那联邦大学取得数学博士学位，1965～1967年任该校数学教授。1968～1969年任坎皮纳斯州立大学数学教授。1970～1981年任圣保罗大学数学教授。1982年起任坎皮纳斯州立大学等校哲学教授。曾任巴西逻辑学会会长、美国符号逻辑协会理事及该协会拉美逻辑谘询委员会主席等职。从1958年开始独立发展弗协调逻辑思想，构造了一系列的弗协调逻辑系统，包括命题层次的、谓词层次的、以及应用于集合论的。这些系统得到其他各国逻辑学家的广泛研究，促使弗协调逻辑的研究形成一个独立的分支。除了弗协调逻辑外，科斯塔从事研究的主要领域还有：范畴论的集论基础，格论，变元约束成项算子，归纳逻辑与概率，以及逻辑哲学。在1965～1972年发表的一些论文中，他提出了能自然地处理范畴概念的外延集合论的各种新表述。1967年发表的论文研究了寇里代数(具有非单调算子的格)的性质，并把这些结构应用于非经典逻辑演算的研究。在1975年和1980年发表的论文中，得到了一阶语言中标准的变元约束成项算子的完全性定理。在1981～1983年发表的论文中，阐明了一种以新形式的主观主义概率理论为基础的归纳逻辑。在1980年发表的专著中，提出了他关于逻辑和数学的哲学概念；他认为这些形式科学是历史的，本质上不是被发现的，而是某种文化活动的结果。30多年来，科斯塔发表的论著甚多，其中包括：《论集合论的两个系统》(1965年)、《寇里代数》(1967年)、《a－模型和系统T与T*》和《论不协调形式系统的理论》(1974年)、《变元约束成项算子的模型论探讨》(1980年)、《归纳逻辑和概率》(1981年)以及《逻辑和语用真理》(1987年)等。