Abstract:
|
We illustrate the potential for geometry of language and linguistic circuitry under the rendering of the syntactic structures of Lambek categorial grammar as proof nets. This empirical application sees sentences as proof nets and words as partial proof nets, and well-formedness/meaningfulness as a global harmony of categorial syntactic connection. The global cohesion coincides with a dynamic connectivity remaniscent of circuits, but whereas circuits are just generalisations of formulas, our syntactic structures are much more sublime objects: proofs. |