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

לוגיקה סימבולית, לוגיקה עמומה, לוגיקה עסקית, לוגיקה פורמלית, לוגיקה פרטית, לוגיקה של אריסטו, לוגיקה תלמודית, לוגיקה תלת ערכית, לוגיקה תלת⁻ערכית, לוגיקן