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

גוטלוב פרגה

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

עולם שלישי

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

ברטראנד ראסל

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

אטומיזם לוגי

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

תורת הידיעה של ראסל

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

ג'י.אי. מור

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

אתיקה ומטא-אתיקה

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