Symbolin maadoittamisen ongelma
Symbolin maadoittamisen ongelma tarkoittaa alkujaan sitä, kuinka sanat (symbolit) saavat merkityksensä ja mikä tarkoitus kullakin symbolilla todellisuudessa on.
Merkityksen tunnistamisen ongelma liittyy tietoisuuden ongelmaan ja siihen mitkä mentaaliset tilat ovat tarkoituksellisia. Erään kognitiotieteen käsitteen eli komputationalismin mukaan ajattelu on tietty laskennan (komputaatio) muoto, missä komputaatio on ainoastaan symbolien käsittelyä siten, että symboleita käsitellään tiettyjen sääntöjen mukaan niiden muotoja, ei niinkään niiden tarkoituksia käyttäen.
Formaaleilla kielillä ja järjestelmillä symbolin maadoittamisen ongelmaa ei ole, koska on varmistettu, että kaikille rakenteille ja viittauksille (symboli) on yksiselitteiset käsitteet. Joissakin ohjelmointikielissä on kuitenkin joitakin poikkeuksia, jotka hankaloittavat symbolin tunnistamista (esim. C++-kielessä on muutamia useammallakin tavalla tulkittavia rakenteita).