.png){kind=icon}
返回
A Vector Logic for Extensional Formal Semantics
.png){kind=icon}
OA
AI
DOI：10.1007/s10849-025-09443-x.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
This paper proves a homomorphism between extensional formal semantics and distributional vector space semantics, demonstrating structural compatibility. Formal semantics models meaning as reference, using logical structures to map linguistic expressions to truth conditions, while distributional semantics represents meaning through word vectors derived from contextual usage. By constructing injective mappings that preserve semantic relationships, we show that every semantic function in an extensional model corresponds to a compatible vector space operation. This result respects compositionality and extends to function compositions, constant interpretations, and n-ary relations. Rather than pursuing unification, we highlight a mathematical foundation for hybrid cognitive models that integrate symbolic and sub-symbolic reasoning and semantics. These findings support multimodal language processing, aligning 'meaning as reference' (Frege, Tarski) with 'meaning as use' (Wittgenstein, Firth).
Keyword:
Formal semantics
Distributional semantics
Extensional model
Semantic space
Vector logic
Mathematical linguistics
F.3.2
F.4.1
期刊
J
IF:
0.6
论文数:
30
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏分享收藏
查看更多内容