כתב מושגים – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ הגהה. הספר ראוי לערך מפורט יותר...
שורה 15:
}}
 
'''כתב מושגים''' (ב[[גרמנית]] Begriffsschrift) הוא [[ספר]]ו הראשון של [[גוטלוב פרגה]], אבי ה[[לוגיקה]] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]].
 
מתוך תפיסה מקורית ומעמיקה של "שפה לוגית" ו"מבנה לוגי" מציגהציג פרגה באורח שיטתי את המבנה הלוגי של מגוון עצום של תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות ברמה שלא נודעה לפניו. הספר מפתח את השפה של [[שפה מסדר ראשון|תחשיב הפרדיקאטים מסדר ראשון]], אשר נעשה בעקבותיו התחום המרכזי ב[[לוגיקה]], ומציג אקסיומטיקה שלמה שלו. כמו כן הואכלל כוללפרגה הרחבות ללוגיקה מסדר שני. על יסוד זה הוא מגדיר מושגים ומוכיח משפטים שהם גם הבסיס לעמדה ה"לוגיציסטית" ב[[פילוסופיה של המתמטיקה]], שפרגה עצמו (ואחרים) פיתחו מאוחר יותר – עמדה המנסה לבסס את ה[[מתמטיקה]], ובמיוחד את ה[[אריתמטיקה]], כענף של ה[[לוגיקה]]. חידושים גדולים אלו ב[[לוגיקה]] עוליםנובעים מתוך תפיסה פילוסופית מקורית ומעמיקה באשר לטיבה של ה[[לוגיקה]] ולמעמדה כיסוד המחשבה והידע.
 
==לקריאה נוספת==