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

כתב מושגים
Begriffsschrift
	מימין - שער המהדורה המקורית וכריכת המהדורה העברית
מידע כללי
מאת	גוטלוב פרגה
שפת המקור	גרמנית
סוגה	פילוסופיה
הוצאה
תאריך הוצאה	1879
הוצאה בעברית
תרגום	גלעד ברעלי
קישורים חיצוניים
הספרייה הלאומית	002352505

עיון אינטראקטיבי בהיסטוריה

→ העריכה הקודמת העריכה הבאה ←

תוכן שנמחק תוכן שנוסף

חזותיקוד ויקי

בשורה

גרסה מ־09:54, 23 במרץ 2019

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

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

בפרק הראשון מגדיר פרגה מושגי יסוד וסימונים שחלקם שונים מהסימונים הנהוגים כיום:

מושג	כתיב על פי פרגה	כתיב מודרני
היסק	$\vdash A,\Vdash A$	$p(A)=1,$ $p(A)=i$ $\vdash A,\Vdash A$
שלילה		$\neg A$ ${\sim }A$
גרירה		$B\rightarrow A$ $B\supset A$
כמת כולל		$\forall x\,F(x)$
כמת ישי		$\exists x\,F(x)$
זהות	$A\equiv B$	$A\leftrightarrow B$ $A\equiv B$ $A=B$

לקריאה נוספת

גוטלוב פרגה, כתב מושגים, תרגם גלעד ברעלי, הוצאת שלם: ירושלים, 2004.

קישורים חיצוניים

@@ שורה 1: / שורה 1: @@
 {{ספר
-|שם=כתב מושגים
+| תמונה = [[קובץ:כתב מושגים.jpg|220px]]
+| כיתוב = מימין - שער המהדורה המקורית וכריכת המהדורה העברית
-|תמונה=[[קובץ:כתב מושגים.jpg|250px]]
+| שם בשפת המקור = Begriffsschrift
-|כיתוב=מימין - שער המהדורה המקורית וכריכת המהדורה העברית
+| סוגה = [[פילוסופיה]]
-|מאת=[[גוטלוב פרגה]]
+| תרגום לעברית = [[גלעד ברעלי]]
-|איורים=
-|צילומים=
-|שם בשפת המקור=Begriffsschrift
-|שפת המקור=[[גרמנית]]
-|הוצאה=
-|הוצאה בשפת המקור=
-|שנת הוצאה=[[1879]]
-|הוצאה בעברית=
-|שנת הוצאה בעברית=
-|סוגה=[[פילוסופיה]]
-|תרגום לעברית=[[גלעד ברעלי]]
-|תורגם לשפות=
-|מספר עמודים=
-|מסת"ב=
-|סדרת ספרים=
-|עורך=
-|מהדורה ראשונה=
-|מהדורות נוספות=
-|מהדורה מדעית=
-|מספר כרכים=
-|מהדורה מוערת=
-|הסכמות=
-|כתבי יד=
-|פרשנים=
-|מקורות לכתיבת הספר=
-|ויקיטקסט=
-|היברובוקס=
 }}
+'''כתב מושגים''' (ב[[גרמנית]]: '''Begriffsschrift''') הוא [[ספר]]ו הראשון של [[גוטלוב פרגה]], אבי ה[[לוגיקה]] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]].
-[[קובץ:Begriffsschrift Titel.png|ממוזער|200px|כריכת הספר המקורית]]
-'''כתב מושגים''' (ב[[גרמנית]]: '''Begriffsschrift''') הוא [[ספר]]ו הראשון של [[גוטלוב פרגה]], אבי ה[[לוגיקה]] המודרנית, ואחד מעמודי התווך של ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] של [[המאה העשרים]].
+[[קובץ:Begriffsschrift Titel.png|ממוזער|ימין|200px|כריכת הספר המקורית]]
 פרגה הציג מבנה לוגי של מגוון תכנים ושל יחסי הנביעה ביניהם, תוך הצגה חמורה ומדויקת של הוכחות והגדרות. הספר מפתח [[שפה מסדר ראשון|תחשיב פרדיקאטים מסדר ראשון]], אשר נעשה בעקבותיו התחום המרכזי ב[[לוגיקה]], ומציג [[אקסיומה|אקסיומטיקה]] שלמה שלו. כמו כן כלל פרגה הרחבות ל[[לוגיקה מסדר שני]]. על בסיס זה הגדיר מושגים והוכיח משפטים שהיוו בסיס לעמדה הלוגיציסטית ב[[פילוסופיה של המתמטיקה]].
+בפרק הראשון מגדיר פרגה מושגי יסוד וסימונים שחלקם שונים מהסימונים הנהוגים כיום:
+{| class="wikitable" style="margin:0.5em auto;"
+|-
+! scope="col" |מושג
+! scope="col" |כתיב על פי פרגה
+! scope="col" |כתיב מודרני
+|-
+||[[כלל היסק|היסק]]
+|style="text-align:center;"|<math>\vdash A,\Vdash A</math>
+|style="text-align:center;"|<math>p(A)=1,</math>
+<math>p(A)=i</math>
+<math>\vdash A, \Vdash A</math>
+|-
+||[[לא (לוגיקה)|שלילה]]
+|style="text-align:center;"|[[File:Begriffsschrift connective1.svg|60px]]
+|style="text-align:center;"|<math>\neg A</math><br>
+<math>{\sim} A</math>
+|-
+||[[אם-אז|גרירה]]
+|style="text-align:center;"|[[File:Begriffsschrift connective2.svg|80px]]
+|style="text-align:center;"|<math>B\rightarrow A</math>
+<math>B\supset A</math>
+|-
+||[[כמת|כמת כולל]]
+|style="text-align:center;"|[[File:BS-12-Begriffsschrift Quantifier1-svg.svg |85px]]
+|style="text-align:center;"|<math>\forall x\, F(x)</math>
+|-
+||[[כמת|כמת ישי]]
+|style="text-align:center;"|[[file:BS-14-Begriffsschrift Quantifier3-svg.svg|95px]]
+|style="text-align:center;"|<math>\exists x\, F(x)</math>
+|-
+||[[זהות (מתמטיקה)|זהות]]
+|style="text-align:center;"|<math>A\equiv B</math>
+|style="text-align:center;"|<math>A \leftrightarrow B</math><br>
+<math>A \equiv B</math><br>
+<math>A = B</math>
+|}
 ==לקריאה נוספת==
@@ שורה 42: / שורה 55: @@
 == קישורים חיצוניים ==
 {{מיזמים|ויקישיתוף=Category:Begriffsschrift|שם ויקישיתוף=כתב מושגים}}
+*[http://gallica.bnf.fr/ark:/12148/bpt6k65658c ''Begriffsschrift'' להורדה(2.5 MB)]
 * [http://www.shalempress.co.il/download/Products/1049frege.pdf מבוא לספר מאת גלעד ברעלי ופרק ההקדמה]