Кіріспе

Физикалық емес объектілерден, яғни идеялар немесе түсініктерден тұратын жүйе. Тұжырымдамалық жүйе – әртүрлі абстрактілі түсініктердің жүйесі. Абстрактілі түсініктер "саннан эмоцияға дейін, әлеуметтік рөлдерден психикалық күйлерге дейін" болуы мүмкін. Адамдарда тұжырымдамалық жүйе әлемнің метафорасы ретінде түсіндірілуі мүмкін. Сенім жүйесі сенімдерден құралады; Джонатан Гловер Медоустың (2008) еңбегіне сүйене отырып, бірде ұстанған сенімдердің, оны ұстанған адамдар үшін сенімді сенімге қайтару немесе ұстанудың өте қиын екенін айтады. Дэвид Премак пен Энн Джеймс Премак (1983) кейбір адам емес жандардың (мысалы, маймылдардың) адам емес тілді түсіне алатынын мәлімдейді. Тілді сипаттаудағы алғашқы әрекеттер б.з.д. VI ғасырындағы үнді грамматигі Паниниге жатқызылады, ол өз еңбегі «Аштадхьяйи»-де (деванагари: अष्टाध्यायी) санскрит тілінің формальды сипаттамасын жасаған. Бүгінде грамматика бойынша заманауи теориялар сол кездегі көптеген қағидаларды қолданады. Формальды ғылымдарда формальды жүйелер адам ойынан тәуелсіз, тілдер арқылы өтетін онтологиялық мәртебеге ие болуы мүмкін. Белгілі бір формальды тілдегі формальды логикалық жүйелер зерттеу нысаны болып табылады. Логикалық формалар осы формальды жүйелердегі объектілер бола алады. Абстрактілі қайта жазу жүйелері осы объектілермен жұмыс істей алады. Аксиомалық және логикалық жүйелер олардың қайта жазу әрекеттері үшін сәйкесінше аксиомалар мен логикалық ережелерге негізделеді. Дәлелдеуге көмектесетін бағдарламалар математикалық қауымдастықта қолдау табады. Машиналар мен жүйелердегі жасанды интеллект аппараттық құралдармен ғана шектелуі міндетті емес, бірақ оны қабылдаған және бейімделген мекемелерге салыстырмалы артықшылық бере алады. (Медоуз, 2008)

Термохалиндік айналым терең мұхиттардан мұхит бетіне қарай жүзеге асуы мүмкін. Бірақ сулар араласа алады; мұхиттың бетінен терең мұхитқа термохалиндік айналым әлемдік мұхиттың шектеулі бөліктерінде ғана мың жылдық циклмен жүреді.