简介：古典命题逻辑的函数完备性定理是说，每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此，我们可以说古典命题逻辑就是真值函数的逻辑。但是，对于作为现代逻辑的主要研究对象的一阶逻辑，我们却没有类似的结果。塔尔斯基在1966年为逻辑概念提出了一条标准，即“塔尔斯基论题”。塔尔斯基论题的精神来自于19世纪德国数学家菲利克斯·克莱因关于几何的“厄尔兰根规划”，这个规划对几何理论提供了一个系统划分。在塔尔斯基论题经历了半个世纪的发展历程之后，我们可以以此为基础为一阶逻辑的函数完备性提出一个初步的研究结果。
简介：与传统生物学通过解剖生命体以研究其内在构造不同，合成生物学旨在将工程学的思想用于生物学研究中，以设计自然界中原本不存在的生物体或对现有生物进行改造，使其能够制造材料、生产能源和食物、处理污染等，从而增进人类健康，改善生存环境，应对人类社会发展所面临的严峻挑战。由于合成生物学应用研究预示着创造人工生命的可能性，这必然导致人与自然关系的新变化。对于这一革命性的技术突破，国际社会在憧憬其应用研究可能在医学、农业、能源和环保等领域带来的巨大利益的同时，也对其可能引发的生物安全风险以及相应的伦理问题给予了高度关注。
塔尔斯基论题
合成生物学技术应用研究中的伦理问题和规制原则
