Title: Language as symbolic logic