The author, Fumio Nakajima (1904–1999), was a linguist who became the first faculty member specializing in English linguistics at the University of Tokyo's Department of English. Having studied under ...

Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...

Negation as a universal feature of human language is used effortlessly in everyday communication. However, experimental research has shown that the comprehension of negated sentences seems to require ...

Quantification is one of the central topics in language and computation, and the interplay of collectivity, distributivity, cumulativity, and plurality is at the heart of the semantics of ...

Aristotle's logic provides the foundation for the dialectical theory of change. The term contradiction is one we will return to in explaining dialectics, and also organisational science and systems ...

Intuitionistic logic, i.e. logic without the principle of excluded middle (P ∨ ¬ P P \vee \neg P), is important for many reasons. One is that it arises naturally as the internal logic of toposes and ...

Most recently, the Applied Category Theory Seminar took a step into linguistics by discussing the 2010 paper Mathematical Foundations for a Compositional Distributional Model of Meaning, by Bob Coecke ...