הצגת המקור של הדף "כתב מושגים"

{{ספר
| תמונה = [[קובץ:כתב מושגים.jpg|220px]]
| כיתוב = מימין - שער המהדורה המקורית וכריכת המהדורה העברית
| שם בשפת המקור = Begriffsschrift
| סוגה = [[פילוסופיה]]
| תרגום לעברית = [[גלעד ברעלי]]
}}
'''כתב מושגים''' (ב[[גרמנית]]: '''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;"|[[קובץ:Begriffsschrift connective1.svg|60px]]
|style="text-align:center;"|<math>\neg A</math><br>
<math>{\sim} A</math>
|-
||[[אם-אז|גרירה]]
|style="text-align:center;"|[[קובץ:Begriffsschrift connective2.svg|80px]]
|style="text-align:center;"|<math>B\rightarrow A</math>
<math>B\supset A</math>
|-
||[[כמת|כמת כולל]]
|style="text-align:center;"|[[קובץ:BS-12-Begriffsschrift Quantifier1-svg.svg |85px]]
|style="text-align:center;"|<math>\forall x\, F(x)</math>
|-
||[[כמת|כמת ישי]]
|style="text-align:center;"|[[קובץ: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>
|}

==לקריאה נוספת==
* [[גוטלוב פרגה]], '''כתב מושגים''', תרגם [[גלעד ברעלי]], [[מרכז שלם|הוצאת שלם]]: ירושלים, 2004.

== קישורים חיצוניים ==
{{מיזמים|ויקישיתוף=Category:Begriffsschrift|שם ויקישיתוף=כתב מושגים}}
*[http://gallica.bnf.fr/ark:/12148/bpt6k65658c ''Begriffsschrift'' להורדה(2.5 MB)]
* [https://web.archive.org/web/20130927153228/http://www.shalempress.co.il/download/Products/1049frege.pdf מבוא לספר מאת גלעד ברעלי ופרק ההקדמה]

{{בקרת זהויות}}

[[קטגוריה:חיבורים פילוסופיים]]
[[קטגוריה:ספרי מתמטיקה]]
[[קטגוריה:ספרי 1879]]
[[קטגוריה:ספרי הוצאת שלם]]