εσωτερική λογική των γλωσσών και τυπική λογική