古诗词艺术歌曲《我住长江头》的创作与演绎

古诗词艺术歌曲是一种特殊的歌曲体裁形式,为优美的古诗词配上钢琴伴奏旋律,从而谱写成动听的音乐作品,其核心是表现人物内心的情感世界,并赋予新的意境。《我住长江头》是中国近现代艺术歌曲优秀作品,整首作品当中以长江水为主旋律,并贯穿全首古诗词,从而达到借水抒情的目的。本文通过对古诗词艺术歌曲《我住长江头》的创作特点进行分析,进一步探究其演绎艺术形式,希望能够帮学习者提高认知,从而达到更加理想的演绎效果。

形式演绎系统L~*中的运算与演绎定理

对著名的形式演绎系统 L* 做了进一步的研究 ,得到一些新定理。在系统 L* 中引入新的二元运算 ,讨论了这种运算的性质 ,并由此得到了形式系统 L*

形式演绎系统L~*的扩张

从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 .

理想状态下泛逻辑的形式演绎系统β

本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。

理想状态下泛逻辑的形式演绎系统B的完备性

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。

教育现象学方法对常规形式逻辑演绎判断的超越

教育现象学方法为现象学方法所决定,因此它超越于常规形式逻辑演绎判断之外。这种超越的实质就是要重视体验,通过采用自由想象、悬置、变更、还原、直观等方法进行教育教学研究。重视教育体验也就决定了教育现象学方法必须立足于教育生活实践。

形式演绎系统L~*的运算与弱演绎定理

在著名的形式演绎系统L 中引入一种新的运算 ,讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.

形式逻辑演绎推理就是从一般到个别的推理吗？

本文首先依据“一般”与“个别”的特征以及二者的关系，论证了“形式逻辑演绎推理就是一般到个别的推理”这个广为流行的定义是不正确的。接着依据形式逻辑演绎推理的各种有效式，论证了上述错误定义及其引伸同形式逻辑演绎推理是不相容的。最后剖析了持上述错误定义的根源在于：一是混淆了理性认识辩证运动的推移过程和理性认识相对确定的推理环节；二是混淆了辩证逻辑演绎方法和形式逻辑演绎推理。

中国版画演绎溯源

版画作为中国传统文化的一部分,其艺术形态的起源和发展有着其他画种所不具备的特点。本文从版画的社会功能性以及图像的复数性出发,结合丰富的文献和实物素材,阐述中国古代版画发源内外因,并分析其由此在不同时代文化与生活领域的形态演绎。

怎样看待用通俗手法演绎古典音乐

用通俗手法演绎古典音乐已经成为中国乃至国际大众化的音乐形式,这种音乐形式是流行音乐和古典音乐的结合。它以独特的魅力和旺盛的生命力向众人展示了它不可否定的价值,满足了人们对多元化艺术格局的需求,其演绎形式也为世界流行音乐注入了新鲜的血液。

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .

L~*系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) .

非形式逻辑的理论成就及其对法律论证的意义

非形式逻辑30多年的发展紧贴论证实际,发展了不同于形式演绎逻辑的新逻辑工具。它所建立的论证分析、评估、批评和构建理论,大有成为普遍适用各领域的一般逻辑的势头。从图尔敏"法学模型"发源的非形式逻辑的理论可以应用于法律论证,形成一种面貌全新的法律应用逻辑。

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 。

R_0代数的一种等价形式

R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.

关于形式系统L~*及R_0代数的若干结果

研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.

对演绎推理两个定义的质疑

关于演绎推理的定义,在我圈现今的形式逻辑(指传统逻辑,下同)论著中,有两个定义广为流行。其一,“演绎推理就是前提与结论之间有蕴涵关系的推理”,其二,“演绎推理就是前提与结论之间有必然联系的推理”。本文拟对这两个定义发表不同意见,并最后论证笔者的观点:演绎推理就是前提与结论具有充分条件或充分必要条件必然联系的推理。

简论建国后毛泽东的形式逻辑思想

中华人民共和国成立以后,毛泽东同志运用辩证唯物主义的立场、观点和方法,对形式逻辑(指传统逻辑或普通逻辑)科学,从逻辑理论上进行了多方面的深入研究,提出了许多科学论断,其中有不少独到见解。以往研究毛泽东的形式逻辑思想的论著,大都侧重于论述他在他的论著中应用形式逻辑的高超艺术,而对于他在形式逻辑理论上的建树,却极少见文研究。本文力图弥补这一不足,侧重对建国后毛泽东的形式逻辑理论思想作一简要述评。

有关条件推理认知机制的概率理论

条件推理主要有两种研究范式 :演绎形式 (MP、DA、AC、MT)和变通形式 (四卡问题 )。已往研究主要探讨了内容因素、情境因素以及元认知因素等对条件推理的影响 ,形成了若干理论模型和观点。近来 ,Oaksford等人研究了概率因素对条件推理的影响 ,提出了条件概率模型。本文对这种新的研究取向作了详细的介绍和评价 。

陇东红色民歌的音乐分析及传承创新策略

陇东红色民歌是陇东红色文化的重要组成部分,是指土地革命、抗日战争和解放战争时期盛行于陇东革命根据地以反映军民革命斗争生活为内容的民歌。文章在概述陇东红色民歌涵义、历史背景、文化特征的基础上,重点分析了陇东红色民歌的音乐特征,并提出了传承陇东红色民歌的创新策略。