(2) Describe the three categories of conceptual metaphors. (3) Illustrate the model of blending theory. 第三章语言、文化、社会 计划学时:8学时 基本要求: (1)掌握文化、跨文化交际、话语群体、语言变体、语域、方言、洋泾浜语、克里奥语、通用语的含义。 (2)了解语言与文化,语言与社会,语言与跨文化交际...
摘要: Based on data from a series of teaching experiments on standard tools of mathematical logic, this paper characterizes a range of student meanings for mathematical properties and logical connectives. S关键词: Mathematical logic Guided reinvention Disjunctions Quantification Mathematical properties ...
Approximating Cartesian Closed Categories in NF-Style Set Theories Journal of Philosophical Logic26 January 2017 Probabilistic Opinion Pooling with Imprecise Probabilities Journal of Philosophical Logic21 January 2017 Axiomatic Theories of Partial Ground I ...
In recent years, several authors have been investigating simplicial models, a model of epistemic logic based on higher dimensional structures called simpli
A logical fallacy is any sort of mistake in reasoning or inference, or, essentially, anything that causes an argument to go wrong. There are two main categories of fallacy, Fallacies of Ambiguity and Contextual Fallacies:Fallacies of Ambiguity: a term is ambiguous if it has more than one ...
International Journal of Research in Undergraduate Mathematics EducationDawkins, P.C. (2017). On the Importance of Set-based Meanings for Categories and Connectives in Mathematical Logic. International Journal for Research in Undergraduate Mathematics Education, 1-27. DOI 10.1007/s40753-017-0055-4....
one of the principal categories of syntax, contrasted to the word and word group in form, meaning, and function. In a broad sense the sentence is any utterance in a written text from period to period, from an expanded syntactic construction to an individual word or word form, that communica...
Back in 2011, in an influential blog post [1], Robert Harper coined the term "computational trinitarianism" to describe an idea that had been around a long time — that the connection between programming languages, logic, and categories, most famously expressed in the Curry-Howard-Lambek corres...
and that would be capable of expressing thoughts precisely and unambiguously. Such a language could serve as an auxiliary international language and as a tool for discovering new truths from known truths. By analyzing the categories of Aristotle, Leibniz arrived at the idea of isolating the simplest...
Back in 2011, in an influential blog post [1], Robert Harper coined the term "computational trinitarianism" to describe an idea that had been around a long time — that the connection between programming languages, logic, and categories, most famously expressed in the Curry-Howard-Lambek corres...