现代英语数学语篇情态的语言学特征

Інна Шкарбан
{"title":"现代英语数学语篇情态的语言学特征","authors":"Інна Шкарбан","doi":"10.24919/2522-4565.2022.49.33","DOIUrl":null,"url":null,"abstract":"The article reveals linguistic aspect of modality in modern math discourse in English, critically outlines a number of actual problematic issues in the area, such as the distinction between epistemic modality and evidentiality marked by formal logics philosophical grounding. General reference to previous scholarly activity in math modality research proves that it is largely based on propositional aspects of meaning. The math text corpus analysis aims to extract a set of modalities that are indispensable for formulating modal deductive reasoning. However, from a linguistic perspective academic math discourse requires natural language premise selection in the processes of mathematical reasoning and argumentation. It is presumed that two different self-attention cognition layers are focused at the same time on the proper classical symbolic logic and mathematical elements (formal language), while the other attends to natural language. Defining the semantic meanings of math discourse modality markers involves the interpretation phase. Thus, objectivity is generally associated with evidential adverbs which are markers of the evidence verification concerning the speaker’s assessment of the truth value of the proposition. Modal auxiliaries of high, medium and low modality, semimodal verbs and conditionals involve ascribing a justification value in the set of possible logical inference making. The formal logical structure of mathematical reasoning explains the non-intuitive possibility of a deductive proof. It has been grounded that a linguistic category of modality in math discourse indispensably presupposes the universal truth of knowledge, high level of logical formalization in propositional verification status, formulaic nature of the argumentation, i.e. synthesis of hypothetical preconditions, theoretical knowledge and subjectivity of reasoning leading to a new hypothesis verification and visual exemplification of the empirical deductive processes in particular by linguistic means of modality expression.","PeriodicalId":354591,"journal":{"name":"Проблеми гуманітарних наук. Серія Філологія","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"LINGUISTIC ASPECT OF MODALITY IN MODERN MATH DISCOURSE IN ENGLISH\",\"authors\":\"Інна Шкарбан\",\"doi\":\"10.24919/2522-4565.2022.49.33\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The article reveals linguistic aspect of modality in modern math discourse in English, critically outlines a number of actual problematic issues in the area, such as the distinction between epistemic modality and evidentiality marked by formal logics philosophical grounding. General reference to previous scholarly activity in math modality research proves that it is largely based on propositional aspects of meaning. The math text corpus analysis aims to extract a set of modalities that are indispensable for formulating modal deductive reasoning. However, from a linguistic perspective academic math discourse requires natural language premise selection in the processes of mathematical reasoning and argumentation. It is presumed that two different self-attention cognition layers are focused at the same time on the proper classical symbolic logic and mathematical elements (formal language), while the other attends to natural language. Defining the semantic meanings of math discourse modality markers involves the interpretation phase. Thus, objectivity is generally associated with evidential adverbs which are markers of the evidence verification concerning the speaker’s assessment of the truth value of the proposition. Modal auxiliaries of high, medium and low modality, semimodal verbs and conditionals involve ascribing a justification value in the set of possible logical inference making. The formal logical structure of mathematical reasoning explains the non-intuitive possibility of a deductive proof. It has been grounded that a linguistic category of modality in math discourse indispensably presupposes the universal truth of knowledge, high level of logical formalization in propositional verification status, formulaic nature of the argumentation, i.e. synthesis of hypothetical preconditions, theoretical knowledge and subjectivity of reasoning leading to a new hypothesis verification and visual exemplification of the empirical deductive processes in particular by linguistic means of modality expression.\",\"PeriodicalId\":354591,\"journal\":{\"name\":\"Проблеми гуманітарних наук. Серія Філологія\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-06-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Проблеми гуманітарних наук. Серія Філологія\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.24919/2522-4565.2022.49.33\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Проблеми гуманітарних наук. Серія Філологія","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.24919/2522-4565.2022.49.33","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

本文揭示了现代英语数学话语中情态的语言学方面,批判性地概述了该领域的一些实际问题,例如以形式逻辑哲学基础为标志的认识论情态和证据性之间的区别。对以往数学情态研究的学术活动的一般参考证明,它在很大程度上是基于意义的命题方面。数学文本语料库分析的目的是提取一组模态,这些模态是形成模态演绎推理所不可缺少的。然而,从语言学的角度来看,数学学术话语在数学推理和论证过程中需要自然语言的前提选择。假设两个不同的自我注意认知层同时关注适当的经典符号逻辑和数学元素(形式语言),而另一个关注自然语言。数学语篇情态标记的语义定义涉及到解释阶段。因此,客观性通常与证据副词联系在一起,证据副词是关于说话人对命题真值评估的证据验证的标记。高、中、低情态动词、半情态动词和条件句的情态助动词涉及在一组可能的逻辑推理中赋予一个证明值。数学推理的形式逻辑结构解释了演绎证明的非直觉可能性。数学话语中语态的语言范畴必须以知识的普遍真理、命题验证状态下的高水平逻辑形式化、论证的公式化性质(即假设前提的综合)、理论知识和推理的主观性导致新的假设验证和视觉例证的经验演绎过程,特别是通过语言手段的情态表达。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
LINGUISTIC ASPECT OF MODALITY IN MODERN MATH DISCOURSE IN ENGLISH
The article reveals linguistic aspect of modality in modern math discourse in English, critically outlines a number of actual problematic issues in the area, such as the distinction between epistemic modality and evidentiality marked by formal logics philosophical grounding. General reference to previous scholarly activity in math modality research proves that it is largely based on propositional aspects of meaning. The math text corpus analysis aims to extract a set of modalities that are indispensable for formulating modal deductive reasoning. However, from a linguistic perspective academic math discourse requires natural language premise selection in the processes of mathematical reasoning and argumentation. It is presumed that two different self-attention cognition layers are focused at the same time on the proper classical symbolic logic and mathematical elements (formal language), while the other attends to natural language. Defining the semantic meanings of math discourse modality markers involves the interpretation phase. Thus, objectivity is generally associated with evidential adverbs which are markers of the evidence verification concerning the speaker’s assessment of the truth value of the proposition. Modal auxiliaries of high, medium and low modality, semimodal verbs and conditionals involve ascribing a justification value in the set of possible logical inference making. The formal logical structure of mathematical reasoning explains the non-intuitive possibility of a deductive proof. It has been grounded that a linguistic category of modality in math discourse indispensably presupposes the universal truth of knowledge, high level of logical formalization in propositional verification status, formulaic nature of the argumentation, i.e. synthesis of hypothetical preconditions, theoretical knowledge and subjectivity of reasoning leading to a new hypothesis verification and visual exemplification of the empirical deductive processes in particular by linguistic means of modality expression.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
ПРО ІНТЕЛЕКТ І ЕМОЦІЮ, МИСЛЬ І ЧУТТЯ, РОЗУМ І СЕРЦЕ В КОСМОСІ НАУКОВОГО СЛОВА ІВАНА ФРАНКА (РЕЦЕНЗІЯ НА МОНОГРАФІЮ Я. ЯРЕМКА І Н. ЛУЖЕЦЬКОЇ «ІВАН ФРАНКО І ПОСТУП НОВІТНЬОЇ ЛІНГВІСТИКИ») LINGUISTIC ASPECT OF MODALITY IN MODERN MATH DISCOURSE IN ENGLISH ЛЕКСИКО-СEМАНТИЧНИЙ АНАЛІЗ ІДІОМ З ЛЕКСИЧНИМ КОМПОНЕНТОМ НА ПОЗНАЧЕННЯ ПРИРОДНИХ ЯВИЩ В АНГЛІЙСЬКІЙ МОВІ КОНСТРУЮВАННЯ МАСКУЛІННОГО ІДЕАЛУ У ТВОРЧОСТІ ОЛЕКСИ СТЕФАНОВИЧА ПОЕТИКА МІСТИЧНОГО В ПОВІСТІ МИХАЙЛА ГАФІЇ ТРАЙСТИ «ЛЮДИНА З ТОГО СВІТУ»
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1