作品 · 分析哲学
句法连接性
为每个表达式指定一个范畴,并通过计算表明一个句子是否合式——范畴语法的基础。
简介
The paper appeared in 1935 in the first volume of “Studia Philosophica” (Lwów). Taking up Husserl’s categories of meaning and Leśniewski’s semantic categories, Ajdukiewicz assigns each expression either a basic category – sentence or name – or a functor category written as a fraction, such as s/n for a predicate that turns a name into a sentence. A simple calculation that cancels categories like fractions then shows whether a string of expressions forms a syntactically connected whole. In the 1950s Yehoshua Bar-Hillel adapted the notation for natural language and Joachim Lambek gave it a calculus; categorial grammar became one of the foundations of formal semantics, including Richard Montague’s.
卡齐米日·艾杜凯维奇 的更多作品
- 1934语言与意义
截至 2026年11月 · 改进本页 · Agora 是如何制作的