המאמר מציג את התפיסה הרווחת של דואליות הרואה את החינוך כמובחן מן ההוראה, ושלפיה המתמטיקה מצויה באופן מובהק בצד ההוראה, והוא מערער אותה בתארו את ההיבטים החינוכיים של הוראת המתמטיקה: טיפוח דרכי חשיבה, אהבת היופי והתמודדות עם השאלה מהו האדם (רון אהרוני).

מטרת מאמר זה היא לבחון את ההקבלה בין מבנה של טקסט טיעון לבין מבנה של תכנית לוגית הכתובה בפרולוג – שפה תכנות לוגית (תכנות בלוגיקה, PROgramming in LOGic). אם אכן קיימת הקבלה כזו, אזי אפשר לבחון את השפעת הלמידה של כלי היסק לוגיים (באמצעות פתרון בעיות בתכנות לוגי) על יכולתם של התלמידים להבין טקסט טיעון בשפה הטבעית, או להיפך (גילה שילה, נוע רגוניס).