כתב מושגים

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
כתב מושגים
Begriffsschrift
כתב מושגים.jpg
מימין - שער המהדורה המקורית וכריכת המהדורה העברית
מידע כללי
מאת גוטלוב פרגה עריכת הנתון בוויקינתונים
שפת המקור גרמנית עריכת הנתון בוויקינתונים
סוגה פילוסופיה
הוצאה
שנת הוצאה 1879 עריכת הנתון בוויקינתונים
הוצאה בעברית
תרגום גלעד ברעלי
קישורים חיצוניים
הספרייה הלאומית 002352505
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

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

כריכת הספר המקורית

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

בפרק הראשון מגדיר פרגה מושגי יסוד וסימונים שחלקם שונים מהסימונים הנהוגים כיום:

מושג כתיב על פי פרגה כתיב מודרני
היסק

שלילה Begriffsschrift connective1.svg

גרירה Begriffsschrift connective2.svg

כמת כולל BS-12-Begriffsschrift Quantifier1-svg.svg
כמת ישי BS-14-Begriffsschrift Quantifier3-svg.svg
זהות


לקריאה נוספת[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]