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