תורת ההכרה

תורת ההכרה (אֶפִּיסְטֵמוֹלוֹגְיָה; מיוונית עתיקה אפיסטמה: ידע, לוגיה (λογία) פירושה "תורה") הוא ענף של הפילוסופיה המתרכז במהות וגבולות הידיעה. שאלות מרכזיות הן: מהי ידיעה, כיצד היא נרכשת ומהו היחס בין המציאות לידיעה.
נושא מרכזי הוא ניתוח היחסים שבין טבע הידיעה לבין המושגים אמת, האמנה והצדקה. נושא נוסף הוא השאלה האם בכלל ניתן לדעת משהו - כלומר, האם הספקנות היא נכונה ובאיזו מידה. בעברית נחשבות לעיתים הכרה וידיעה כמילים נרדפות ועל כן אפיסטמולוגיה נקראת גם תורת הידיעה. המושג אפיסטמולוגיה נטבע על ידי הפילוסוף הסקוטי ג'יימס פרדריק פרייר אשר פעל במאה ה-19. אולם העיסוק בה החל כבר אצל הפילוסופים קדם-סוקרטים.

ידיעה

הדיון העכשווי באפיסטמולוגיה עוסק בידיעה טענתית ("ידיעה ש"). ידיעה זו נבדלת מידיעה איך ומהיכרות ישירה. לדוגמה, במתמטיקה ידוע ש: 44 = 22 + 22, אבל גם ישנה ידיעה כיצד לחבר מספרים ולבצע פעולות חשבון. בנוסף, ישנה ידיעה של היכרות ישירה עם אנשים, צבעים וצלילים. ברטרנד ראסל הבחין לראשונה בספרו "בעיות הפילוסופיה" בין ידיעה על ידי תיאור (Knowledge by Description, סוג של "ידיעה ש") וידיעה בהיכרות ישירה (Knowledge by Acquaintance). גילברט רייל הדגיש את ההבדל בין "ידיעה ש" ו"ידיעה איך" בספרו "The Concept of Mind". לדוגמה, רכיבה על אופניים היא בחלקה "ידיעה איך". אולם הידיעה לגבי שיווי המשקל הפיזיקלי היא "ידיעה ש" ולא נובעת מהידיעה איך לרכב. אין קשר לוגי הכרחי בין סוגי הידיעות.

האמנה

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

אמת

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

אקסטרנליזם ואינטרנליזם

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

רכישת ידיעה

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

אנליטי וסינתטי

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

אמפיריציזם ורציונליזם

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

אידיאליזם

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

בעיית הקריטריון

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

מסדתנות

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

העמדה הקוהרנטיסטית

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

פרדוקס הספקנות

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