כתב מושגים
מתוך ויקיפדיה, האנציקלופדיה החופשית
פעולות נוספות
| מימין - שער המהדורה המקורית וכריכת המהדורה העברית | |
| מימין - שער המהדורה המקורית וכריכת המהדורה העברית | |
| מידע כללי | |
|---|---|
| סוגה | פילוסופיה |
| הוצאה בעברית | |
| תרגום | גלעד ברעלי |
| קישורים חיצוניים | |
| מסת"ב | {{#property:P212}} |
| הספרייה הלאומית | {{#property:P3959}} |
כתב מושגים (בגרמנית: Begriffsschrift) הוא ספרו הראשון של גוטלוב פרגה, אבי הלוגיקה המודרנית, ואחד מעמודי התווך של הפילוסופיה האנליטית של המאה העשרים.
פרגה הציג מבנה לוגי של מגוון תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות. הספר מפתח תחשיב פרדיקאטים מסדר ראשון, אשר נעשה בעקבותיו התחום המרכזי בלוגיקה, ומציג אקסיומטיקה שלמה שלו. כמו כן כלל פרגה הרחבות ללוגיקה מסדר שני. על בסיס זה הגדיר מושגים והוכיח משפטים שהיוו בסיס לעמדה הלוגיציסטית בפילוסופיה של המתמטיקה.
בפרק הראשון מגדיר פרגה מושגי יסוד וסימונים שחלקם שונים מהסימונים הנהוגים כיום:
| מושג | כתיב על פי פרגה | כתיב מודרני |
|---|---|---|
| היסק | <math>\vdash A,\Vdash A</math> | <math>p(A)=1,</math>
<math>p(A)=i</math> <math>\vdash A, \Vdash A</math> |
| שלילה | קובץ:Begriffsschrift connective1.svg | <math>\neg A</math> <math>{\sim} A</math> |
| גרירה | קובץ:Begriffsschrift connective2.svg | <math>B\rightarrow A</math>
<math>B\supset A</math> |
| כמת כולל | קובץ:BS-12-Begriffsschrift Quantifier1-svg.svg | <math>\forall x\, F(x)</math> |
| כמת ישי | קובץ:BS-14-Begriffsschrift Quantifier3-svg.svg | <math>\exists x\, F(x)</math> |
| זהות | <math>A\equiv B</math> | <math>A \leftrightarrow B</math> <math>A \equiv B</math> |
לקריאה נוספת עריכה
- גוטלוב פרגה, כתב מושגים, תרגם גלעד ברעלי, הוצאת שלם: ירושלים, 2004.
