导读:本文包含了形式语言逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:建筑空间,形式语言,哲学,逻辑关系
形式语言逻辑论文文献综述
白新蕾[1]（2018）在《空间形式语言与哲学的逻辑关系讨论》一文中研究指出本文以空间元、空间结构、空间路径叁个基本考量单位为基本依据,思考建筑与空间的本质以及空间形式语言的内在逻辑,从而追根溯源,思考并推导建筑空间与哲学之间的逻辑关系。(本文来源于《美术大观》期刊2018年10期）
高逢亮[2]（2017）在《浅论形式逻辑对语言研究的作用》一文中研究指出逻辑学和语言学的关系尤为密切。从语义学、语法学、语用学、修辞学等不同的学科层面展开探讨,可以更好地观察逻辑学和语言学之间的互动。(本文来源于《现代语文(语言研究版)》期刊2017年12期）
郑剑委[3]（2016）在《基于语言结构形式之逻辑结构要素影射的法律条文“的”字短语翻译探析》一文中研究指出以往法律语言学研究文献几乎都认为法律条文中"的"字短语仅表示"假设"逻辑结构要素。出现这种错误认识的原因有两个:其一,在分析"的"字短语逻辑结构要素过程中,当前法律语言学界仍然遵循着早已过时的"叁要素说";其二,研究者往往将表层的法律语言形式与深层的法律规范逻辑结构相混淆。本文基于目前占法理学界主流的法律规范逻辑结构的"新叁要素说",系统地分析了法律条文"的"字短语表达的逻辑结构要素及其在语言结构形式上的影射。根据语言结构形式的逻辑结构要素影射,归纳得出法律条文中"的"字短语的"化词"和"化句"翻译策略,并以《劳动合同法》的两个权威英译本为例进行了论证。(本文来源于《中原工学院学报》期刊2016年05期）
刘璟[4]（2016）在《动态形式背后的理性思维——浅析扎哈·哈迪德的非线性建筑语言及其内在的生成逻辑》一文中研究指出在当今世界建筑领域中,扎哈·哈迪德是最前卫、激进的建筑大师,成为推动非线性建筑发展的旗手。扎哈不仅开创了新的建筑语言形式,而且以其独特的视角对建筑进行重新解读,形成了非传统的理论体系,并将理论积极地付诸建筑实践活动之中。她改变了人们以往的建筑思维模式,同时解放了传统建筑形式语言和空间构成。本论文将从扎哈特有的非线性建筑语言形式,以及其背后的形式逻辑进行分析、论证,以便更深入、理性地理解其作品形成的原因。(本文来源于《建筑与文化》期刊2016年01期）
王瑞祥[5]（2013）在《中医语言的形式逻辑体系刍议》一文中研究指出本文讨论了构建中医语言形式逻辑体系的必要性和可能性,以《伤寒论》为例,用数理逻辑解读典籍原文,提出了对中医语言进行符号化、规范化的思路。(本文来源于《中医药导报》期刊2013年05期）
曾跃都[6]（2013）在《形式逻辑与自然语言刍议——基于徐盛桓先生“充分条件的语用嬗变”一文的思考》一文中研究指出形式逻辑的最小单位是命题,其基本特征是判断性和真值,因此排除了语句可能具有的真假程度性。形式逻辑核心任务在于区分有效论证和无效论证。它完全排除语境因素,而语言学则将语境作为其研究的基础,因此在研究诸如if条件句这样的自然语言现象时采用形式逻辑系统所做出的结论,对于相关语言学研究的指导意义不大。(本文来源于《鸡西大学学报》期刊2013年05期）
王晋[7]（2012）在《亚里士多德的形式逻辑对思维和语言的影响》一文中研究指出思维与语言在认知过程中相互依赖,将客观存在的现实转化为人类所认知的现实。印欧系语言的语法理论体系,就是以亚里士多德的逻辑范畴理论为基础,从而得出主语、谓语和名词、动词之类的概念以及它们之间对应关系的理论。推理式思维方式擅长形态语法的研究,而两点论、直觉式的思维方式擅长语义研究。(本文来源于《作家》期刊2012年14期）
汪振泽,高赛赛[8]（2012）在《形式设计中的图像思维与逻辑语言》一文中研究指出设计应该是系统过程的集合体。本文阐述形式设计中图像思维、逻辑语言的概念、特点,以及它们之间的关系。(本文来源于《美术大观》期刊2012年03期）
杨潇潇[9]（2009）在《框架时序逻辑程序语言MSVL的形式语义》一文中研究指出形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指称语义在强大的数学理论支持下为程序的含义提供了精确的数学描述。时序逻辑程序设计是一种新型的程序设计范式,程序的具体执行和性质的描述可以在同一逻辑框架内表示,适用于并发系统的建模、模拟和验证。尽管研究人员开发了相关的解释器来执行各类时序逻辑程序语言,时序逻辑及其可执行子集被广泛地应用于系统的规范和验证中,但是到目前为止,至少在区间时序逻辑程序语言中,还没有一套系统而完整的形式语义。本文以区间时序逻辑程序语言MSVL为研究对象,分别从模型语义、操作语义、公理语义叁条主线来研究区间时序逻辑程序的形式语义,并对叁种语义之间的一致性、互补性进行分析和证明。本文研究了MSVL语言的极小模型语义。由于MSVL语言中的框架技术破坏了逻辑的单调性,传统的规范模型已不再适用于捕获该语言的模型语义。因此,我们提出了极小模型理论并证明了极小模型的存在性定理。为了正确理解程序语言的执行过程,本文研究了MSVL语言的结构化操作语义。首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。其次给出了带有时态操作符的算术表达式和布尔表达式的求值规则,以及程序的状态迁移系统和区间迁移系统。状态迁移系统包括将一个程序化简为与其等价的正则形的语义等价规则和状态上的迁移规则。区间迁移系统给出了将程序从一个状态迁移到下一个状态的区间迁移规则。进一步,我们研究了两类迁移系统的性质,并证明了操作语义和基于模型理论的极小模型语义之间的一致性。最后基于本文提出的操作语义,开发了具有对软硬件系统进行建模、模拟和验证功能的MSVL语言的解释器。为了实现在同一逻辑框架内对并发系统进行建模和验证的目的,本文研究了MSVL语言的公理语义。在该方法中,MSVL语言作为程序设计语言来描述系统行为(系统建模),命题投影时序逻辑作为断言语言描述系统性质。这样,系统的模型和性质的规范可以用同一逻辑记号表示,简化了验证在不同形式化记号之间转换的复杂过程。进一步,我们给出将程序推演为正则形的状态公理和状态推演规则以及程序在区间上的公理和推演规则,这些规则在将程序从一种状态转换到另一种状态的同时实现程序性质的验证。另外,基于MSVL语言的操作语义,我们证明了该公理系统的可靠性和相对完备性。最后,使用该语言的公理语义对一个应用实例的完全正则性质进行了形式化验证。(本文来源于《西安电子科技大学》期刊2009-04-01）
陈坚,魏春雨[10]（2008）在《浅析扎哈·哈迪德设计思想之衍变及形式语言之逻辑》一文中研究指出该文试以扎哈·哈迪德的各时期主要作品为线索,浅略地探究其设计思想的形成及衍变过程,并通过对其主要设计方法的归纳探究扎哈·哈迪德形式语言的逻辑性。(本文来源于《华中建筑》期刊2008年12期）
形式语言逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
逻辑学和语言学的关系尤为密切。从语义学、语法学、语用学、修辞学等不同的学科层面展开探讨,可以更好地观察逻辑学和语言学之间的互动。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
形式语言逻辑论文参考文献
[1].白新蕾.空间形式语言与哲学的逻辑关系讨论[J].美术大观.2018
[2].高逢亮.浅论形式逻辑对语言研究的作用[J].现代语文(语言研究版).2017
[3].郑剑委.基于语言结构形式之逻辑结构要素影射的法律条文“的”字短语翻译探析[J].中原工学院学报.2016
[4].刘璟.动态形式背后的理性思维——浅析扎哈·哈迪德的非线性建筑语言及其内在的生成逻辑[J].建筑与文化.2016
[5].王瑞祥.中医语言的形式逻辑体系刍议[J].中医药导报.2013
[6].曾跃都.形式逻辑与自然语言刍议——基于徐盛桓先生“充分条件的语用嬗变”一文的思考[J].鸡西大学学报.2013
[7].王晋.亚里士多德的形式逻辑对思维和语言的影响[J].作家.2012
[8].汪振泽,高赛赛.形式设计中的图像思维与逻辑语言[J].美术大观.2012
[9].杨潇潇.框架时序逻辑程序语言MSVL的形式语义[D].西安电子科技大学.2009
[10].陈坚,魏春雨.浅析扎哈·哈迪德设计思想之衍变及形式语言之逻辑[J].华中建筑.2008