I agree with your assessment of interestingness: semantics gives us the specification with which to design the syntax.
I wonder if there are combinatorialist/proof-theorist types who like to start with syntax, and look at the semantics later... or perhaps design semantics (plural) in order to fit an existing syntax.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
krja
(no subject)
Date: 2007-05-02 03:30 pm (UTC)I wonder if there are combinatorialist/proof-theorist types who like to start with syntax, and look at the semantics later... or perhaps design semantics (plural) in order to fit an existing syntax.