语义分析:从外延到内涵─—卡尔纳普逻辑语义学评析

塔尔斯基是公认的逻辑语义学的创始人，但真正为辽辑语义学建立完整理论体系的，是卡尔纳普。卡尔纳鲁对逻辑语义学的最大贡献在于，他用其首创的“外延-内涵”方法，为我们构建了一个严格而精妙的语义分析系统．这一系统的基本特征是：不仅从外延，而且从内涵方面来把握语言的意义．

语义分析: 从外延到内涵——卡尔纳普逻辑语义学评析

塔尔斯基是公认的逻辑语义学的创始人，但真正为逻辑语义学建立完整理论体系的却是卡尔纳普。卡尔纳普对逻辑语义学的最大贡献在于，他用其首创的“外延—内涵”方法，为我们构建了一个严格而精妙的语义分析系统，这一系统的基本特征是：不仅从外延，而且又从内涵方面来把握语言的意义，这样，就从根本上克服了经典逻辑对语言表达式的解释只限于外延的致命弊端，从而使逻辑学的研究走上了一条既注重外延。

Constitutive equations of 1060 pure aluminum based on modified double multiple nonlinear regression model

In order to study the work-ability and establish the optimum hot formation processing parameters for industrial 1060 pure aluminum, the compressive deformation behavior of pure aluminum was investigated at temperatures of 523?823 K and strain rates of 0.005?10 s?1 on a Gleeble?1500 thermo-simulation machine. The influence rule of processing parameters (strain, strain rate and temperature) on flow stress of pure aluminum was investigated. Nine analysis factors consisting of material parameters and according weights were optimized. Then, the constitutive equations of multilevel series rules, multilevel parallel rules and multilevel series &parallel rules were established. The correlation coefficients (R) are 0.992, 0.988 and 0.990, respectively, and the average absolute relative errors (AAREs) are 6.77%, 8.70% and 7.63%, respectively, which proves that the constitutive equations of multilevel series rules can predict the flow stress of pure aluminum with good correlation and precision.