יז'י סłופצקי: האיש האחרון של האסכולה הוורשאית
בהלוויה בוורוצלב בינואר 1987, הבינו האבלים כי הם חוזים במשהו גדול יותר ממוות אחד. כפי שציינו משקיפים, הם היו עדים למעשה לסופה של האסכולה הוורשאית ללוגיקה. סłופצקי היה החוליה החיה האחרונה לעשרים השנים המוזהבות שבין שתי מלחמות העולם — התקופה שבה קבוצה של פולנים הפכה את ארצם, לזמן קצר ובאופן בלתי סביר, לבירת הלוגיקה העולמית.
נולד על מסילת הברזל המזרח-סינית
סłופצקי נולד ב-29 באוגוסט 1904 בחרבין, מנצ'וריה. אביו סטניסלב (Stanisław) היה קצין צבא ומהנדס שעבד על בניית מסילת הברזל המזרח-סינית; שני ההורים היו פולנים שנולדו בתקופת החלוקות, אזרחים של מדינה שלא הייתה קיימת באותו רגע על אף מפה.
ילדותו הייתה מסע בין אימפריות מתמוטטות. הוא גדל בעיר הרכבת רבת-הלשונות חרבין, למד בבית ספר תיכון בטיומן, וחזר לחרבין ב-1918 כאשר המהפכה הרוסית הביאה לסגירת בית ספרו. המשפחה הגיעה לפולין — שהוקמה מחדש — רק ב-1921, לאחר מסע קשה. הוא סיים את לימודיו בבית הספר התיכון הממלכתי מס' 6 על שם תדיאוש רייטן בוורשה ב-1926.
אביו עלה לדרגת תת-אלוף בצבא הפולני, פרש ב-1923 ומת ב-1929. מוות זה עלה ליז'י בביטחונו. הוא החל ללמוד ארכיטקטורה באוניברסיטה הטכנולוגית של ורשה, עזב אותה לאחר זיהום ריאות, עבר ללימודי מתמטיקה באוניברסיטת ורשה, ולאחר מכן נאלץ לעבוד במגוון עבודות עד 1932 רק כדי להישאר רשום ללימודים.
חדרי הסמינר של ורשה
מה שקנה לעצמו בשנות הסבל הללו הייתה גישה לאחד הריכוזים הגדולים ביותר של כישרון מתמטי במאה העשרים. מוריו כללו את יאן לוקאשביץ' (Jan Łukasiewicz), אלפרד טרסקי (Alfred Tarski), סטניסלב לשנייבסקי (Stanisław Leśniewski), קז'ימייז' קורטובסקי (Kazimierz Kuratowski), ואצלב סיירפינסקי (Wacław Sierpiński), סטפן מזורקביץ' (Stefan Mazurkiewicz) ואדולף לינדנבאום (Adolf Lindenbaum).
החיים האינטלקטואליים התנהלו בחלקם על קפאין. סłופצקי ובני דורו — בהם אנדז'יי מוסטובסקי (Andrzej Mostowski), שהפך לחבר קרוב — נפגשו בקביעות בבית הקפה לורס (Lourse) בוורשה. שם, כפי שמעידים הרישומים, הם התנגדו בתוקף לצעדים האנטישמיים שהלכו והחריפו נגד חבריהם לספסל הלימודים היהודים. לינדנבאום, אחד ממוריו, נרצח על ידי הנאצים.
סłופצקי קיבל את התואר השני שלו ב-1935, עם תזה שזכתה להכרה מיוחדת מצד מועצת המחלקה. הדוקטורט שלו הגיע ב-1938 בהנחיית לוקאשביץ', בבחינתו של סיירפינסקי, עם דיסרטציה על האקסיומטיזציה של מערכות מלאות של תחשיב פסוקים רב-ערכי.
הבעיה שפתר
כדי להבין מדוע הדיסרטציה הזו הייתה חשובה, יש להתחיל בלוקאשביץ'. בשנות ה-20 של המאה ה-20 בנה לוקאשביץ' מערכות לוגיות עם שלושה ערכי אמת או יותר, ובכך שבר את המונופול בן אלפיים השנים של 'אמת' ו'שקר'. אך חולשה מציקה ריחפה מעליהן: האם הן היו שלמות פונקציונלית? האם ניתן היה לבטא כל פונקציית אמת אפשרית של שלושה ערכים באמצעות הקשרים שלוקאשביץ' סיפק?
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הם לא יכלו. סłופצקי הראה כיצד לתקן זאת — ויצר גרסה שלמה פונקציונלית של לוגיקה תלת-ערכית, והדגים כיצד המערכות רב-ערכיות של לוקאשביץ' השתלבו בתוך התאוריה הכללית של אמיל פוסט (Emil Post) על מערכות כאלה. האופרטור שהציג למטרה זו, וקריטריון השלמות שנלווה אליו, נושאים את שמו בספרות הטכנית.
זהו סוג של הישג אלגנטי ואכזרי במקצת. הוא לא הפיל את התוכנית של המנחה שלו; הוא מצא את הפער המדויק בה וסגר אותו, דבר שהוא קשה ופחות מהולל מאשר שבח או הריסה.
הכיבוש
הדוקטורט הוענק ב-1938. בתוך שנה פולין נכבשה וההשכלה הגבוהה הפולנית הוצאה אל מחוץ לחוק.
סłופצקי לימד בכל זאת, בבתי ספר מחתרתיים — כולל הגימנסיה המחתרתית של הלנה ז'שוטרסקה (Helena Rzeszotarska) — תוך סיכון ישיר לחייו. הוא גם לקח חלק בוועדת קונרד ז'גוטה (Konrad Żegota), ארגון ההתנגדות הפולני שהוקדש לעזרה ליהודים לשרוד את הכיבוש. הוא אמר לאחר מכן ששנות המחתרת הללו היו דבר חשוב מאוד, אולי אפילו הדבר החשוב ביותר בחייו. זהו שיפוט יוצא דופן מאדם שפתר גם בעיה פתוחה ביסודות הלוגיקה.
ב-1944 גייסו אותו הגרמנים כפועל כפייה. בשל בריאותו הלקויה הוא נשלח בחזרה לוורשה.
בנייה מחדש, פעמיים
הוא הפך לפרופסור חבר באוניברסיטת לובלין ב-1945, ולאחר מכן עבר לוורוצלב — עיר שזה עתה החליפה מדינות — כפרופסור מן המניין ללוגיקה ומתודולוגיה של המדע, והפך לפרופסור מן המניין ב-1962. הוא היה דיקן הפקולטה למתמטיקה, פיזיקה וכימיה בין השנים 1953-1955 ועמד בראש המחלקה ללוגיקה ומתודולוגיה.
ואז הוא עשה זאת פעם שנייה. בבית הספר הפדגוגי הגבוה באופולה הוא עמד בראש הקתדרה ליסודות המתמטיקה במשך כמעט שני עשורים וכיהן כרקטור בין השנים 1962-1966. הוא נחשב שם לאב הרוחני ולמייסד המתמטיקה והלוגיקה במה שהוא כיום אוניברסיטת אופולה. הוא פרש לגמלאות ב-1974.
מחקריו התפרסו על פני חמישה תחומים: תחשיבי פסוקים רב-ערכיים; תורת המערכות הדדוקטיביות והמטאלוגיקה של לוגיקה קלאסית ולא-קלאסית; היסטוריה של הלוגיקה, במיוחד שחזורים מודרניים של הסילוגיסטיקה של אריסטו, שם מצא כלל הכרעה למשפטים קטגוריים; מערכות לשנייבסקי, כולל פרוטו-תאוריה, אותן המשיך בכתב העת Studia Logica ב-1953; ודידקטיקה של לוגיקה ומתמטיקה. הוא ערך את Studia Logica החל מ-1963, ועם לודוויק בורקובסקי (Ludwik Borkowski), כתב את יסודות הלוגיקה המתמטית ותורת הקבוצות (1967).
מדוע יז'י מכונה גאון
הליבה שניתן להגן עליה היא סוג מסוים של דיוק אבחנתי. הכישרון של סłופצקי היה באיתור החולשה המבנית המדויקת במערכת פורמלית ותיקונה — לא בניית קתדרלות, אלא מציאת האבן הסדוקה האחת שתפיל אחת כזו. הפיכת הלוגיקה התלת-ערכית של לוקאשביץ' לשלמה פונקציונלית, ומיקום המשפחה כולה בתוך התאוריה של פוסט, דרשו ראיית מערכת מבחוץ בעוד מוריו עדיין עבדו בתוכה. כלל ההכרעה שלו לסילוגיסטיקה אריסטוטלית מראה את אותה אינסטינקט המיושם על טקסט שכולם הניחו שמוצה מאז המאה השלוש-עשרה.
טיעון הנגד הכן הוא שסłופצקי לא היה המוח היוצר של האסכולה שלו. לוקאשביץ' המציא את הלוגיקה רבת-הערכים; לשנייבסקי בנה את המערכות שסłופצקי הרחיב; עבודתו של טרסקי על אמת עיצבה מחדש את הפילוסופיה ברחבי העולם. תרומותיו של סłופצקי הן מדויקות, קבועות ומשניות — מהסוג שמצוטט בהערות שוליים לפרקים של אחרים. שום מקור נגיש לא מתעד מישהו שקרא לו גאון, וסקירת עבודתו שפורסמה לאחר מותו נקראת, בפיכחון, העבודות הלוגיות של יז'י סłופצקי.
יש גם טיעון שהישגו הגדול ביותר לא היה קוגניטיבי כלל. הוא שמר על מסורת חיה לאורך כיבוש שנועד להשמיד אותה, לימד באופן בלתי חוקי כאשר גילוי משמעו מוות, ולאחר מכן בנה שתי פקולטות למתמטיקה מתוך הריסות, תוך חינוך עשרות בעלי תואר שני, דוקטורים ופרופסורים עוזרים. זה לא גאונות. זה עשוי להיות שווה יותר.
מורשת
סłופצקי מת בוורוצלב ב-15 בינואר 1987. יאן וולנסקי (Jan Woleński) ויאן זיגמונט (Jan Zygmunt) פרסמו את סקירת עבודתו הלוגית ב-Studia Logica שנתיים לאחר מכן.
הוא היה הגשר — האיש שנשא את האסכולה הוורשאית שלפני המלחמה מעבר לקטסטרופה והעביר אותה לדור שלא נולד כאשר לוקאשביץ' כתב לראשונה ערך אמת שלישי. תוצאת השלמות הפונקציונלית נמצאת בספרי הלימוד. הסטודנטים נמצאים במחלקות. שניהם היו אותה עבודה.