检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

批判性思维的测量与培养

江淮论坛 2017年第5期 129-134页

作者：史璟中央财经大学文化与传媒学院北京100081

批判性思维是一种评估、比较、分析、批判和综合信息的能力,也是人才综合素质培养的重要方面。国外批判性思维研究已日渐成熟,而我国对该问题的研究比较薄弱。本文对北京5所重点大学的本科生批判性思维倾向进行实证测量,通过问卷调查,... 详细信息

批判性思维是一种评估、比较、分析、批判和综合信息的能力,也是人才综合素质培养的重要方面。国外批判性思维研究已日渐成熟,而我国对该问题的研究比较薄弱。本文对北京5所重点大学的本科生批判性思维倾向进行实证测量,通过问卷调查,采用《加利福尼亚州批判性思维倾向量表》和配套的计算软件对测试结果进行数据分析和理论研究,提出培养和提高大学生批判性思维能力的建议与构想,以期丰富我国批判性思维研究,并对该问题的现代转型给以意义深远的理论与实证思考。

关键词：批判性思维测量和培养大学本科生

在线全文

学校读者我要写书评

暂无评论

余代数与模态逻辑

西南大学学报（社会科学版） 2011年第4期37卷 87-93页

作者：史璟中央财经大学现代逻辑研究所北京市100081

近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性的理论,因此余代数也就成为非常抽象的数学结构。从广义上说,... 详细信息

近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性的理论,因此余代数也就成为非常抽象的数学结构。从广义上说,余代数处理基于状态的动态系统,比如理论计算机科学中的(加标)转换系统、模态逻辑的模型和框架等等,它是基于状态的动态系统的抽象模型。本文首先介绍余代数的基本概念,然后论述它在非良基集合论研究中的起源,接着说明余代数与模态逻辑的联系。最后,余代数提供了一种处理模态逻辑语义的抽象模型,因此具有十分广泛的应用。

关键词：动态系统非良基集合模态逻辑余代数余代数同态余代数模态逻辑

在线全文

学校读者我要写书评

暂无评论

集合论的反基础公理

哲学动态 2009年第1期 100-105页

作者：李娜史璟南开大学哲学系天津300071

我们从两方面介绍集合论的反基础公理（AFA）以及非良基集合的广泛应用。一方面，根据阿克采尔（***）的思想，集合可以看做是可达点图，在这个意义上，AFA是说每个图都有唯一的装饰；由此，每个集合都有一个典范图。另一方面，根据巴... 详细信息

我们从两方面介绍集合论的反基础公理（AFA）以及非良基集合的广泛应用。一方面，根据阿克采尔（***）的思想，集合可以看做是可达点图，在这个意义上，AFA是说每个图都有唯一的装饰；由此，每个集合都有一个典范图。另一方面，根据巴威斯（***）等人的思想，集合可以看做是方程组的解，在这个意义上，

关键词：集合论公理方程组

在线全文

学校读者我要写书评

暂无评论

后形而上学的科学之真

思想战线 2011年第3期37卷 50-54页

作者：史璟中央财经大学现代逻辑研究所中央财经大学文化与传媒学院

科学的合法性在于它的"真"的意义,无论是把科学之真看做科学家应该追求的一种精神,还是把真看做对确定知识的追求,都会因为"真"的价值而获得一种合法性。这种科学之真的确证的观念始于近代以来的哲学传统。在实证主义、证伪主义等经验... 详细信息

科学的合法性在于它的"真"的意义,无论是把科学之真看做科学家应该追求的一种精神,还是把真看做对确定知识的追求,都会因为"真"的价值而获得一种合法性。这种科学之真的确证的观念始于近代以来的哲学传统。在实证主义、证伪主义等经验科学观以及一些科学进步观中,"真"是用经验基础证明自己,它被看做逼真性概念。科学之真是文化政治学中的一个概念,是一种话语方式,这种话语只能在科学共同体以及把科学作为一种文化的语境中得到理解,它要坚持科学的实用主义原则,"真"意味着一种科学理论表达的文化功能。对科学之真的形而上学证明是不能实现的。科学哲学中的范式理论为我们提供的历史主义视角可以对形而上学的科学之真作出一种革命性的转变,即在科学之真的看法上的"后形而上学思想"的转向。如今我们要在后形而上学思想上去理解科学之真的原则,一个科学理论如果能够在文化共同体中发挥作用或具有程序化的功能,那么它便是真的科学。真正的语境主义的科学之真是值得赞赏的,"真"代表了一种文化范式或政治学,它的表述是一种主体间性而不是纯粹客观性,这就是后形而上学的科学之真的思想。

关键词：真科学后形而上学

财政支农事权与支出责任划分问题的考量与解决

在线全文

学校读者我要写书评

暂无评论

哈尔滨工业大学学报（社会科学版） 2020年第4期22卷 149-154页

作者：史璟中央财经大学文化与传媒学院北京100081

对中国财政支农事权与支出责任划分问题进行逻辑考量,可以把“三农问题”看作数理逻辑中的一个二元结构模型,立足于综合运用经济、行政和法律政策解决“三农问题”。通过梳理中国财政支农事权的历史逻辑进程,探析在财政支农事权与支出... 详细信息

对中国财政支农事权与支出责任划分问题进行逻辑考量,可以把“三农问题”看作数理逻辑中的一个二元结构模型,立足于综合运用经济、行政和法律政策解决“三农问题”。通过梳理中国财政支农事权的历史逻辑进程,探析在财政支农事权与支出责任划分中存在的政府支出责任模糊、支农资金管理不规范、支农事权和财力不匹配等诸多亟待解决的问题,提出了财政支农事权划分的基本原则和法律保障,健全财力和支农事权匹配的财政体制,科学合理地划分财政支农事权和支出责任,加快农业农村经济发展。

关键词：三农问题财政支农财政事权财政支出责任

在线全文

学校读者我要写书评

暂无评论

试论逻辑语言的发展

试论逻辑语言的发展

作者：史璟河南大学

学位级别：硕士

逻辑和语言有着十分密切的关系,逻辑学与其他科学不同,它有着自己专门一套表述的语言符号。亚里士多德是逻辑学的创始人,从他开始,对逻辑学的研究所使用的语言是半形式化语言,即在自然语言的基础上增加了一些特殊的符号。17世纪德国著... 详细信息

逻辑和语言有着十分密切的关系,逻辑学与其他科学不同,它有着自己专门一套表述的语言符号。亚里士多德是逻辑学的创始人,从他开始,对逻辑学的研究所使用的语言是半形式化语言,即在自然语言的基础上增加了一些特殊的符号。17世纪德国著名哲学家、逻辑学家莱布尼茨使亚里士多德逻辑开始了“新生”,他认为要建立一种通用的语言,通过这种语言使哲学家争论的问题变成数学计算。这里,他最早提出了数理逻辑的两个基本思想:构造形式语言和建立演算。19世纪中叶,英国数学家布尔创建了逻辑代数,初步实现了莱布尼茨的设想。稍后的德国著名逻辑学家、哲学家弗雷格在《概念文字》中建立了一种形式语言,并通过这种形式语言构造了第一个一阶谓词演算系统,由此实现了莱布尼茨的设想。1910-1913年,英国逻辑学家罗素和怀特海的《数学原理》出版,改进了弗雷格的表述方式,并发展和完善了数理逻辑的演算系统。之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。本文依循西方逻辑史的演进来研究逻辑语言从半形式化语言到形式化语言的发展。目前,逻辑学界和语言学界尚没有以西方逻辑史为主线研究逻辑形式语言形成和发展的专著,只有若干篇研究逻辑语言的论文。鉴于此,我便想涉足该研究领域,大胆尝试,从逻辑所使用的自然语言、半形式化语言及形式化语言的视角剖析逻辑学的发展,尽可能把逻辑语言的发展脉络梳理清晰,并进行深入分析和研究。

关键词：逻辑半形式化语言形式化语言

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

模态逻辑的集合论语义与互模拟不变性

逻辑学研究 2021年第1期14卷 49-59页

作者：史璟中央财经大学文化与传媒学院

含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合a,一个命题变元p在a上真当且仅当p属于a。命题联结词的解释与古典命题逻辑相同。一个公式3A在a上真当且仅当存在集合b属于a,使得A在b上是真的。在一个集合中,属... 详细信息

含有命题变元的非良基集合能够被看作解释模态语言的模型。任给非良基集合a,一个命题变元p在a上真当且仅当p属于a。命题联结词的解释与古典命题逻辑相同。一个公式3A在a上真当且仅当存在集合b属于a,使得A在b上是真的。在一个集合中,属于关系被看作可及关系。在这种思想下,我们可以定义从模态语言到一阶集合论语言的标准翻译。对任意模态公式A和集合变元x,可以递归定义一阶集合论语言的公式ST(A,x)。在关系语义学下,van Benthem刻画定理是说,在带有唯一的二元关系符号R的一阶语言中,任何一阶公式等价于某个模态公式的标准翻译当且仅当这个一阶公式在互模拟下保持不变。因此,模态语言是该一阶关系语言的互模拟不变片段。同样,我们可以在集合上定义互模拟关系,证明van Benthem刻画定理对于集合论语义和集合上的互模拟不变片段成立,即模态语言是一阶集合论语言的集合互模拟不变片段。

关键词：模态逻辑互模拟非良基集

在线全文

学校读者我要写书评

暂无评论

奎因与量化模态逻辑的发展

湖南科技大学学报（社会科学版） 2010年第5期13卷 35-40页

作者：史璟中央财经大学现代逻辑研究所北京100081

奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有... 详细信息

奎因在20世纪40年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有正确的句法和语义,因此部分回答了奎因提出的挑战。另一方面,人们从哲学上提出各种不同的对"模态个体"的说明。我们详细讨论奎因提出的问题,简要说明量化模态逻辑的发展。最后的结论是,虽然关于量化和模态的关系的技术处理取得了大量有意思的结果,但从哲学上看,我们仍然需要一种对模态个体、内涵、同一等概念的恰当解释。

关键词：量化模态逻辑谓词抽象内涵

在线全文

学校读者我要写书评

暂无评论

浦东机场服务满意度测评及对策研究

浦东机场服务满意度测评及对策研究

作者：史璟华东师范大学

学位级别：硕士

本文试图探讨服务营销理念在中国机场管理中的使用,针对上海浦东国际机场服务满意度调查的结果,利用服务营销的理论对机场的经营管理进行系统解读和分析,并提出机场提高服务质量吸引旅客的建议,探究中国机场业的生存和发展道路。本文的... 详细信息

本文试图探讨服务营销理念在中国机场管理中的使用,针对上海浦东国际机场服务满意度调查的结果,利用服务营销的理论对机场的经营管理进行系统解读和分析,并提出机场提高服务质量吸引旅客的建议,探究中国机场业的生存和发展道路。本文的第一章,从介绍机场管理和机场营销理论出发,探讨了机场营销理念的产生和发展过程,提出了国际航空政策的演变以及国际主要机场经营模式的发展是机场营销理念产生和发展两大基础的观点,并试述了机场服务营销的概念。然后从两个层面介绍了本文的研究对象浦东机场所处的现状,第一个层面是中国机场业这个大背景,认为目前中国机场业在服务营销上与国际同业的差距主要表现在缺乏市场环境、缺乏政策环境、缺乏战略意识、缺乏服务营销意识四个方面;第二个层面则详细描述了浦东机场目前发展所面临的四个方面的挑战和机遇。通过这些内容力图全面反映本文的研究对象上海浦东国际机场所处的市场环境、管理状态。本文的第二章,主要内容是本文的理论基础以及浦东机场满意度测评的情况介绍。文章详细回顾了服务满意度测评理论的产生和发展过程,通过介绍Parasuraman、Berry、Zeithaml、Cronin、Taylor、Gr(o|¨)nroos等等众多学者的观点和理论,详述了国际上主要服务满意度理论的内容,服务满意度测评的主要模式,服务满意度的测评方法,测评中可能存在的问题。在本章中还介绍了对浦东机场进行服务满意度测评的基本情况。本文的第三章,详细介绍了根据浦东机场服务满意度测评得出的结论:旅客关注需求的满足、旅客期望与服务满意度关系密切、环境对旅客满意度有影响作用、标准化程度影响旅客满意度的稳定。从这四个方面入手,结合浦东机场的运行特点,分析探讨了旅客形成服务满意度感受的原因,解释了机场要提高服务质量和能力应注意的问题。本文的第四章,针对服务满意度测评的结果提出了通过服务营销管理机场服务的对策和浦东机场参与国际市场竞争的建议,试图通过这些对策寻找提升浦东机场服务水平和服务能力的途径,为浦东机场参与国际航空运输市场的竞争,树立国际航空枢纽地位寻找有益的解决途径。最后,本文提出了要提高浦东机场服务能力和质量,必须在充分理解旅客满意度测评结果的基础上,采取相应服务营销管理对策的观点,认为浦东机场要进一步发展,具备在国际航空市场中的竞争能力,必须在现有满意度测评的基础上,熟悉国际市场范围的旅客需求,从更多的、范围更广的满意度测评中发现自身服务与国际水准的差距,从而明确改进目标,获取未来的发展空间。

关键词：浦东机场机场管理服务满意度服务营销