2) Kalimantan
[英][,kɑ:li'mɑ:ntɑ:n] [美][,kɑlɪ'mɑntɑn]
加里曼丹
1.
Cenozoic Au Mineralization and its metallogenic dynamical mechanism in Kalimantan,Southeast Asia;
东南亚加里曼丹新生代金成矿作用及成矿动力学
2.
Evolution of Cenozoic collision orogen of north Kalimantan and its metallogenesis;
东南亚北加里曼丹新生代碰撞造山带演化与成矿
3.
Kalimantan island is located in the S outheastern Asian continental marg inal tectono-magmatic mobile zone in the Western Pacific Oc ean,where the Earth s lithosphere is one of the most compl icated tectonic mobile regions in the earth since the Meso-Cenozoic.
加里曼丹岛位于西太平洋东南亚陆缘构造-岩浆活动带,是自中新生代以来地球岩石圈最复杂的构造活动区之一。
4) Daniel Kahneman
丹尼尔·卡尼曼
5) East Indian kauri
加里曼丹贝壳杉
6) oba-suluk
加里曼丹红柳桉
补充资料:布里丹,J.
法国逻辑学家。关于布里丹的生平,逻辑史书记载甚少。他曾于1328年和1340年先后两次任巴黎大学校长。他对科学问题有广泛的兴趣,注释了亚里士多德的物理学和天文学著作,并在这些方面进行了一定的研究。其逻辑著作有:《论辩术大全》和《推论》等。
布里丹对命题的真假条件作了种种规定。例如,他提出一个命题与其矛盾命题的真值正好相反。他曾提出说谎者悖论的一个变形:"写在这卷书中的一切语句都是假的",这个语句是写在这卷书中唯一的一个语句,如果这个语句是真的,那么它就是假的,因为它是写在这卷书中的一个语句;如果这个语句是假的,那么这卷书中至少有一个语句是真的,可是这卷书中只有唯一的一个语句,因此它是真的。布里丹还提出了解决这种悖论的方法。他的推论学说在欧洲中世纪逻辑中具有重要地位,其内容包括直言命题和模态命题中的推论规律和三段论推理。他在中世纪第一个试图用公理方法(见公理化的形式化)构造命题逻辑的系统,从一些相当于公理的命题以及定义出发,推出不少命题逻辑的原理。例如,他把双重否定律、排中律、矛盾律等作为初始命题,推出了以下命题:①一切有效的推论,从后件的矛盾命题推出前件的矛盾命题。②对一切有效的推论来说,凡从后件推出的命题,也可从前件推出。③如果前件由一个命题推出,则后件也由这同一个命题推出。④从前件不能推出的命题,从后件也不能推出。⑤不能推出后件的命题,也不能推出前件。
布里丹对命题的真假条件作了种种规定。例如,他提出一个命题与其矛盾命题的真值正好相反。他曾提出说谎者悖论的一个变形:"写在这卷书中的一切语句都是假的",这个语句是写在这卷书中唯一的一个语句,如果这个语句是真的,那么它就是假的,因为它是写在这卷书中的一个语句;如果这个语句是假的,那么这卷书中至少有一个语句是真的,可是这卷书中只有唯一的一个语句,因此它是真的。布里丹还提出了解决这种悖论的方法。他的推论学说在欧洲中世纪逻辑中具有重要地位,其内容包括直言命题和模态命题中的推论规律和三段论推理。他在中世纪第一个试图用公理方法(见公理化的形式化)构造命题逻辑的系统,从一些相当于公理的命题以及定义出发,推出不少命题逻辑的原理。例如,他把双重否定律、排中律、矛盾律等作为初始命题,推出了以下命题:①一切有效的推论,从后件的矛盾命题推出前件的矛盾命题。②对一切有效的推论来说,凡从后件推出的命题,也可从前件推出。③如果前件由一个命题推出,则后件也由这同一个命题推出。④从前件不能推出的命题,从后件也不能推出。⑤不能推出后件的命题,也不能推出前件。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条