مقداد: استاد من اینو واقعا متوجه نمیشم این ریاضیات قصدی یعنی همون چیزی که داره پدیدارشناسی نقد میکنه رو دوباره بازتولید کرده یعنی تناقض درونی نداره؟ پاسخ: ببین ریاضیات قصدی صحبت از تقلیل قوانین آگاهی به قوانین ریاضی طبیعی سازی شده مکانیک گالیله ای نیوتونی نیست. صحبت از ترجمانه. بحث دیگه ایه. الگوهایی از ریاضیات اخیر وجود دارند که معنایی اند اما نه حال ضرورتا قصدی به معنای هوسرلی مثلا Constructive Type Theory” (Martin-Löf) یا “Homotopy Type Theory". اینها می تونن سرنخی باشند به سوی ریاضیات قصدی.