精拙同叙斋语义学论 | 数量结构语义分析

[[三]]=3:e
[[个]]= λnλX[|X|=n & ∀x[x∈X→个体(x)]]:<e,<e,t>>

[[三个]]=λX[|X|=3∧∀x[x∈X→个体(x)]]:<e,t>

[[学生]]=λX[学生(X)]：<e,t>

[[三个学生]]= λX[学生(X) & |X|=3 & ∀x[x∈X→个体(x)]]:<e,t>

方案二：

[[个]]= λk λx. π₁(x)∈(^∪k∩k) ∧个体(π₁(x))∧π₂(x)=k   

[[学生]]= ^∩学生      

[[个 学生]]= λx. π₁(x)∈((^∪∩学生∩k)∧个体(π₁(x)))∧π₂(x)=k    

[[Num]]= λPλx.P(x)∧|π₁(x)|_k      

[[三]](N_k)= λPλx.P(x)∧|π₁(x)|_k=3