0
$\begingroup$

The formal language of maths use the first order logic to deduce a theorem from a hypothesis. But, in the natural language, the subyacent logic can´t be first order logic. In natural languages all mathematicals are right with the existence of a standard model for arithmetic. The term "standard" can´t be translated to logic of first orden, and it implies, for example, we have infinite true phormulas for the natural numbers that can´t be deduced from Peano Axioms and any axioms in first order logic. What is the subyacent logic for natural languages?

$\endgroup$
0
$\begingroup$

You can see releted papaers in :

You can see Categorial grammar and Typelogical Grammar with bibliography.

See e.g. :

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.