邏輯語義學 的英文怎麼說
中文拼音 [luóyǔyìxué]
邏輯語義學
英文
logical semantics- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 學 : Ⅰ動詞1 (學習) study; learn 2 (模仿) imitate; mimic Ⅱ名詞1 (學問) learning; knowledge 2 (學...
- 邏輯 : logic
- 義學 : [舊時用語] private or community-run schools charging no tuition; free school
-
In my opinion, the strategy of pera ' s rhetoric of science aims to, through the rhetorical context, save and rebuild the rationality and achieve the inner unity of rational reason and rhetorical persuasion and breaks thoroughly the rigid bounds both between the logical demonstration and the argumentative persuasion and between the static norms and the dynamic exchange evaluation. at the same time, it also provides a way in which some dilemmas such as formal logical presuppositions and irrationalism can be solved, gives the specific strategically psychological direction and much broader room for language creation to bring a fresh motive power for the development of contemporary philosophy of science
本文認為,佩拉所倡導的科學修辭學戰略的目的在於,通過修辭學語境空間來拯救或重塑理性,以達到理性的「理由」和修辭學的「有理由」的內在統一,從而徹底打破邏輯證明力與論述說服力、靜態規范標準和動態交流評價之間的僵化界限;同時,也為走出形式邏輯的預設和非理性主義困境提供了一條出路,並從科學論述的境遇、選擇、辯護中,給出戰略性的心理定向和更廣闊的語言創造的可能空間,為當代科學哲學的發展注入新的活力。Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分:關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊)中引進量詞和謂詞,建立格值模態一階邏輯系統lmf (廣並給出其語又解釋和語法結構,證明了系統的可靠性和協調性;另外,為了判斷公式的可滿足性,定義了格值模態一階公式的skolem標準型和體解釋;在此基礎上,對基於系統lmf ( )的a一歸結原理進行了初步探討The merits of the inclusion of quantitative methods based on logical empiricism for explicit definition of input errors and uncertainty, approaches to quantisation of input data, and optimisation of outputs are contrasted with soft systems approaches that incorporate more linguistic and information theory into landscape analysis
為輸入的錯誤和不確定,輸入的數據的量子化的方法和輸出的最佳化的明白定義以合乎邏輯的經驗主義為基礎的數量方法的包含的功績與將較多的語言學和傳播理論納入風景分析的軟性系統方法一起對比。Via the investigation on the subjects such as philosophy of moral education, semasiology, logic, anthropology, psychology and so on, the author thinks that the ultimate goal is to cultivate the value character of our students. this character is an " attitude " dynamic system which consists of the subsystems such as " moral cognition ", " moral emotion ", " moral behavior ", etc. it is built on the basis of our traditional culture, which focuses on three dimensions of " learn to be ", " learn together " and " learn to act ". and it embodies the respect - responsibility ( individual to himself, to others, to society, to nature and so on ) value which is the students " core character as well as the goal of education that our moral education should pursue
透過道德教育哲學、語義學、邏輯學、人類學、心理學等多學科的考察,論文認為,學校道德教育的根本目的在於培養受教育者的德性品質(品格) ;受教育者的品格是由「道德認知」 、 「道德情感」 、 「道德行為」等子系統組成的「態度」動力系統;建立在傳統文化基礎上,圍繞「立身」 、 「處世」 、 「行事」三個維度,體現「尊重?責任」關系(生命個體對自己、他人、社會、自然等)價值觀,既是受教育者核心品格,也是學校道德教育應該追求的教育目標。What needed by founding scientific systems of theories on administrative act and practicing of rule of law of administration and even practicing of rule of law is to make a deeper study of definition of administrative act and define its intension and extension according to principles and the needs of practice of rule of law, and in consideration of customs of chinese language and chinese legal culture and judicial system of organization, and also in application of logic analysis, historic analysis, prescriptive method, descriptive method, semantic analysis, case research and comparative research. through profound and scientific demonstration, the thesis defines administrative act as the act of administration organ, authorized organization and person by law, which have executive power factors, including rechtsgeschaft of administration, geschaftsahnliche handlung of administration, relakt of administration
本論文從法治原理出發,根據法治實踐的需要,在充分尊重漢語語言的表達習慣及考慮我國的法律文化及司法體制等因素的基礎上,採用歷史考察、語義分析、邏輯分析、比較分析、規范分析與實證分析等方法,經過深入的分析和科學的論證,將行政行為界定為行政機關或法律、法規授權的組織和個人具有行政職權因素的行為,包括行政法律行為、準行政法律行為和行政事實行為。Gardner defines intelligence as an ability to solve problems or create products that are valued in at least one or more culture settings. his view of intelligence suggests that all people possess at least eight different intelligences which operate in varying degrees. these intelligences as identified by gardner include linguistic intelligence, logical / mathematical intelligence, spatial intelligence, musical intelligence, bodily / kinesthetic intelligence, interpersonal intelligence, intrapersonal intelligence and naturalist intelligence
加德納將智力定義為在特定的文化背景下或社會中,解決問題或製造有效產品的能力,他根據「智力選擇依據系統」 ,經過嚴格論證篩選,提出人類智力至少應包括:語言智能、數學邏輯智能、空間智能、身體運動智能、音樂智能、人際關系智能、自我認識智能和自然觀察智能等8種智能。Two different concepts of the liar paradox : a comparative study of the situational semantic solution and paraconsistent logical solution
情境語義學解悖方案與次協調邏輯解悖方案比較研究Because of the powerful drive of the technological culture, logistic power forming the absolute power of language, chinese education gets into imitating and pursing science language, namely, chinese education is deeply governed by rationalistism. that is the essential sticking point of chinese education in theory and practice, this article distructures and animadverts it
本文是圍繞對長期以來制約語文教育理論與實踐的一個根本癥結? ?由於科技文化的強勢推動,邏輯的權利構成了語言的絕對權利,因此語文教學就陷入了對科學語言範式的追求和模仿之中,也即深受理性主義的絕對支配的解構與批判而展開論述的。Western historiography originates from its metaphysical academic tradition and logicism while chinese non - logicism or historicism make comments according to certain affairs and focuses on narrating, verifying and understanding, which is strikingly different from western historiography, which seeks for the study of fixed knowledge
西方史學之富有理論源於其形而上學的學術傳統與邏輯(實質)主義的運思理路,而漢語文思考的非邏輯主義(或曰歷史主義)使其不離事而言理,即體用不二,道器合一,史學重在述事、征實與會通,這與西方史學追求確定性知識的探究形成鮮明對照。This dissertation bases on the standpoint and methods o f marxism, using literal analysis, logical contemplate and historic approaches, etc. discussing the characters and essence, the theories, the basic tactics of english dialogue instructional approach in high school in a systematic and deep way
本研究堅持馬克思主義的立場、觀點和方法,綜合運用文獻分析、比較研究、案例研究、行動研究和邏輯思辨等方法,對中學英語對話教學的本質及特徵、立論依據、基本策略等問題進行了比較系統而深入的探討。According to concept of logic and geometrical shape of symbols the represented categories of geographic concepts and their mutual relationships on the basis of symbols of topographic maps are defined and the actual examples are given, which provides for reference meaning for studying cartographic language by logic method
根據邏輯學概念和符號的幾何形狀,定義了基於地形圖符號表達的地理概念的種類及其相互關系,並給出具體實例,為用邏輯方法研究地圖語言提供了借鑒意義。Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic
將論證理解為語義學概念還是語用學(辯證的)概念是非形式邏輯和經典邏輯的分水嶺。Abstract this paper stems from " 863 " project and national natural science fund. based on the theory of industrial design and fuzzy set, using object - oriented technology and semantic grammar technology, a semantic transformation method for product color design is proposed
本文依據「十五」國家高技術發展計劃( 863 )課題項目和國家自然科學基金,以工業設計理論及現代設計方法學為基礎,綜合應用模糊邏輯、面向對象技術、語義文法等技術方法,提出了一種基於語義空間的產品色彩設計方法。In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml
當前,對agent和多agent系統的研究正在掀起熱潮,是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究,從邏輯學的角度分析並總結了幾種agent 「信念?願望?意圖」 ( bdi )模型,在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題,提出去掉規則n形成的一種非正規模態邏輯的語義上的新的解釋,解決了「邏輯全知」問題和由此帶來的問題,避免了一般非正規模態邏輯系統語義解釋對agent的bdi描述的弱點。Young learners gradually, and systematically acquire the intricate knowledge of rule - based structures and vocabulary. this allows him / her to be creative as language users by experimenting and using language items
每一位學生都是透過有意義的學習方式,主動思考與選擇。課堂中多樣化解決問題活動,進一步強化學生對于語言邏輯的思辨能力,同時也讓每一位學生記憶與應用文法規則。This paper has performed a new interpretation of each of the propositions in the new dimension of philosophy of language and concluded that these ten paradoxical propositions are neither empirical science statements, nor dialectical logic, nor relativistic epistemology, but a philosophical inquiry into the certainty of language meanings that is at the core consistently rationalistic
從純語言性思辨的角度來看,惠施的「歷物十事」既不是經驗科學式結論,也不是辯證邏輯,更不是相對主義認識論;其一以貫之的哲學精神是對于語言意義確定性的理性追問。The article all so try to look out the problems in the fables system of the chinese teaching material, and try to investigate and research the problem, all this based on thinking of the characteristic of chinese teaching, the characteristic of the times, the logic array of the knowledge and the developing regulation of the students, and so on
本文通過對語文教材選用寓言的必要性、可行性進行分析,認識寓言對教材建設、教師教學、學生學習的重要意義,並綜合考慮時代的特點、知識邏輯序列、語文學科的特性、學生身心發展規律等諸多因素,嘗試對現行語文教材中寓言體系所存問題進行調適研究。The grounds of literary meaning ( and by extension all meaning ) must be located in rhetoric rather than in any of the other possible dimensions ( form, content, reference, grammar, logic etc. )
文學的意義(在任何意義上)必須建立在修辭而不是任何其他的緯度上(如形式、內容、引文、語法、邏輯等) 。The goal of this article is : work over the language which is matched the common teaching process based on xml, do research on the logical structure of the courseware, analysis the time, layout element of it and the relationship between these elements. based on these research work, design and implement the authoring system which is based on xml, and then we can quickly generate and usher the xml courseware file
本文的研究目標是:研究符合教學過程的xml形式的課件語言,對課件的邏輯結構形式進行研究,同時分析課件包含元素的時間、空間、以及元素關系等因素,定義符合以上內容的xml文檔結構形式;在以上基礎之上,設計並實現基於xml的課件創作系統,能夠實現基於xml的課件文檔的快速生成和展示。As a result, the new positivism maintains a thorough reformation of the traditional philosophy through logical instruments and physical language
於是,這種新的實證主義主張用邏輯工具、物理語言對傳統哲學進行徹底改造。分享友人