העיקרון הפורמלי הידוע כנוסחת ברקן עלה מעבודתה המוקדמת של רות ברקן מרקוס, שהציגה את המערכות האקסיומטיות הראשונות של לוגיקה מודאלית כמותית. במסגרת הנוף של הפילוסופיה האנליטית של המאה ה-20, היא ביססה מושגי יסוד בלוגיקה מודאלית ופילוסופית, אשר ממשיכים לעצב את השיח האקדמי הנוכחי בנוגע לייחוס והכרחיות.
יסודות אקדמיים וקריירה
רות שרלוט ברקן (Ruth Charlotte Barcan) נולדה ברובע הברונקס בשנת 1921, והשלימה את לימודי התואר הראשון שלה באוניברסיטת ניו יורק בשנת 1941, שם התמקדה במתמטיקה ובפילוסופיה. היא המשיכה ללימודים מתקדמים באוניברסיטת ייל, שם קיבלה תואר שני ב-1942 ותואר דוקטור ב-1946. תקופת כהונתה המקצועית כללה משרות באוניברסיטת נורת'ווסטרן, אוניברסיטת רוזוולט בשיקגו, ואוניברסיטת אילינוי בשיקגו. בשנת 1973 הצטרפה לסגל אוניברסיטת ייל כפרופסור לפילוסופיה על שם רובן פוסט האלק, משרה שהחזיקה עד פרישתה ב-1992 כפרופסור אמריטה.
תרומות ללוגיקה מודאלית
מרקוס פיתחה את המערכות הראשוניות של לוגיקה מודאלית כמותית, תוך הרחבת מערכות היגדיות ללוגיקה מסדר ראשון ומסדר שני. פרסומיה בשנים 1946 ו-1947 בכתב העת 'Journal of Symbolic Logic', כולל המאמר 'A Functional Calculus of First Order Based on Strict Implication', הציגו את נוסחת ברקן וביססו את הכרחיות הזהות. היא גם הציגה את אופרטור התיבה הסטנדרטי המשמש לציון הכרחיות בתוך מערכות פורמליות אלו.
תיאוריות של ייחוס ואמונה
בפילוסופיה של הלשון, הציעה מרקוס תיאוריה של ייחוס ישיר, בטענה ששמות פרטיים מתפקדים כתגיות גרידא עבור עצמים, ולא כקבוצות של תיאורים. השקפה זו עמדה בניגוד לתיאוריות קיימות על שמות פרטיים שהיו נפוצות באותה עת. יתרה מכך, עבודתה על אמונה מציעה כי היא מהווה יחס בין סוכן לבין מצב עניינים, ובכך היא דוחה הסברים קוגניטיביים הממוקדים אך ורק בלשון לטובת סממנים התנהגותיים כגון הימורים.
הכרה מקצועית וחברות בארגונים
לאורך הקריירה שלה, מילאה מרקוס תפקידי הנהגה שונים, וכיהנה כיושבת ראש מועצת המנהלים של האגודה הפילוסופית האמריקאית בין השנים 1976 ל-1983. היא הייתה נשיאת האגודה ללוגיקה סימבולית והמכון הבינלאומי לפילוסופיה. היא החזיקה במלגת גוגנהיים בשנת 1953 והייתה חברה באקדמיה האמריקאית לאמנויות ולמדעים. בין פרסיה נמנים מדליית וילבור קרוס והרצאות קארוס בשנת 2000, פרס פיליפ ל. קווין בשנת 2007 ופרס לאונר בשנת 2008.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →עובדות בקצרה
- נולדה: 1921, הברונקס - נפטרה: 2012, ניו הייבן - השכלה: אוניברסיטת ייל; אוניברסיטת ניו יורק - עבודה בולטת: נוסחת ברקן - עבודה בולטת: הכרחיות הזהות - פרס: מלגת גוגנהיים (1953) - פרס: מדליית וילבור קרוס (2000) - תפקיד מקצועי: נשיאת האגודה ללוגיקה סימבולית
שאלות נפוצות של קוראים
### מהי נוסחת ברקן?
זהו עיקרון שהציגה מרקוס בעבודתה המוקדמת על לוגיקה מודאלית כמותית, שהופיע לראשונה בפרסומיה בשנת 1946.
### כיצד הגדירה מרקוס שמות פרטיים?
היא טענה ששמות פרטיים מתפקדים כ'תגיות' ישירות עבור עצמים, תוך דחיית התיאוריה לפיה הם מורכבים מתוכן תיאורי.
### היכן לימדה רות ברקן מרקוס?
היא החזיקה במשרות סגל באוניברסיטת נורת'ווסטרן, אוניברסיטת רוזוולט, אוניברסיטת אילינוי בשיקגו, ואוניברסיטת ייל.