Кіріспе

Ақыл кеңістігі – шындық шартты семантикадағы мүмкін әлемдерге ұқсас, Жилль Фаукониер ұсынған теориялық құрылым. Ақыл кеңістігі мен мүмкін әлем арасындағы негізгі айырмашылық – ақыл кеңістігі шындықтың нақты бейнесін емес, идеалданған танымдық модельді қамтиды. Ақыл кеңістіктерін жасау және олардың арасында байланыстар орнату – мағынаны құру процесінің екі маңызды бөлігі. Бұл Гиль Фаукониер мен Марк Тернердің когнитивтік семантика аясындағы біріктіру теориясының негізгі элементтерінің бірі.

Негізгі кеңістік пен салынған кеңістік

Базалық кеңістік, сонымен қатар шындық кеңістігі деп те аталады, әңгімелесушілердің нақты әлем туралы ортақ білімін көрсетеді. Кеңістік құрастырушылар – сөйлемдегі элементтер, олар базалық кеңістік құрылғаннан кейін, одан бөлек, бірақ байланысты кеңістіктерді орнатуға мүмкіндік береді. Кеңістік құраушыларға сөз тіркестері, есімдер, одандастар және бастауыш-жалғау тіркестері жатады, олардан кейін енгізілген сөйлем келеді. Олар тыңдаушылардан қазіргі уақыттан тыс жағдайларды елестетуді талап етеді. Құрылған кеңістік тек сол кеңістік үшін ғана шындыққа сай келетін жағдайды бейнелейді, бірақ шындықта дұрыс болуы немесе болмауы мүмкін. Базалық және құрылған кеңістіктер бір-біріне сәйкес келетін элементтермен толтырылған. Бұл элементтерге осы санаттағы нақты нысандарға сілтеме жасай алатын санаттар кіреді. Fauconnier-дің қолжетімділік принципіне сәйкес, бір кеңістіктегі санаттың нақты нысандары басқа кеңістіктегі оның балама санатымен сипатталуы мүмкін, тіпті егер ол нысан басқа кеңістіктегі нақты нысаннан өзгеше болса да. "Мэри кітап сатып алғысы келеді" мысалы құрылған кеңістіктің мысалы болып табылады. Бұл жағдайда, құрылған кеңістік шындық емес, Мэридің тілегінің кеңістігі. Шындықтағы кітап кез келген кітапты білдірсе де, оны Мэридің тілегінің кеңістігіндегі кітапты сипаттау үшін пайдалануға болады, ол нақты кітап болуы немесе болмауы мүмкін.

Негізгі және кеңейту алаңдары

if A, B сөйлемдері негізгі кеңістікке қосымша тағы екі кеңістік – негіз кеңістігі мен кеңейту кеңістігін құрайды. Негіз кеңістігі – бұл кеңістік құраушы "егер" арқылы негізгі кеңістікке қатысты құрылатын гипотетикалық кеңістік. Ал кеңейту кеңістігін "содан кейін" кеңістік құраушы орнатады. Егер негіз кеңістігіндегі шарттар орындалса, кеңейту кеңістігі одан кейін іске қосылады.