[FOM] What Is a Syntactic Property?

Timothy Y. Chow tchow at math.princeton.edu
Fri Mar 20 13:15:33 EDT 2020


Riki Heck wrote:

> Anyone know of any good papers that try to answer that question? The 
> underlying question, really, is a contrastive one: as opposed to a 
> semantic property.

This is at most a very partial answer to your question, but in 
computational complexity theory there is distinction between syntactic 
complexity classes and semantic complexity classes.  There's a useful 
discussion of this topic at the CS Theory StackExchange website:

https://cstheory.stackexchange.com/q/1233

For complexity classes with a leaf language characterization, there is a 
formal way to define syntactic versus semantic.  However, while most 
complexity classes have a leaf language characterization, not all of them 
do.

Tim


More information about the FOM mailing list