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

תוכן שנמחק תוכן שנוסף
מ הסרת שדה OCLC. יישאב מוויקינתונים (תג)
מאין תקציר עריכה
שורה 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 מבוא לספר מאת גלעד ברעלי ופרק ההקדמה]