A Set-Theoretic Predicate for Semantics in Natural and Formal Languages

Publication Year:
Usage 386
Downloads 386
Social Media 29
Shares, Likes & Comments 27
Tweets 2
Repository URL:
Sant'Anna, Adonai; Bueno, Otavio; da Costa, Newton
preprint description
We present an axiomatic framework for semantics that can be applied to natural and formal languages. Our main goal is to suggest a very simple mathematical model that describes fundamental cognitive aspects of the human brain and that can still be applied to artificial intelligence. One of our main results is a theorem that allows us to infer syntactical properties of a language out of its corresponding semantics. The role of pragmatics in semantics in our mathematical framework is also discussed.