כתב מושגים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
הצלת 1 מקורות והוספת 0 לארכיון.) #IABot (v2.0.1 |
מ עיצוב |
||
שורה 8: | שורה 8: | ||
'''כתב מושגים''' (ב[[גרמנית]]: '''Begriffsschrift''') הוא [[ספר]]ו הראשון של [[גוטלוב פרגה]], אבי ה[[לוגיקה]] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]]. |
'''כתב מושגים''' (ב[[גרמנית]]: '''Begriffsschrift''') הוא [[ספר]]ו הראשון של [[גוטלוב פרגה]], אבי ה[[לוגיקה]] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]]. |
||
[[קובץ:Begriffsschrift Titel.png|ממוזער |
[[קובץ:Begriffsschrift Titel.png|ממוזער|200px|כריכת הספר המקורית]] |
||
פרגה הציג מבנה לוגי של מגוון תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות. הספר מפתח [[שפה מסדר ראשון|תחשיב פרדיקאטים מסדר ראשון]], אשר נעשה בעקבותיו התחום המרכזי ב[[לוגיקה]], ומציג [[אקסיומה|אקסיומטיקה]] שלמה שלו. כמו כן כלל פרגה הרחבות ל[[לוגיקה מסדר שני]]. על בסיס זה הגדיר מושגים והוכיח משפטים שהיוו בסיס לעמדה הלוגיציסטית ב[[פילוסופיה של המתמטיקה]]. |
פרגה הציג מבנה לוגי של מגוון תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות. הספר מפתח [[שפה מסדר ראשון|תחשיב פרדיקאטים מסדר ראשון]], אשר נעשה בעקבותיו התחום המרכזי ב[[לוגיקה]], ומציג [[אקסיומה|אקסיומטיקה]] שלמה שלו. כמו כן כלל פרגה הרחבות ל[[לוגיקה מסדר שני]]. על בסיס זה הגדיר מושגים והוכיח משפטים שהיוו בסיס לעמדה הלוגיציסטית ב[[פילוסופיה של המתמטיקה]]. |
||
גרסה מ־11:20, 10 בנובמבר 2021
מימין - שער המהדורה המקורית וכריכת המהדורה העברית | |
מידע כללי | |
---|---|
מאת | גוטלוב פרגה |
שפת המקור | גרמנית |
סוגה | פילוסופיה |
הוצאה | |
תאריך הוצאה | 1879 |
הוצאה בעברית | |
תרגום | גלעד ברעלי |
קישורים חיצוניים | |
הספרייה הלאומית | 002352505 |
כתב מושגים (בגרמנית: Begriffsschrift) הוא ספרו הראשון של גוטלוב פרגה, אבי הלוגיקה המודרנית, ואחד מעמודי התווך של הפילוסופיה האנליטית של המאה העשרים.
פרגה הציג מבנה לוגי של מגוון תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות. הספר מפתח תחשיב פרדיקאטים מסדר ראשון, אשר נעשה בעקבותיו התחום המרכזי בלוגיקה, ומציג אקסיומטיקה שלמה שלו. כמו כן כלל פרגה הרחבות ללוגיקה מסדר שני. על בסיס זה הגדיר מושגים והוכיח משפטים שהיוו בסיס לעמדה הלוגיציסטית בפילוסופיה של המתמטיקה.
בפרק הראשון מגדיר פרגה מושגי יסוד וסימונים שחלקם שונים מהסימונים הנהוגים כיום:
מושג | כתיב על פי פרגה | כתיב מודרני |
---|---|---|
היסק |
| |
שלילה |
| |
גרירה |
| |
כמת כולל | ||
כמת ישי | ||
זהות |
|
לקריאה נוספת
- גוטלוב פרגה, כתב מושגים, תרגם גלעד ברעלי, הוצאת שלם: ירושלים, 2004.