共查询到20条相似文献，搜索用时 15 毫秒
1.
冯棉 《华东师范大学学报(哲学社会科学版)》2000,(6)
模态逻辑涉及的“必然性”具有多样性,作为逻辑系统定理的逻辑规律体现了逻辑的必然性,而模态谓词逻辑中反映“从物模态”的公式中的必然算子则主要体现了事实的必然性。同时,模态系统中的模态公理,从另一个侧面对该系统中的“必然性”概念的逻辑特性作了描述。“必然性”概念的界定与“可能世界”密切相关。在分析现实世界中事物的本质属性时,应限制可能世界概念的范围,摒弃现实世界的非真实情形。 相似文献
2.
董英东 《西南师范大学学报(人文社会科学版)》2009,(5):71-75
认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。 相似文献
3.
Business letter with friendly modality is an effective means to represent the best advantage of one’s self and firm. The paper in vestigates modality in business letter according to Halliday’s view on modality. The modal devices mainly cover modal operator, modal ad junct, and modal cohesion. By means of binary approach modal logic is tentative divided into: perfective and imperfective; positive and neg ative; subjective and objective or explicit and implicit; high, median and low value. Modal devices or modal logic has formal and semantic level. Modality is regarded as a potential analyzing method to business text in this paper. The significance of the study is for understanding modal expression in business letter, meanwhile, this is a way to better understand modal logic, and to better use modal device in business let ter. 相似文献
4.
5.
罗翊重 《昆明师范高等专科学校学报》2006,28(3):10-15,22
形式逻辑是关于断定的逻辑（Logic），辩证逻辑是关于描述的逻辑（Logos）。通过对性质判断的非反否定演算，将形式逻辑的断定否定演算，辩证逻辑的描述否定演算，认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算，都归结为非和反的哲学否定演算。由此，所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。 相似文献
6.
曹青春 《内蒙古大学学报(人文社会科学版)》2011,(5):49-55
内涵逻辑系统有广义狭义之分。从广义上来说,当前最具代表性的内涵逻辑系统有：模态逻辑、时间逻辑、自由逻辑、道义逻辑、认知逻辑等。从狭义上看,内涵逻辑系统包括丘奇的内涵逻辑系统以及以丘奇内涵逻辑系统为基础的其他系统。本文讨论的内涵逻辑特指源于弗雷格的涵义和指称理论的狭义内涵逻辑。 相似文献
7.
广义模态逻辑研究中的若干问题 总被引：1，自引：0，他引：1
冯棉 《华东师范大学学报(哲学社会科学版)》2001,33(5):141-146
模态理论不仅涉及逻辑的可能性，也涉及事实的可能性，两存在着重要的差异；在对“罗斯悖论”的剖析中引入可能算子，通过对道义悖论作时态的分析，以辨明义务的相对性，是消除道义悖论的一条可行的途径。 相似文献
8.
广告英语是一种实用性十分强的文体,它在情态表达语的使用上有其自身的特点。本文主要依据人际功能理论、情态系统的量值理论等分析、探讨了广告英语语篇情态表达上的特点。 相似文献
9.
10.
A new control strategy based on modal energy criterion is proposed to demonstrate the effectiveness of the control system in reducing structural earthquake responses. The modal control algorithm combining LQR （linear quadratic regulator） control algorithm is adopted in the discrete time-history analysis. The various modal energy forms are derived by definition of the generalized absolute displacement vector. A preliminary numerical study of the effectiveness of this control strategy is carried out on a 20-storey framed steel structural model. The controlled performance of the model is studied from the perspectives of both response and modal energy. Results show that the modal energy-based control strategy is very effective in reducing structural responses as well as in consuming a large amount of modal energy, while augmentation of additional generalized control force corresponding to the modes that contain little modal energy is unnecessary, as it does little help to improve the controlled structural performance. 相似文献
11.
Fan Rongqiang 《广东技术师范学院学报》1993,(4)
本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。 相似文献
12.
通过两次问卷调查可以发现,绝大多数调查对象直观上都认为：理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画：理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。 相似文献
13.
刘又知 《江西教育学院学报》2002,23(4):40-42,66
可能世界是一个强有力的理论概念，它能阐明和解决许多哲学和逻辑难题，它是深入研究模态逻辑的基础，是研究自然语言逻辑的有力工具。 相似文献
14.
刘成武 《福建工程学院学报》2008,6(Z1)
车身结构模态分析是车身NVH特性研究的重要内容,识别车身系统模态对避免车身结构与声腔共振、降低车内噪声有着重要的意义.文章以某轿车车身为例,利用有限元法建立车身结构模型,进行模态分析计算,从而获得车身结构的模态频率和变形部位. 相似文献
15.
R12对大气臭氧层有强烈的腐蚀作用.而R134a是一种新型的环保制冷剂,为减少环境污染,可用R134a代换R12.根据对R134a和R12特性的对比分析,改进了空调压缩机、冷凝器、蒸发器、膨胀阀和其他附属部件的具体结构及参数设置,汽车空调制冷系统可得到优化. 相似文献
16.
动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集．正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统．是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的．而是公式协调的。 相似文献
17.
Temporal variation of dynamical modal properties of a base-isolated building is investigated using earthquake records in the building. A batch processing least-squares estimation method is applied to segment-wise time-series data. To construct an input-output system, an auto-regressive model with exogenous input （ARX） of second-order including a forgetting coefficient as a weighting coefficient is used for the estimation of modal parameters. The fundamental and second natural frequencies and the damping ratios of the fundamental and second natural modes of the base-isolated building are identified in the time domain. The identified results are consistent with the results obtained from the micro-tremor vibration data, forced-vibration test data and earthquake records in the present base-isolated building in the case of taking into account the amplitude-dependency of the iso- lators and viscous dampers. It is finally pointed out that several factors, e.g., amplitude dependency of the isolator and damper system and special characteristics of the series-type viscous damper system, may be related complicatedly with the temporal variation in modal properties of the above-mentioned system. 相似文献
18.
Matthew Inglis Juan Pablo Mejia-Ramos Adrian Simpson 《Educational Studies in Mathematics》2007,66(1):3-21
In recent years several mathematics education researchers have attempted to analyse students’ arguments using a restricted
form of Toulmin’s [The Uses of Argument, Cambridge University Press, UK, 1958] argumentation scheme. In this paper we report data from task-based interviews conducted with highly talented postgraduate
mathematics students, and argue that a superior categorisation of genuine mathematical argumentation is provided by the use
of Toulmin’s full scheme. In particular, we suggest that modal qualifiers play an important and previously unrecognised role
in mathematical argumentation, and that one of the goals of instruction should be to develop students’ abilities to appropriately
match up warrant-types with modal qualifiers. 相似文献
19.
且大有 《内蒙古师范大学学报(哲学社会科学版)》2003,32(6):18-21
笔者初步介绍了我国50、60年代探索辩证逻辑对象的部分国内学者的不同观点，即：(1)辩证逻辑的对象是唯物辩证法；(2)辩证逻辑的对象是马克思主义的辩证法在思维领域中的具体运用；(3)辩证逻辑的对象是研究辩证思维的形式与规律的科学；(4)辩证逻辑的对象是研究思维的内在矛盾的形式与规律的科学。 相似文献
20.
林华东 《泉州师范学院学报》2007,25(5):47-54
闽南方言语气词系统很有特色。一是继承了古汉语的部分语气词;二是有一些语气词与普通话同源,但用法、语气却有所不同;三是拥有句首语气词,保留了古汉语的句法结构形式;四是不仅句末,而且在句首都有语气词连用的现象。文章在对闽南方言语气词的系统和特征概括分析的基础上,主要对句末语气词进行逐一的解析,并就语气词的形成、分布和演变作出阐释。 相似文献