כתב מושגים

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
כתב מושגים
Begriffsschrift Titel.pngכתב מושגים.jpg
מימין - שער המהדורה המקורית וכריכת המהדורה העברית
מחבר גוטלוב פרגה
שם בשפת המקור Begriffsschrift
שפת המקור גרמנית
שנת הוצאה 1879
סוגה פילוסופיה
תרגום לעברית גלעד ברעלי

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

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

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

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