请输入您要查询的百科知识:

 

词条 塔尔斯基
释义
塔尔斯基
塔尔斯基Alfred Tarski1902—1983  数学家、逻辑学家、哲学家,华沙学派的主要代表之一。原籍波兰,华沙大学数学博士,后在该校任教。1939年移居美国,执教于加利福尼亚大学。1946年起任教授。致力于元逻辑的研究,认为元逻辑大致即“演绎科学的逻辑语法与语义学”;也研究模型论,对其发展为一个独立的研究领域作出了贡献。倡导逻辑语义学,主张为要获得确切的真理性的定义,必须避免语义悖论,区分“对象语言”和“元语言”,避免混淆语义层次。主要著作有《逻辑与演绎科学方法论导论》《逻辑学、语义学、元数学》《形式化语言中的真理概念》等。
出处:哲学卷 • 逻 辑 学 • 外国逻辑史
塔尔斯基AlfredTarski1902—1983  数学家、逻辑学家。华沙逻辑学派的代表人物。生于波兰华沙。1923年获华沙大学博士学位并在该校任教。1939年移居美国,曾在哈佛大学、普林斯顿高级研究所做研究工作,后任伯克利加利福尼亚大学教授。美国符号逻辑协会主席(1944—1946)。美国全国科学院院士。主要研究成果在逻辑学方面,是数理逻辑领域中模型论的奠基人。对形式系统的判定问题有重要贡献。著有《演绎科学的逻辑和方法导论》、《不可判定理论》、《逻辑学、语义学、元数学》等。
出处:数理化力学卷 • 数  学 • 人物及著作
塔尔斯基Alfred Tarski1902—1983  数学家、逻辑学家、哲学家,华沙学派的主要代表之一。原籍波兰,华沙大学数学博士,后在该校任教。1939年移居美国,执教于加利福尼亚大学。1946年起任教授。致力于元逻辑的研究,认为元逻辑大致即“演绎科学的逻辑语法与语义学”;也研究模型论,对其发展为一个独立的研究领域作出了贡献。倡导逻辑语义学,主张为要获得确切的真理性的定义,必须避免语义悖论,区分“对象语言”和“元语言”,避免混淆语义层次。主要著作有《逻辑与演绎科学方法论导论》《逻辑学、语义学、元数学》《形式化语言中的真理概念》等。
出处:哲学卷 • 外国哲学史 • 西方哲学 • 现代哲学 • 人 物 • 美 国
随便看

 

百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/2/12 21:41:48