{"id":377,"date":"2016-08-27T03:51:18","date_gmt":"2016-08-27T03:51:18","guid":{"rendered":"http:\/\/muthu.co\/?p=377"},"modified":"2021-01-02T14:05:48","modified_gmt":"2021-01-02T14:05:48","slug":"language-is-a-representation-of-thought","status":"publish","type":"post","link":"http:\/\/write.muthu.co\/language-is-a-representation-of-thought\/","title":{"rendered":"Language is a representation of Thought"},"content":{"rendered":"
Mathematics is the language of God and so is the language of our mind. A man may speak many languages but there is only one way of storing everything he speaks.<\/p>\n
Below is probably how information from the external world coming inside is stored.<\/p>\n
<\/a><\/p>\n <\/p>\n As proposed by Noam Chomsky<\/a> in Universal Grammar<\/em>, the L.A.D, Language Acquisition Device is\u00a0a default installation we are born with. A child at a very young age can easily speak properly structured sentences using the rules inside the LAD.<\/p>\n <\/a><\/p>\n Most of predicate logic, first order and higher order logic representations solve an extremely small part of the problem but are definitely a good start. Consider the below statement for example.<\/p>\n Sentence 1: All purple mushrooms are poisonous What we understand from the above represented logic is that If\u00a0<\/em>a mushroom is not purple then the mushroom\u00a0is not Poisonous. Various inferences for the same statement can be.<\/p>\n Sentence 2:\u00a0Everest is the highest mountain on Earth. Most of this logic assumes the availability of functions like Mushroom, Purple, Higher, On etc. A computer program capable of being able to automatically create these functions must know how to derive those functions but based on what and how many of them?<\/p>\n Inference:\u00a0<\/strong>I ll need to run more experiments with longer sentences and try to find a way to build these functions.\u00a0A man with little knowledge of a\u00a0language can express ideas in that language to another human being without the use of proper grammar. Building a computer program capable of forming grammatically correct\u00a0sentences is an easy problem to solve and can be done with a readily available \u00a0Text\u00a0Corpus<\/a>\u00a0but a program capable of storing thoughts in a mathematically solvable\u00a0format is the hard part. Thoughts are mathematical models. <\/p>\n","protected":false},"excerpt":{"rendered":" Mathematics is the language of God and so is the language of our mind. A man may speak many languages but there is only one way of storing everything he speaks. Below is probably how information from the external world coming inside is stored. As proposed by Noam Chomsky in Universal Grammar, the L.A.D, […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[24,19],"tags":[50,46],"_links":{"self":[{"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/posts\/377"}],"collection":[{"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/comments?post=377"}],"version-history":[{"count":1,"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/posts\/377\/revisions"}],"predecessor-version":[{"id":1633,"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/posts\/377\/revisions\/1633"}],"wp:attachment":[{"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/media?parent=377"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/categories?post=377"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/write.muthu.co\/wp-json\/wp\/v2\/tags?post=377"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n<\/em>Logic Representation:
\n\u2200<\/code>
x<\/code><\/em>
[(Mushroom(<\/code>
x<\/code><\/em>
) \u2227 Purple(<\/code>
x<\/code><\/em>
)) \u2192 Poisonous(<\/code>
x<\/code><\/em>
)]<\/code><\/p>\n
<\/pre>\n
\u2200<\/code>
x<\/code><\/em>
[(Mushroom(<\/code>
x<\/code><\/em>
) \u2227 \u00ac<\/code>
Purple(<\/code>
x<\/code><\/em>
)) \u2192 \u00ac<\/code>
Poisonous(<\/code>
x<\/code><\/em>
)]
\nMushroom but not purple --> Not Poisonous
\n<\/code>\u2200<\/code>
x<\/code><\/em>
[(\u00ac<\/code>
Mushroom(<\/code>
x<\/code><\/em>
) \u2227<\/code>
Purple(<\/code>
x<\/code><\/em>
)) \u2192 \u00ac<\/code>
Poisonous(<\/code>
x<\/code><\/em>
)]
\n<\/code>Not a mushroom but purple --> Not Poisonous<\/code><\/p>\n
\nLogical Representation:
\nMountain(everest) \u2227 \u00ac\u2203x[Mountain(x) \u2227 Higher(x, everest) \u2227 On(x, earth)]
\n<\/code><\/p>\n