כתב מושגים – הבדלי גרסאות
אין תקציר עריכה |
אין תקציר עריכה |
||
| שורה 2: | שורה 2: | ||
'''כתב מושגים''' הוא [[ספר]]ו הראשון של [[גוטלוב פרגה]], אבי ה[[לוגיקה]] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]]. |
'''כתב מושגים''' הוא [[ספר]]ו הראשון של [[גוטלוב פרגה]], אבי ה[[לוגיקה]] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]]. |
||
מתוך תפיסה מקורית ומעמיקה של "שפה לוגית" ו"מבנה לוגי" מציג פרגה באורח שיטתי את המבנה הלוגי של מגוון עצום של תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות ברמה שלא נודעה לפניו. הספר מפתח את השפה של תחשיב הפרדיקאטים מסדר ראשון, אשר נעשה בעקבותיו התחום המרכזי ב[[לוגיקה]], ומציג אקסיומטיקה שלמה שלו. כמו כן הוא כולל הרחבות ללוגיקה מסדר שני. על יסוד זה הוא מגדיר מושגים ומוכיח משפטים שהם גם הבסיס לעמדה ה"לוגיציסטית" בפילוסופיה של ה[[מתמטיקה]], שפרגה עצמו (ואחרים) פיתחו מאוחר יותר – עמדה המנסה לבסס את ה[[מתמטיקה]], ובמיוחד את ה[[אריתמטיקה]], כענף של ה[[לוגיקה]]. חידושים גדולים אלו |
מתוך תפיסה מקורית ומעמיקה של "שפה לוגית" ו"מבנה לוגי" מציג פרגה באורח שיטתי את המבנה הלוגי של מגוון עצום של תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות ברמה שלא נודעה לפניו. הספר מפתח את השפה של תחשיב הפרדיקאטים מסדר ראשון, אשר נעשה בעקבותיו התחום המרכזי ב[[לוגיקה]], ומציג אקסיומטיקה שלמה שלו. כמו כן הוא כולל הרחבות ללוגיקה מסדר שני. על יסוד זה הוא מגדיר מושגים ומוכיח משפטים שהם גם הבסיס לעמדה ה"לוגיציסטית" בפילוסופיה של ה[[מתמטיקה]], שפרגה עצמו (ואחרים) פיתחו מאוחר יותר – עמדה המנסה לבסס את ה[[מתמטיקה]], ובמיוחד את ה[[אריתמטיקה]], כענף של ה[[לוגיקה]]. חידושים גדולים אלו ב[[לוגיקה]] עולים מתוך תפיסה פילוסופית מקורית ומעמיקה באשר לטיבה של ה[[לוגיקה]] ולמעמדה כיסוד המחשבה והידע. |
||
==לקריאה נוספת== |
==לקריאה נוספת== |
||
גרסה מ־11:47, 4 בדצמבר 2008
כתב מושגים הוא ספרו הראשון של גוטלוב פרגה, אבי הלוגיקה המודרנית, ואחד מעמודי התווך של הפילוסופיה האנליטית של המאה העשרים.
מתוך תפיסה מקורית ומעמיקה של "שפה לוגית" ו"מבנה לוגי" מציג פרגה באורח שיטתי את המבנה הלוגי של מגוון עצום של תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות ברמה שלא נודעה לפניו. הספר מפתח את השפה של תחשיב הפרדיקאטים מסדר ראשון, אשר נעשה בעקבותיו התחום המרכזי בלוגיקה, ומציג אקסיומטיקה שלמה שלו. כמו כן הוא כולל הרחבות ללוגיקה מסדר שני. על יסוד זה הוא מגדיר מושגים ומוכיח משפטים שהם גם הבסיס לעמדה ה"לוגיציסטית" בפילוסופיה של המתמטיקה, שפרגה עצמו (ואחרים) פיתחו מאוחר יותר – עמדה המנסה לבסס את המתמטיקה, ובמיוחד את האריתמטיקה, כענף של הלוגיקה. חידושים גדולים אלו בלוגיקה עולים מתוך תפיסה פילוסופית מקורית ומעמיקה באשר לטיבה של הלוגיקה ולמעמדה כיסוד המחשבה והידע.
לקריאה נוספת
- גוטלוב פרגה, כתב מושגים, תרגם גלעד ברעלי (הוצאת שלם: ירושלים, 2008)