הצגת המקור של הדף "גוטפריד וילהלם לייבניץ"

{{מדען
|תמונה=Christoph Bernhard Francke - Bildnis des Philosophen Leibniz (ca. 1695).jpg
| שם בשפת המקור = Gottfried Wilhelm Leibniz
| ענף מדעי = [[מתמטיקה]], [[פיזיקה]]
| תאריך לידה = [[1 ביולי]] [[1646]]
| מקום לידה = {{דגל|האימפריה הרומית הקדושה}} [[לייפציג]], [[נסיכות הבוחר מסקסוניה]]
| תאריך פטירה = [[14 בנובמבר]] [[1716]]
| מקום פטירה = {{דגל|האימפריה הרומית הקדושה}} [[הנובר]], [[נסיכות הבוחר מהנובר]]
| תרומות עיקריות = [[חשבון אינפיניטסימלי]]
[[המשפט הקטן של פרמה]]
{{ש}}[[נוסחת לייבניץ ל-π]]
{{ש}}[[דטרמיננטה|דטרמיננטות]]
{{ש}}[[מונאדה (לייבניץ)|מונאדות]]{{ש}}
[[אופטימיזם|הטוב בכל העולמות האפשריים]]
{{ש}}[[אנרגיה קינטית]]{{ש}}
[[קוסמולוגיה]] - [[מרחב (פיזיקה)|מרחב]] ו[[זמן]] יחסיים{{ש}}
[[גאולוגיה]] - היסטוריה של [[כדור הארץ]]{{ש}}
[[פסיכולוגיה]] - רעיון ה[[תת מודע]]{{ש}}
מושג ה[[משוב]] (Feedback){{ש}}
[[בסיס בינארי|חשבון בינארי]]{{ש}}
[[מכונת חישוב]] - [[מחשב הפסיעות]] {{ש}}
[[מכונת הצפנה]]{{ש}}Entscheidungsproblem - [[בעיית ההכרעה]]
{{ש}}[[קלקולוס רציונליזטור]]
{{ש}}Characteristica universalis - שפה אוניברסלית{{ש}}
ההבחנה [[אפריורי]]/[[אפוסטריורי]]{{ש}}
}}
'''גוטפריד וילהלם פון לייבניץ''' (ב[[גרמנית]]: '''Gottfried Wilhelm von Leibniz'''{{כ}}; [[1 ביולי]] [[1646]] – [[14 בנובמבר]] [[1716]]) היה [[מתמטיקאי]], [[פילוסוף]], [[פיזיקאי]] ו[[איש אשכולות]] [[גרמני]] שהשפעתו בולטת הן ב[[היסטוריה של המתמטיקה]] והן ב[[פילוסופיה|היסטוריה של הפילוסופיה]]. כתב בעיקר ב[[לטינית]], בגרמנית וב[[צרפתית]].

ב[[מתמטיקה]], הוא פיתח את ה[[חשבון אינפיניטסימלי|חשבון הדיפרנציאלי והאינטגרלי]] באופן בלתי תלוי ב[[אייזק ניוטון]], וכיום שיטת הסימון שלו היא זו הנמצאת בשימוש רווח בשל פשטותה. כמה מהעקרונות הפילוסופיים שלו מצאו ביסוס מתמטי רק ב[[המאה ה-20|מאה ה-20]]. לייבניץ היה מהפוריים שבממציאי ומפתחי המחשבים המכניים, ובעבודתו על הוספת פונקציות של כפל וחילוק ל[[המחשב של פסקל|פסקלין]] הוא המציא את "התוף המדורג" {{אנ|Leibniz wheel}}, שבו עשה שימוש כדי לבנות את [[מחשב הפסיעות]] שלו, ש-150 שנה מאוחר יותר שימש בסיס ל[[אריתמומטר]], המחשב המכני הראשון בייצור סדרתי. כמו כן היה הראשון לתאר את מנגנון "מחשבון החוגה" {{אנ|pinwheel calculator}} ב-1685. בשנות ה-1670 הוא פיתח את [[מכונת הצפנה|מכונת ההצפנה]]{{הערה|לייבניץ כינה אותה Machina Deciphratoria}} המורכבת הראשונה בהיסטוריה,{{הערה|שם=first|YRBFYR OTHN: Pitt Professor Resurrects History’s First Sophisticated Wartime Coding Machine {{קישור כללי|כתובת=http://www.news.pitt.edu/ciphermachine|כותרת=YRBFYR OTHN: Pitt Professor Resurrects History’s First Sophisticated Wartime Coding Machine {{!}} University of Pittsburgh News|תאריך_וידוא=2019-01-05|אתר=www.news.pitt.edu}}|כיוון=שמאל}} והציע לרתום אותה לצורכי הממלכה בפני [[לאופולד הראשון, קיסר האימפריה הרומית הקדושה]]. בנוסף הגה ופיתח את ה[[בסיס בינארי|שיטה הבינארית]], בהמשך לרעיונותיהם של פילוסופים כמו [[רמון ליול]], העומדת בבסיסה של כתיבת התוכנה במחשבים האלקטרוניים.

ב[[פילוסופיה]], הוא נודע במיוחד בשל קביעתו האופטימית ש[[היקום]] הוא הטוב ביותר ש[[אלוהים]] היה יכול ליצור, והפך בשל קביעה זו למושא לעג בידי מחברים מאוחרים יותר כמו [[וולטר]]. יחד עם [[רנה דקארט]] ו[[ברוך שפינוזה]], נמנה עם המייצגים הבולטים של זרם ה[[רציונליזם]] ב[[המאה ה-17|מאה ה-17]]. בניגוד לעמדות אלה של אופטימיזם ו"שפע",{{הערה|ראו פרק העקרונות בהגותו הפילוסופית בערך}} וכן גישתו הרציונליסטית, שהפכו פחות מקובלות בקרב אנשי מדע, עבודתו של לייבניץ בענפים אחרים של הפילוסופיה הניחה יסודות לגישה פילוסופית מעין-אמפיריציסטית שהתקבלה לימים בחוגים שונים במדע, דוגמת ה[[פוזיטיביזם לוגי|פוזיטיביזם הלוגי]]. עבודה פילוסופית חלוצית זו הקדימה את ה[[לוגיקה#הלוגיקה של פרגה|לוגיקה המודרנית]] של [[גוטלוב פרגה|פרגה]] ואת ה[[פילוסופיה אנליטית|פילוסופיה האנליטית]]. כאמור גישה חלוצית זו עומדת בסתירה לפן הרציונליסטי שבהגותו, הנשען במידה על המסורת ה[[סכולסטיקה|סכולסטית]], שבתורה מבוססת על הלוגיקה של [[אריסטו]], ובה היקשים מושגים באמצעות "הפעלת ההיגיון" על עקרונות ראשוניים או בהגדרות [[אפריורי]]ות, ולא על עדות שהושגה באופן ניסיוני. לייבניץ תרם תרומות מכריעות ל[[פיזיקה]] ול[[טכנולוגיה]], וחזה רעיונות ומושגים שבוססו מאוחר יותר ב[[ביולוגיה]], ב[[רפואה]], ב[[גאולוגיה]], ב[[תורת ההסתברות]], ב[[פסיכולוגיה]], ב[[בלשנות]] וב[[תורת המידע]]. בכתביו עסק גם ב[[פוליטיקה]], ב[[משפטים]], ב[[אתיקה]], ב[[תאולוגיה]], וב[[היסטוריה]]. תרומותיו למגוון רחב זה של תחומים פזורות בכתבי עת מדעיים, ובעשרות אלפי תכתובות וכתבי יד שלא פורסמו במהלך חייו. גם כיום חסר אוסף שלם שיאגד את כתביו, וכפועל יוצא דין וחשבון מקיף על הישגיו אינו אפשרי, אם כי ניכר רוחב ועומק היריעה בהגותו.

הגותו המקיפה של לייבניץ היא מוקד היסטורי לכמה ענפים שקיבלו את עיקר פיתוחם{{הערה|כאמור בנסיבות ההיסטוריות והחברתיות-כלכליות}} בשפה הגרמנית, הגם שעיקר עבודתו נכתבה במקור בלטינית. ניתן לזהות את הדמיון בין מכונות החישוב וההצפנה שלו למערכת ההצפנה הגרמנית [[אניגמה]]. בפילוסופיה השפעתו בולטת בעיקר בענפיה המשיקים לתחומי המתמטיקה והמדע, ובין היתר השפיע על הפילוסופים [[שופנהאואר]], [[ארנסט מאך]], [[גוטלוב פרגה]] ובאופן עקיף על [[לודוויג ויטגנשטיין]].

== ביוגרפיה ==
=== ראשית חייו ===
גוטפריד לייבניץ נולד ב-1 ביולי 1646, בשלהי [[מלחמת שלושים השנים]], ב[[לייפציג]] שב[[סקסוניה]], לפרידריך לייבניץ וקתרינה שמוּק.

הוא הוטבל ב-3 ביולי ב[[כנסיית ניקולאי (לייפציג)|כנסיית ניקולאי הקדוש]], ו[[סנדק (נצרות)|סנדק]]ו היה התאולוג ה[[לותרניזם|לותרני]] מרטין גאייר.{{הערה|{{גר|Martin Geier}}}} אביו מת כשהיה בן שש וחצי, ומאז גדל בחיק אמו. השיעורים שהעניקה לבנה השפיעו רבות על רוחו של לייבניץ הצעיר, וניתן למצוא להם הד בהגותו הפילוסופית בהמשך חייו{{מקור}}.

אביו של לייבניץ, פרידריך, היה פרופסור ל[[פילוסופיה של המוסר]] ב[[אוניברסיטת לייפציג]]. בעוד שלימודי בית הספר שלו הוגבלו בעיקר ללימודים בסיסיים, הספרייה של אביו הייתה פתח למגוון רחב של טקסטים פילוסופיים ותאולוגיים. לימודים אלה, היו גם המקור לשליטתו המוקדמת בלטינית, [[לינגואה פרנקה|לשון ההגות]] אותם ימים, אותה השיג כבר בגיל 12. מתואר כי בגיל 13 חיבר במהלך בוקר אחד 300 [[הקסמטר]]ים של [[שירה]] לטינית עבור אירוע מיוחד בבית ספר.

באפריל 1661, בגיל 15, החל לייבניץ, ללמוד [[משפטים]] ב[[אוניברסיטת לייפציג]], בה השלים [[תואר ראשון]] בפילוסופיה בדצמבר [[1662]]. ב-9 ביוני 1663, הגן על [[דיסרטציה|עבודתו]] "המחלוקת המטאפיזית בעקרון האינדיווידואציה"{{הערה|לטינית: Disputatio Metaphysica de Principio Individui}} שדן ב[[תכונה (פילוסופיה)|אינדיווידואציה]], וב-7 בפברואר 1664, השלים תואר שני בפילוסופיה. בדצמבר 1664, הגיש והגן על עבודת הדוקטורט שלו "חיבור אודות אוסף בעיות פילוסופיות אודות [[זכות]]",{{הערה|לטינית: pecimen Quaestionum Philosophicarum ex Jure collectarum}} בו תיאר את הקשר התאורטי והפדגוגי בין פילוסופיה ומשפטים. ב-28 בספטמבר 1665, עם תום שנת לימודים אחת, קיבל תואר [[בוגר אוניברסיטה]] במשפטים בתומה הגיש הדיסרטציה "על התנאים".{{הערה|לטינית: De conditionibus}}

בתחילת שנת 1666, בגיל 19, חיבר לייבניץ את ספרו הראשון, '''על אמנות הקומבינציה'''.{{הערה|לטינית:De Arte Combinatoria}} חלקו הראשון הוא גם התזה שהגיש במסגרת התואר שלו בפילוסופיה, במרץ 1666.
יעדו הבא היה להשיג התמחות ו[[דוקטורט]] במשפטים, דבר שבדרך כלל היה כרוך בשלוש שנות לימודים נוספות. ב-[[1666]] סירבה אוניברסיטת לייפציג להעניק לו תואר דוקטור במשפטים בשל גילו הצעיר. בעקבות כך העתיק לימודיו ל[[אוניברסיטת אלטדורף]]. לא זו בלבד שעבודת התזה שלו קנתה לו תואר דוקטור אלא אף משרת [[פרופסור]]. אולם לייבניץ דחה את ההצעה.

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

=== 1674 – 1666 ===
{{עריכה|נושא=מחשוב|נושא2=אישים}}
[[קובץ:Gottfried-Wilhelm-Leibniz-Louis-Dutens-opera-omnia MG 1180.tif|ממוזער|שמאל|תחריט של גוטפריד וילהלם לייבניץ.]]
[[קובץ:Statue of Gottfried Wilhelm Leibniz-London.jpg|ממוזער|200px|שמאל|פסל של לייבניץ מאת פטריק מקדואל בחזית בניין [[האקדמיה המלכותית לאמנויות]]]]
ב-[[1666]] ביקש ללמוד [[אלכימיה]] בקרב אגודת אלכימאים ב[[נירנברג]]. תיאורו של לייבניץ למקרה,{{הערה|Ariew R., G.W. [https://books.google.co.il/books?id=SnRis5Gdi8gC&pg=PA21&redir_esc=y#v=onepage&q&f=false Leibniz, life and works], p.21 in The Cambridge Companion to Leibniz, ed. by N. Jolley, Cambridge University Press, 1994|כיוון=שמאל}} הוא שמבלי ידע מוקדם בתחום, ולאחר קריאה שטחית, ניסח מכתב שכלל את כל המושגים הסתומים שבעצמו לא הבין וכך הצליח לשטות בחברי האגודה ולהציג עצמו כמלומד. לאחר זמן קצר פגש את יוהאן כריסטיאן פון בואנבורג {{אנ|Johann Christian von Boyneburg}}, שבאותה עת פוטר מתפקיד השר הראשי ל"ארכיבישוף הבוחר" של [[נסיכות הבוחר ממיינץ|מיינץ]], יוהאן פיליפ פון שנבורן{{אנ|Johann Philipp von Schönborn}}. פון בואנבורג שכר את לייבניץ כעוזרו, וזמן קצר לאחר מכן השלים עם הארכיבישוף והציג את לייבניץ בפניו. לייבניץ הקדיש לפון שנבורן חיבור במשפטים בתקווה שיעניק לו משרה, וכך היה, ה[[ארכיבישוף]] ביקש מלייבניץ לעזור בכתיבת ה[[חוקה|קוד החוקתי]] החדש של [[נסיך בוחר|נסיכות הבוחר]], ועם השלמת המטלה רכש את אמונו. ב-1669 מונה ליועץ של בית הדין לערעורים במיינץ.

פון בואנבורג פעל רבות כדי לקדם את המוניטין של לייבניץ. אחרי שרכש את אמונו של הארכיבישוף זכה במשרה [[דיפלומטיה|דיפלומטית]]. תוך כדי כך, שלח לייבניץ את ידו ב[[פוליטיקה]] בינלאומית. הוא פרסם חיבור בשם העט של "אציל פולני" אלמוני, המצדד (לא בהצלחה) במועמד הגרמני ל[[מלך פולין|כתר הפולני]]. השחקן בעל ההשפעה הגדולה ביותר בזירה הבינלאומית של אירופה במהלך חייו הבוגרים של לייבניץ היה [[צרפת|מלך צרפת]] [[לואי ה-14]]. אותם ימים הותירה [[מלחמת 30 השנים]] את נסיכויות הבוחר ב[[האימפריה הרומית הקדושה|אימפריה הרומית הקדושה]] חבולות וחוששות מעוצמתה של האימפריה הצרפתית העולה. לייבניץ הציע להגן על חלקיה "דוברי הגרמנית" של "הקיסרות הרומית הקדושה" באמצעות הסטת מוקד העניין של הכס הצרפתי להולנד והגשת [[קולוניאליזם|מושבותיה]] כאתנן – הוא שכנע את פון שנבורן המסתייג לנסוע ל[[פריז]] ולהציע ליועציו של לואי ה-14 לפלוש ל[[מצרים]], כצעד מפתח במהלך לכיבוש ה[[איי הודו המזרחיים ההולנדיים|מושבות ההולנדיות]] שב[[אינדונזיה]], וגדיעת העליונות ההולנדית במסחר הימי. בשנת [[1672]] הוזמן לייבניץ על ידי הממשלה הצרפתית לפריז לדון בהצעתו, אך התוכנית נגנזה בחטף עם פרוץ [[מלחמת הולנד]].

פון בואנבורג נפטר ב-1672, אך לייבניץ הועסק על ידי אלמנתו עד שנת 1674.

[[קובץ:Leibnitzrechenmaschine.jpg|ממוזער|240px|ימין|ה-Stepped Reckoner (מחשב הפסיעות) של לייבניץ.{{ציטוט |"... אין זה לכבודם של אנשי מעלה לשקוד על מלאכת החישוב שעה שאנשים פשוטים יותר יכולים לבצע את החישוב באותה מהימנות בעזרתה של מכונה." }}- גוטפריד לייבניץ.]]
פריז הייתה אז אחד ממרכזי המדע והפילוסופיה, ולייבניץ נשאר בה במשך מספר שנים. זמן קצר לאחר שהגיע לשם, הוא פגש את המתמטיקאי והפיזיקאי ההולנדי [[כריסטיאן הויגנס]], ונוכח לדעת שהידע שלו במתמטיקה ובפיזיקה היה קטן ולא שיטתי. עם הויגנס כ[[מנטור]] החל בתוכנית של [[לימוד עצמי]] שתוך זמן קצר הביאה אותו לתרומות משמעותיות לשני התחומים, ובהן הגילוי את הגרסה שלו של [[חשבון דיפרנציאלי ואינטגרלי|החשבון הדיפרנציאלי והאינטגרלי]]. הוא פגש גם את [[ניקולא מלבראנש]] ואת [[אנטואן ארנו]] (Antoine Arnauld), הפילוסופים הצרפתיים המובילים באותה עת, ולמד את עבודותיהם של [[רנה דקארט|דקארט]] ו[[בליז פסקל|פסקל]], כולל את הכתבים הלא מפורסמים שלהם. הוא רקם חברות קרובה עם המתמטיקאי הגרמני טשירנהאוס (Ehrenfried Walther von Tschirnhaus); הם התכתבו במשך שארית חייהם. ב-[[1675]] מונה לחבר של כבוד מטעם [[האקדמיה הצרפתית למדעים]].

כאשר התבהר שצרפת לא תממש את חלקה בתוכנית הפלישה למצרים של לייבניץ, הנסיך-הבוחר שלח מוקדם ב-[[1673]] את אחיינו, בליווי לייבניץ, לפגישה עם הממשלה האנגלית ב[[לונדון]], לצורך משימה הקשורה לתוכניתו של לייבניץ. שם לייבניץ ערך היכרות עם [[הנרי אולדנבורג]] ו[[ג'ון קולינס (מתמטיקאי)|ג'ון קולינס]]. הוא נפגש עם [[החברה המלכותית]], בפניה הדגים מכונת חישוב שתכנן ובנה מאז 1670. המכונה הייתה מסוגלת לבצע את כל ארבע הפעולות החשבוניות הבסיסיות (חיבור, חיסור, כפל וחילוק), והחברה הפכה אותו עד מהרה לחבר חיצוני.

המשימה הסתיימה בפתאומיות כאשר חדשות על מותו של האלקטור ([[12 בפברואר]] [[1673]]) הגיעו אליהם. לייבניץ חזר מיד לפריז ולא, כפי שתוכנן, למיינץ. מותם הפתאומי של שני הפטרונים שלו באותו חורף אותת שלייבניץ היה חייב למצוא בסיס חדש לקריירה שלו.

בעניין זה, ההזמנה שקיבל לייבניץ ב-[[1669]] מ[[יוהאן פרידריך, דוכס בראונשווייג-לינבורג]] לבקר ב[[הנובר]], הוכחה בדיעבד כגורלית. לייבניץ דחה את ההזמנה, אבל החל להתכתב עם הדוכס מאז 1671. ב-1673, הדוכס הציע ללייבניץ משרה של יועץ. לייבניץ קיבל את ההצעה שנתיים מאוחר יותר, מאוד בחוסר רצון, ורק אחרי שנעשה ברור שאין לו תעסוקה אפשרית בפריז, אשר מהגירוי האינטלקטואלי שלה הוא נהנה מאוד.

=== בית הנובר, 1716 – 1676 ===

לייבניץ החליט לדחות את הגעתו להנובר עד סוף 1676 לטובת ביקור נוסף ללונדון, שם [[אייזק ניוטון|ניוטון]] האשים אותו שעיין באחד מכתביו הלא מפורסמים על החשבון הדיפרנציאלי והאינטגרלי. זה היה כביכול עדות שתמכה בהאשמה, עשורים רבים לאחר מכן, שלייבניץ גנב את החשבון הדיפרנציאלי והאינטגרלי מניוטון. במסעו חזרה מלונדון להנובר, לייבניץ עצר ב[[האג]], שם הוא פגש את [[אנטוני ואן לוונהוק]], המגלה של מיקרואורגניזמים. הוא גם בילה מספר ימים בדיון סוער עם [[ברוך שפינוזה|שפינוזה]], אשר זמן קצר לפני כן השלים את יצירת המופת שלו, ה[[תורת המידות (אתיקה)|אתיקה]].

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

בין האנשים היחידים בצפון גרמניה שקיבלו את לייבניץ הייתה האלקטורית [[סופיה מהנובר]] (1714 – 1630), ובתה [[סופיה שרלוטה מהנובר]] (1705 – 1668), מלכת פרוסיה ותלמידתו המושבעת, ו[[קרולינה, מרקיזת ברנדנבורג-אנסבך]], סבתו של מלך בריטניה לעתיד [[ג'ורג' השני, מלך בריטניה|ג'ורג' השני]]. בעבור כל אחת מהנשים האלו הוא היה מכותב, יועץ, וחבר, ובתמורה, הן כולן תמכו בלייבניץ יותר מאשר בני זוגם ומלך בריטניה לעתיד [[ג'ורג' הראשון, מלך בריטניה|ג'ורג' הראשון]].

האוכלוסייה של הנובר באותה עת מנתה בערך רק 10,000 איש, והפרובינציאליות שלה בסופו של דבר הפריעה ללייבניץ. אף על פי כן, להיות חצרן מרכזי בבית בראונשוויג היה כבוד של ממש, במיוחד לאור הצמיחה המטאורית ביוקרה של הבית במהלך שירותו של לייבניץ שם. ב-1692, הדוכס מ בראונשוויג הפך לאלקטור היורש של האימפריה הרומית הקדושה. [[חוק ההסדר 1701|חוק ההסדר הבריטי מ-1701]] הועיד את האלקטורית סופיה וצאצאה להפוך למשפחה המלכותית של אנגליה, אחרי שגם המלך [[ויליאם השלישי]] ואחותו בחוק ויורשתו, [[המלכה אן]], נפטרו. לייבניץ מילא תפקיד מרכזי ביוזמות ובמשא ומתן שהוביל לפעולה הזו, אך לא תמיד פעל באופן אפקטיבי. לדוגמה, מסמך שהוא פרסם באופן אנונימי באנגליה, במטרה לקדם את מטרות בית בראונשוויג, צונזר באופן רשמי על ידי [[הפרלמנט הבריטי]].

בני בית בראונשוויג התייחסו בסבלנות למאמצים האינטלקטואליים האדירים שלייבניץ הקדיש למחקריו המדעיים שלא היו קשורים לחובותיו כחצרן, מחקרים כגון ליטוש לכדי שלמות של החשבון הדיפרנציאלי והאינטגרלי, כתיבה על נושאים מתמטיים אחרים, לוגיקה, פיזיקה ופילוסופיה, וכן לשמירה על תכתובת ענפה. הוא החל לעבוד על הקלקולוס ב-1674; העדות המוקדמת ביותר לשימוש בו נשארה מבמחברותיו ששרדו משנת 1675. ב-1677 כבר הייתה ברשותו מערכת קוהרנטית, אך הוא לא פרסם אותה עד 1684. מאמריו המתמטיים החשובים ביותר של לייבניץ פורסמו בין השנים 1682 ו-1692, בדרך כלל בכתב עת אשר הוא ו[[אוטו מנקה]] ייסדו ב-1682, [[Acta Eruditorum]]. כתב עת זה מילא תפקיד מפתח בקידום המוניטין המתמטי והמדעי של לייבניץ, אשר בתורו הגביר את הבולטות שלו בדיפלומטיה, היסטוריה, תאולוגיה ופילוסופיה.

[[קובץ:Korespondencja Gottfrieda Leibniza.jpg|ממוזער|שמאל|250px|התכתבויות, מאמרים והערות של לייבניץ מהשנים 1704 – 1669, הספרייה הלאומית של פולין.]]

האלקטור [[ארנסט אוגוסט, דוכס בראונשווייג-לינבורג|ארנסט אוגוסטוס]] הפקיד בידי לייבניץ את המשימה לכתוב היסטוריה של בית בראונשוויג, שתתחיל מזמנו של [[קרל הגדול]] או מוקדם יותר, בתקווה שהספר שייכתב יקדם את שאיפותיו השושלתיות. בשנים [[1691]] -[[1717]] לייבניץ עבד ב[[ספריית הדוכס אוגוסט]]. מ-1687 ל-1690, לייבניץ נסע רבות ברחבי גרמניה, אוסטריה ואיטליה, כשהוא מחפש ומוצא חומריים ארכיוניים הקשורים לפרויקט הזה. עשורים חלפו אך שום ספר היסטוריה לא הופיע; הנסיך-הבוחר הבא רגז מאוד על השיהוי לכאורה של לייבניץ. לייבניץ מעולם לא סיים את הפרויקט, במידה מסוימת בגלל התפוקה האדירה שלו בחזיתות רבות אחרות, אבל גם מפני שהוא התעקש על כתיבה קפדנית של ספר מחקרי ומלומד בהתבסס על מקורות ארכיוניים, בעוד שפטרוניו היו שמחים אילו היה נכתב ספר פופולרי קצר – משהו שהוא קצת יותר מ[[גנאלוגיה]] והערות עליה, שיושלם תוך שלוש שנים או פחות. הם מעולם לא ידעו שהוא למעשה לקח על עצמו חלק נכבד במשימה שרצו שתבוצע; כאשר החומרים שלייבניץ כתב ואסף על ההיסטוריה של בראונשווייג פורסמו בסופו של דבר במאה ה-19, הם מילאו שלושה כרכים.

ב-1708, ג'ון קייל, שכתב בכתב העת של החברה המלכותית ועם ברכתו של ניוטון, האשים את לייבניץ ב[[גנבה ספרותית]] של הקלקולוס של ניוטון. כך החלה [[עימות לייבניץ-ניוטון]] על הקדימות על גילוי הקלקולוס אשר העיבה מאוד על המשך חייו של לייבניץ. חקירה רשמית שנערכה על ידי החברה המלכותית, שנעשתה בדרישתו של לייבניץ תמכה בעמדתו של קייל. היא פסקה לטובת ניוטון, אך את הדוח המסכם של הוועדה כתב למעשה ניוטון עצמו. היסטוריונים של המתמטיקה שכתבו החל מ-1900 נטו לתמוך בלייבניץ, תוך הצבעה על ההבדלים בין הגרסאות של לייבניץ וניוטון לקלקולוס.

ב-1711, במהלך מסעותיו באירופה הצפונית, ה[[צאר]] הרוסי [[פטר הגדול]] עצר בהנובר ופגש את לייבניץ, אשר כתוצאה לקח עניין מסוים בעניינים רוסיים במשך שארית חייו. ב-1712, לייבניץ החל במגורים במשך שנתיים ב[[וינה|ווינה]], שם הוא מונה ליועץ הקיסרי המשפטי של [[שושלת הבסבורג|בני הבסבורג]]. בעקבות מותה של המלכה אן ב-1714, האלקטור גאורג לודוויג הפך למלך בריטניה ג'ורג' הראשון, תחת התנאים של חוק ההסכמה 1701. אף על פי שלייבניץ עשה רבות למען התרחשותו של האירוע המשמח הזה, זאת לא הייתה שעת התהילה שלו. על אף השתדלותה של נסיכת ויילס, קרולין מאנסבך, ג'ורג' הראשון אסר על לייבניץ להצטרף אליו בלונדון עד שהוא ישלים לפחות כרך אחד על ההיסטוריה של בית ברונסוויק אשר אביו הפקיד בידיו לכתוב כשלושים שנה מוקדם יותר. יותר מכך, בעבור ג'ורג' הראשון, לכלול את לייבניץ במסעו ללונדון יהווה עלבון עבור ניוטון, שנתפס כמי שניצח בעימות הקדימות על הקלקולוס ושמעמדו בקרב מעגלים בריטיים רשמיים לא יכול היה להיות גבוה יותר. בסופו של דבר, חברתו ומגינתו האלקטורית האלמנה סופיה, נפטרה ב-1714.

=== מותו ===

לייבניץ נפטר בהנובר ב-1716; באותו זמן, הוא היה כל כך "מחוץ לאופנה" שלא ג'ורג' הראשון (שהזדמן לו להיות ליד הנובר באותו זמן) ושום חצרן אחר של בית בראונשווייג מלבד המזכיר שלו, נכחו ב[[הלוויה]]. אף על פי שלייבניץ היה חבר בחברה המלכותית והאקדמיה למדעים בברלין, שני הארגונים לא מצאו לנכון לציין את מותו. קברו נותר לא מסומן במשך יותר מ-50 שנה. לייבניץ זכה להספד מצד [[ברנאר דה פונטנל]] בפני האקדמיה למדעים בפריז, אשר מינתה אותו לחבר זר מטעמה ב-1700. ההספד נכתב בנוכחותה של הדוכסית מאורליאן, אחייניתה של הנסיכה-הבוחרת סופיה.

=== חיים אישיים ===

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

==מתמטיקה==
[[קובץ:Leibniz binary system 1703.png|שמאל|ממוזער|250px|עמוד מתוך מאמרו של לייבניץ על המערכת הבינארית.]]
במסגרת הפיתוח של החשבון הדיפרנציאלי והאינטגרלי, לייבניץ הניח גם חלק מהיסודות המתמטיים המשמשים בפתרון שלל הבעיות שצצות מרגע שלוקחים בחשבון תהליכים גבוליים; תרומותיו אלו כוללות פישוט כללי גזירה, שיטות אינטגרציה, פתרון [[משוואה דיפרנציאלית רגילה|משוואות דיפרנציאליות רגילות]] ליניאריות מסדר ראשון וכן כמה פתרונות בסיסיים של בעיות הנכללות כיום בענף [[חשבון וריאציות|חשבון הווריאציות]]. הוא הציג את [[כלל לייבניץ]] המוכלל, המבטא את האנלוגיה בין גזירה חוזרת של מכפלת פונקציות ל[[הבינום של ניוטון|בינום של ניוטון]]. במכתב ל[[המרקיז דה לופיטל|לופיטל]] מ-1694 הוא פתר לראשונה משוואות דיפרנציאליות באמצעות הכפלתן ב[[גורם אינטגרציה]]. כן היה בין הפותרים נכונה של [[בעיית הברכיסטוכרון]] ובעיית [[קו השרשרת]]. ב-1702 פיתח את השיטה של אינטגרציה בעזרת [[פירוק לשברים חלקיים]].

נוסף על תרומתו לאנליזה, תרם לייבניץ תרומות חשובות גם לענפים מתמטיים אחרים: [[קומבינטוריקה]], אלגברה, גאומטריה, ו[[תורת המספרים]]. באלגברה, הוא היה הראשון שהשתמש ברעיון של [[דטרמיננטה]] של [[מערכת משוואות ליניאריות]], וגילה כמה מעקרונות היסוד של תורת הדטרמיננטים, כגון התוצאות הידועות בשם [[נוסחת לייבניץ לדטרמיננטות]] ו[[כלל קרמר]]{{הערה|Combinatorics: Ancient & Modern {{צ-ספר|מו"ל=OUP Oxford|שם=Combinatorics: Ancient & Modern|שפה=en|שנת הוצאה=2013-06-27|קישור=https://books.google.co.il/books?id=T02tF7NctM0C&pg=PT139&lpg=PT139&dq=leibniz%2527s+result+on+partitions&source=bl&ots=MSbex6PGcc&sig=nJL_b9Ge8CnGUEzgdWyA7D_rk1k&hl=iw&sa=X&ved=0ahUKEwiF_Oe0sYfNAhVDPRQKHZX7CO0Q6AEIPDAE#v=onepage&q=leibniz's%2520result%2520on%2520partitions&f=false|מחבר=Robin Wilson, John J. Watkins}}|כיוון=שמאל}} (האחרון התגלה על ידו ב-1684). בשנים 1681 – 1679 טבע את המונח המתמטי "[[רזולטנט]]" של זוג פולינומים וגילה תוצאות חשובות הקשורות בו. מאמציו של לייבניץ לבסס את תורת הדטרמיננטים למעשה כוננו את התאוריה שלהן באירופה (המושג הומצא במקביל ובאופן בלתי תלוי בלייבניץ על ידי המתמטיקאי היפני Seki Takakazu). הוא חקר רבות גם את התכונות של [[פולינום סימטרי|פולינומים סימטריים]]; מאמציו אלו היו קשורים באופן הדוק לניסיונו לפתור את המשוואה ממעלה חמש ומעלה בצורה אלגוריתמית,{{הערה|Combinatorics: Ancient & Modern {{צ-ספר|מו"ל=OUP Oxford|שם=Combinatorics: Ancient & Modern|שפה=en|שנת הוצאה=2013-06-27|קישור=https://books.google.co.il/books?id=T02tF7NctM0C&pg=PT142&lpg=PT142&dq=leibniz-stirling+numbers&source=bl&ots=MT7jt6UI5i&sig=P41g-Q1K5-qokYqTSVt7hfqioZ4&hl=iw&sa=X&ved=0ahUKEwj5xJ6m0t_bAhWhNpoKHTfnDPQ4ChDoAQh2MA4#v=onepage&q=leibniz-stirling%2520numbers&f=false|מחבר=Robin Wilson, John J. Watkins}}|כיוון=שמאל}}{{הערה|זו בעיה שתעתעה בעולם המתמטי באותם ימים, ולבסוף הוכח בעזרת [[תורת גלואה]] שאין לה פתרון.}} ובמסגרתם הגיע לממצאים חשובים – בהם "המשפט היסודי של פונקציות סימטריות" ומספר הדגמות שלו (תוצאות אליהן הגיע קודם אייזק ניוטון). תרומות אלו שלו לאלגברה מפוזרות על פני למעלה מ-100 כתבי יד בלתי מפורסמים, ורבות מהן הקדימו את הולדת ה[[אלגברה ליניארית|אלגברה הליניארית]] בלמעלה ממאה שנים.{{הערה|בראי מודרני, מחקרים אלו באלגברה ליניארית היו בעלי זיקה ישירה לעבודותיו האחרות בקומבינטוריקה, והם מתקשרים גם לרעיונותיו המתמטיים המוקדמים על "אמנות הצירופים"}} בגאומטריה הניח ב-1686 את היסודות לתאוריה של contiguity of curves, וביחד עם הויגנס פיתח את התאוריה של [[מעטפת (מתמטיקה)|מעטפות של משפחת עקומים]] (בשנים 1692–1694).

בתורת המספרים, הוכיח לייבניץ לראשונה תוצאה יסודית חשובה בתורת המספרים: [[המשפט הקטן של פרמה]], ומאוחר יותר גילה גם את [[משפט וילסון]], אך כתבי היד האלה נותרו לא מפורסמים, כך ש[[לאונרד אוילר]] ו[[ז'וזף לואי לגראנז']] הוכיחו את התוצאות האלה באופן בלתי תלוי. בקומבינטוריקה, היה לייבניץ הראשון שחקר והגיע למספר תוצאות על [[פונקציית החלוקה (תורת המספרים)|חלוקות של מספרים]], בהם:{{הערה|{{צ-מאמר|מחבר=Eberhard Knobloch|שם=The mathematical studies of G.W. Leibniz on combinatorics|שנת הוצאה=1974-11-01|כתב עת=Historia Mathematica|כרך=1|doi=10.1016/0315-0860(74)90032-9|עמ=409–430|קישור=https://www.sciencedirect.com/science/article/pii/0315086074900329}}|כיוון=שמאל}} הנוסחה הרקורסיבית של אוילר לחלוקה של מספר n ל-k חלקים, ומספר מקרים פרטיים של הנוסחה הכללית לחלוקות שהתגלתה על ידי Stern ב-1840. כמו כן גילה את [[מספרי סטירלינג]] ואת התכונות הקומבינטוריות שלהם. לייבניץ ניסה לבסס את היסודות הלוגיים של החשבון האינפיניטסימלי, חקר את ההתכנסות של סכומים אינסופיים, והגדיר קריטריון להתכנסות טורים שנקרא כיום בשם [[מבחני התכנסות לטורים#מבחן לייבניץ|מבחן לייבניץ]]. הוא טבע מונחים מתמטיים רבים, בהם: "[[דיפרנציאל (מתמטיקה)|דיפרנציאל]]", "[[פונקציה]]", "[[קואורדינטות|קואורדינטה]]", "אבסקיצה (abscissa)", "[[עקום אלגברי|עקומים אלגבריים]] וטרנסצנדנטיים", ו"[[אלגוריתם]]". לייבניץ היה גם הראשון שגילה, באמצעות מניפולציות מתמטיות חדשניות לזמנו, את הזהות הבאה לקבוע המתמטי [[פאי]] ([[נוסחת לייבניץ ל-π|טור לייבניץ-גרגורי]]):
<div style="text-align: center;">
<math>\ \frac{\pi}{4}\ = 1 -\frac{1}{3}+ \frac{1}{5}- \frac{1}{7}+ \frac{1}{9}-\cdots</math>.
</div>
לייבניץ בנה{{הערה|Leibniz On His Calculating Machine [ ]|כיוון=שמאל}} את המחשב המכני הראשון שהיה מסוגל להכפיל ולחלק מספרים אלה באלה, ועמל על פיתוח מחשב מכני שיוכל לחשב [[שורש ריבועי]]. הוא גם פיתח את הצורה המודרנית של [[בסיס בינארי|השיטה הבינארית]], שבה משתמשים [[מחשב]]ים דיגיטליים בני ימינו.

=== חשבון אינפיניטסימלי ===
{{ערך מורחב|היסטוריה של החשבון האינפיניטסימלי}}
הזכות על המצאת [[חשבון אינפיניטסימלי|החשבון האינפיניטסימלי]] מיוחסת בדרך כלל ללייבניץ יחד עם אייזק ניוטון, בשנות ה-70 של [[המאה ה-17]]. לפי רשימותיו, פריצת דרך משמעותית בעבודתו אירעה ב-[[11 בנובמבר]] [[1675]], כאשר הציג את החשבון האינטגרלי בפעם הראשונה כשחישב את השטח שתחת הפונקציה y=x. הוא הנהיג לראשונה כמה מהסימנים המוסכמים במתמטיקה עד היום, לדוגמה: סימן ה[[אינטגרל]], המסמל [[S ארוכה|S לטינית מוארכת]], מהמילה "summa" (סכום, תמצית), וה-d המשמשת ל[[דיפרנציאל (מתמטיקה)|דיפרנציאל]] מהמילה הלטינית "differentia" (הפרש). הסימון הזה נחשב למוצלח מאוד עד ימינו. אולם עד שנת [[1684]], לא פרסם לייבניץ דבר בנושא החשבון האינפיניטסימלי. הכלל של גזירת מכפלה של פונקציות בחשבון אינפיניטסימלי עדיין נקרא "[[כלל לייבניץ]]". בנוסף, המשפט הקובע כיצד ומתי לבצע גזירה תחת סימן האינטגרל נקרא [[כלל לייבניץ לגזירה תחת סימן האינטגרל]].

ככל הנראה, לייבניץ, היה הראשון שחשב לחשב התכנסות של אינטגרל, באופן שסכומים חיוביים יתקזזו עם סכומים שליליים (מה שהוליד בהמשך את המונח "[[התכנסות בתנאי]]"), וניתן לשער שרעיון זה הוא תולדה של "תורת המונאדות" שפיתח בתחום הפילוסופי.

לייבניץ ניצל את תכונות ה[[אינפיניטסימל]]ים, וערך עליהם מניפולציות באופן שהציע שיש להם תכונות אלגבריות [[פרדוקס]]ליות. [[ג'ורג' ברקלי]], בחיבור שנקרא "האנליסט" וגם בחיבורו De Motu, ביקר את התוצאות האלו. מחקר עכשווי טען שהקלקולוס של לייבניץ היה חופשי מסתירות פנימיות, ושהיה מבוסס יותר מהביקורות האמפיריות של ברקלי.

מ-1711 עד מותו היה לייבניץ מעורב במחלוקת קדימות עם ג'ון קייל, ניוטון ואחרים לגבי האם לייבניץ גילה את הקלקולוס באופן בלתי תלוי בניוטון. תיאור מפורט של המחלוקת מופיע בערך [[מחלוקת לייבניץ - ניוטון|מחלוקת לייבניץ – ניוטון]].

השימוש באינפיניטסימלים במתמטיקה ספג ביקורת עזה על ידי ממשיכיו של [[קארל ויירשטראס]], אך שרד במדע ובהנדסה, ואפילו במתמטיקה ריגורוזית, דרך האמצעי החישובי היסודי הידוע כ[[דיפרנציאל (מתמטיקה)|דיפרנציאל]]. החל מ-1960, [[אברהם רובינזון]] עבד על בסיס [[ריגורוזי]] לאינפיניטסימלים של לייבניץ, באמצעות [[תורת המודלים]], ובהקשר של hyperreal numbers. ה[[אנליזה לא סטנדרטית|אנליזה הלא סטנדרטית]] הנבנית בדרך זו ניתנת לראייה כהצדקה מאוחרת של צורת ההסקה המתמטית של לייבניץ. עקרון המעבר של רובינזון ניתן להבנה כמימוש של חוק הרציפות ההיוריסטי של לייבניץ, בעוד ש[[פונקציית החלק הסטנדרטי]] מממשת את חוק ההומוגניות הטרסצנדנטי של לייבניץ.

=== Analysis situs – טופולוגיה ===
[[קובץ:Apollonian gasket.svg|ממוזער|שמאל|אריזת לייבניץ למעגלים, שלייבניץ תיאר את תהליך בנייתה במכתב, היא דוגמה מוקדמת לפרקטל. אריזת לייבניץ היא למעשה גרסה מוקדמת ל[[משולש שרפינסקי]] – זוהי גרסה בה משולש שירפינסקי מורכב מקווים עקומים ולא ישרים.]]

לייבניץ היה הראשון שהשתמש במונח analysis situs, אשר מאוחר יותר במאה ה-19 השתמשו בו כדי להתייחס למה שכיום נקרא טופולוגיה. ישנן שתי עמדות לגבי המידה בה לייבניץ חזה את התחום. עמדה אחת מבוטאת על ידי החוקר Mates בצטטו מאמר בגרמנית מ-1954 של יאקוב פרוידנטל, שטוען:

{{ציטוט|על אף שעבור לייבניץ המצב של סדרה של נקודות נקבע לחלוטין לפי המרחק ביניהן ומוחלף אם המרחק ביניהם מוחלף, תומכו [[לאונרד אוילר|אוילר]], במאמרו המפורסם מ-1736 המציג את הפתרון ל[[בעיית הגשרים של קניגסברג]] והכללותיה, השתמש במונח geometria situs כדי להתייחס לתכונה שהמצב של הנקודות לא משתנה תחת דפורמציות טופולוגיות. הוא, באופן מוטעה, זוקף לזכות לייבניץ את הצגת המונח... זה לעתים קרובות לא ברור שלייבניץ השתמש במונח במובן שונה לחלוטין ולכן לא ניתן לייחס לו תרומה ראשונית לייסוד הענף.}}

מאידך, Hideaki Hirano טוען אחרת, ומצטט את [[בנואה מנדלברוט|מנדלברוט]]:

{{ציטוט|לחקור את עבודותיו המדעיות של לייבניץ זוהי חוויה מפכחת. מלבד החשבון האינפיניטסימלי, ומחשבות אחרות שלו שהובאו לידי שלמות, המספר והמגוון של תגליות מזהירות בכתביו הוא מדהים. ניתן למצוא דוגמאות ב-"אריזות" שהוא תיאר... שגעון לייבניץ שלי מתחזק שוב לנוכח העובדה שהגיבור שלו ייחס משמעות רבה לסקלה גאומטרית. בעבודתו "Euclidis Prota"..., שהיא נסיון לחזק את האקסיומות של אוקלידס, הוא קובע...:"יש לי מגוון הגדרות לקו הישר. הקו הישר הוא עקום, שכל חלק שלו דומה לכללותו, ולו בלבד יש את התכונה הזו, לא רק בין עקומים אלא גם בין קבוצות". את הטיעון הזה ניתן להוכיח בימינו אנו.}}

הגאומטריה ה[[פרקטל]]ית שקידם מנדלברוט התבססה על רעיון [[דמיון עצמי|הדמיון-העצמי]] של לייבניץ ועל עקרון הרציפות שלו – "Natura non facit saltus". ניתן לראות שכאשר לייבניץ כתב, בנימה מטאפיזית: "הקו הישר הוא עקום, אשר כל חלק שלו דומה לשלם", הוא הקדים את זמנו בשתי מאות, וניבא במידת מה את הטופולוגיה המודרנית. בנוגע ל-"אריזות", לייבניץ כתב לחברו ועמיתו Des Bosses לדמיין מעגל, ואז לחסום בו שלושה מעגלים זהים עם רדיוס מקסימלי; לאחר מכן את הרווחים בין המעגלים הקטנים יותר ניתן למלא בשלושה מעגלים קטנים עוד יותר באמצעות אותו תהליך. את התהליך הזה ניתן להמשיך עד לאינסוף, וממנו ניתן לקבל רעיון טוב לגבי מהו דמיון-עצמי. השיפור של לייבניץ את האקסיומה של אוקלידס מכיל את אותו הרעיון.

== מדע והנדסה ==
כתביו של לייבניץ נידונים בימינו, ובמיוחד בעשורים האחרונים, לא רק בשל החיזויים שלהם ותגליות אפשריות שעדיין לא זוהו, אלא גם כדרכים לקדם את הידע הנוכחי. רבים מכתביו על פיזיקה נכללים בספרו של גרהרדט "Mathematical Writings".

=== פיזיקה ===

לייבניץ תרם תרומה רבה לסטטיקה ולדינמיקה המתפתחת בתקופה, לעיתים קרובות תוך יציאה נגד ההשקפות של דקארט וניוטון. בכתביו תיאר לייבניץ תאוריה של [[תנועה (פיזיקה)|תנועה]] המבוססת על [[אנרגיה קינטית]] ו[[אנרגיה פוטנציאלית]], אשר תיארה את ה[[מרחב (פיזיקה)|מרחב]] כיחסי, בעוד שניוטון אחז בדעה איתנה שהמרחב הוא אבסולוטי. דוגמה חשובה לחשיבה הפיזיקלית המתקדמת של לייבניץ מופיעה בחיבורו Specimen Dynamicum מ-1695.

עד הגילוי של [[חלקיק תת-אטומי|החלקיקים התת-אטומיים]] ו[[מכניקת הקוונטים]] המושלת בהם, רבים מרעיונותיו הספקולטיביים של לייבניץ על היבטים של הטבע שאינם ניתנים לרדוקציה לסטטיקה ודינמיקה השפיעו במידה מועטה. לדוגמה, השערתו כי המרחב, ה[[זמן]] והתנועה הם יחסיים ולא מוחלטים, היא כיום אבן יסוד בקוסמולוגיה המודרנית, ולייבניץ כתב: "לגבי דעתי, אני טענתי יותר מפעם אחת, שאני סובר כי המרחב הוא משהו יחסי בטבעו, כלומר שהוא דרגה של קיום סימולטני של ישויות, באותו אופן שהזמן מיוצג על ידי רצף של אירועים".

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

הוויכוח המדעי שניטש בין לייבניץ וניוטון עסק לא רק בתיאור המרחב והזמן, אלא התרחב עד מהרה למישורים מדעיים רבים נוספים. בעוד שבשנותיו המוקדמות אימץ לייבניץ את רעיונותיה של [[האסכולה האטומיסטית]] וקיבל באהדה רבה את ה[[פילוסופיה מכניסטית|פילוסופיה המכניסטית]], מאוחר יותר בחייו הוא ראה רבות ממסקנותיה כמנוגדות לתפיסת עולמו על דרכי פעולתו של הטבע. לייבניץ התנגד להיבטים מסוימים של התפיסה הניוטונית את האטומים, כמו למשל ראיית האטומים כ"בלתי ניתנים לחלוקה" ו"קשיחים במידה אינסופית". הוא דחה הנחות אלו על בסיס טענתו כי הן עומדות בסתירה לעקרון הרציפות – שכן התנגשויות של אטומים כאלה זה בזה יהיו בהכרח [[התנגשות אלסטית|התנגשויות אלסטיות]] מיידיות ואילו "הטבע לא עושה קפיצות".{{הערה|Leibniz's Philosophy of Physics{{צ-ספר|שם=Leibniz's Philosophy of Physics|קישור=https://plato.stanford.edu/archives/spr2014/entries/leibniz-physics/|שנת הוצאה=2014|מהדורה=Spring 2014|מו"ל=Metaphysics Research Lab, Stanford University|מחבר=Jeffrey K. McDonough}}|כיוון=שמאל}}

אחד הפרויקטים המרכזיים של לייבניץ היה להחיות מחדש את תורת ה[[כבידה]] של ניוטון כתאוריית [[מערבולת|מערבולות]]. מכתביו וממכתביו של לייבניץ ידוע כי התנגד לרעיונותיו של ניוטון בדבר הכבידה, וטען כי לשום כוח אין לייחס סגולות נסתרות, כמו משיכה בין גופים ללא מגע. אף על פי כן, הפרויקט של לייבניץ התקדם מעבר לניסיון זה, שכן בלבו עמד הניסיון להסביר את אחת הבעיות הקשות בפיזיקה, זו של [[קוהזיה|הקוהזיה של החומר]]. התפיסה של לייבניץ את מבנה החומר הייתה מורכבת וקשה להבנה בעיני בני דורו, אולם הדרך הפשוטה ביותר להבינה – עד כמה שהדבר מזמן אי דיוקים היסטוריים ומדעיים – היא לנקוט בגישה [[אנכרוניזם|אנכרוניסטית]]. לייבניץ יצא במאמרו "היפותזה פיזיקלית חדשה" מ-1670 נגד תמונת "החומר הפסיבי" המרכזית להשקפת העולם הקרטזית ותמך בתמונה דינמית של מבנה החומר כהסבר ל"תאחיזת החומר". הוא הציע לחקור את המבנה הנסתר והבלתי נדלה של החומר כאמצעי לגלות את המקור האמיתי לתופעות השונות. התפתחותה של הפיזיקה התת-אטומית במהלך מאה ה-20 עלתה בקנה אחד עם השקפה זו, ובמסגרתה הוכח שהאטום [[ביקוע גרעיני|אינו בלתי חדיר]] ונחשפה האמת הדינמית הבסיסית העומדת ביסוד מבנה החומר.

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

'''ה-vis viva'''
{{ערך מורחב|דינמיזם (מטאפיזיקה)}}

"[[הכוח החי]]" (בלטינית: vis viva) הוא mv<sup>2</sup>, פעמיים האנרגיה הקינטית של הגוף. לייבניץ סבר כי האנרגיה הכוללת נשמרת במערכות מכניות מסוימות, ועל כן החשיב את האנרגיה כמוטיב פנימי "מולד" של ה[[חומר]]. טענה זו נתפסה כמתחרה בהשקפה על מרכזיות [[חוק שימור התנע]] שהחזיקו בה ניוטון באנגליה ו[[דקארט]] בצרפת, ועל כן נדחתה. כיום ברור שגם ה[[תנע]] וגם ה[[אנרגיה]] נשמרים, ושתי הגישות משלימות זו את זו.

'''תרומות אחרות לפיזיקה'''

לייבניץ פרסם מאמרים חשובים ב[[מכניקה]]. בהמשך לעבודתו החלוצית של [[גלילאו גליליי]] על [[חוזק חומרים|חוזק קורות]] מספרו "שני המדעים החדשים", פרסם לייבניץ מספר מאמרים מאירי עיניים בתורת ה[[אלסטיות]] שעסקו ב[[כפיפה|כפיפתן]] של קורות אופקיות שעל הקצה החופשי שלהם תלויה משקולת. תוך שהוא מיישם את הכלים החדשים של האנליזה, לייבניץ תיקן במאמרים אלו מספר היבטים בטיפולו המקורי של גלילאו בבעיה,{{הערה|Leibniz and the foundations of physics [http://www.people.fas.harvard.edu/~jkmcdon/files/papers/Peer-Reviewed%20Articles/01_McDonough_Leibniz%20and%20the%20Foundations%20of%20Physics%20The%20Later%20Years_Phil%20Review%20Draft%20Prepared%20for%20Publication.pdf]|כיוון=שמאל}} במיוחד אלו שלא עלו בקנה אחד עם תוצאות ניסוייו של [[אדם מריוט]]. בתחום ה[[אופטיקה]], במחקר המודרני נמצא כי הוא גילה את [[עקרון מאופרטיוס]] (מקרה פרטי של [[עקרון הפעולה המינימלית]]) ותוצאות שונות הקשורות בו בסביבות 1707, כ-37 שנים לפני עבודתם של מאופרטיוס ואוילר בתחום.

=== מדעי טבע אחרים ===
[[קובץ:Houghton GC6.L5316.749p - Liebniz, Svmmi polyhistorias, tab III.jpg|ממוזער|שמאל|עמוד השער של המהדורה מ-1749 של ספרו של לייבניץ "Protogaea", שעוסק בגאולוגיה ובהיסטוריה של הטבע.]]
לייבניץ הציע כי ל[[כדור הארץ]] יש ליבה מותכת, טענה שהוכחה מאוחר יותר כנכונה ב[[גאולוגיה]] המודרנית. ב[[אמבריולוגיה]] הציע שאורגניזמים הם שילוב אינסופי של מבנים פנימיים. ב[[מדעי החיים]] וב[[פלאונטולוגיה]] הוא ביצע מחקר על [[אנטומיה]] השוואתית ומאובנים. בזכות גישתו החלוצית בחקר מאובנים כפי שהופיעה באחת העבודות המרכזיות שלו בנושא, "[[פרוטוגאיה|Protogaea]]",{{הערה|עבודה זו פורסמה רק לאחר מותו. היא תורגמה לאחרונה (2008) לאנגלית.}} נחשב לייבניץ לאחד מאבות הפלאונטולוגיה וה[[ספלאולוגיה]] (חקר ה[[מערה|מערות]]). "Protogaea" היא ניסיון שאפתני לתאר את התהליכים שעיצבו את כדור הארץ, ולייבניץ קיבץ בה תצפיות והשערות רבות על היווצרות כדור הארץ ותוואי הקרקע, על פעולת האש והמים, היווצרות [[סלע]]ים ו[[מינרל]]ים, מקורם של [[מלח (כימיה)|מלח]]ים, היווצרות של [[מאובן|מאובנ]]ים וזיהויים כשאריות של יצורים חיים. "Protogaea" מילאה תפקיד חשוב בהתפתחות מדעי כדור הארץ במאה ה-18, אולם אף על פי שאתגרה חלק מהתפיסות המדעיות הישנות בנוגע ל[[היסטוריה של כדור הארץ]], היא נעדרת [[לוח הזמנים הגאולוגי|לוח זמנים גאולוגי]] עבור התהליכים המתוארים בה, ולכן נתפסת כיום רק כחלק מה[[פרהיסטוריה]] של מדע הגאולוגיה (בשונה מפריצות הדרך המשמעותיות יותר של [[ג'יימס האטון]] בשלהי המאה ה-18).

ב[[רפואה]], הוא האיץ ב[[פיזיולוג]]ים של התקופה – באמצעות מספר תוצאות – לבסס את התאוריות שלהם על תצפיות השוואתיות מפורטות ועל ניסויים, ולהבדיל בין אמיתות מדעיות רפואיות מבוססת היטב לנקודות מבט מטאפיזיות. בהקשר זה ידועה הבחנתו החדה בין גופים הבנויים מ[[חומר אורגני]] – או בשפתו שלו מכונות של הטבע (machines of nature – divine machines), ומכונות מלאכותיות (artificial machines), הבחנה שהיא פילוסופית במהותה, אך שיש בה לחזות התפתחויות ותגליות רבות ב[[ביולוגיה]] ובחקר מבנה ה[[אורגניזם]]. למשל, לייבניץ כתב כי הגוף הטבעי הוא אוטומט שברא אלוהים ושהוא שונה מכל מכונה שיצר האדם, וזאת בכך שלכל חלק זעיר בגוף האנושי יכולת עצמית משלו, מורכבת לאין שעור ואינו מהווה חלק מוגבל במכונה גדולה. לטענתו, כל חלק זעיר בגוף מכיל את המרשם של הגוף השלם – הבחנה שניתן לראות אותה כחיזוי של גילוי ה[[דנ"א]], המצוי בכל תא ומכיל את המידע על הגוף כולו. גם התאוריה שלו על אינדיבידואליות מקוננת{{הערה|{{קישור כללי|כתובת=https://ohadnachtomy.files.wordpress.com/2015/05/units_of_selection-11.pdf|הכותב=Ohad Nachtomy, Ayelet Shavit, Justin Smith|כותרת=Leibnizian Organisms, Nested Individuals, and Units of Selection|אתר=ohadnachtomy.files.wordpress.com|תאריך_וידוא=2019-01-05}}|כיוון=שמאל}} (באנגלית: Nested Individuality) רלוונטית לביולוגיה, והיא רלוונטית אף יותר לתחום הפסיכולוגיה.

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

אף על פי שהוגים שקדמו לו (כדוגמת [[אוגוסטינוס]], [[מישל דה מונטן]] ודקארט) שיערו השערות על [[זיכרון|זכרונ]]ות לא נגישים ופעולות שנעשות בהיעדר מודעות, מעולם לפניו לא זכה נושא התהליכים הלא מודעים לדיון כה מעמיק ומפורט. אמונתו החדשנית של לייבניץ כי תהליכים לא מודעים יכולים להטות את תהליך קבלת ההחלטות של בני אדם, השיפוט שלהם ואף את התגבשות הרעיונות במוח, עמדה בניגוד גמור לעמדה הרווחת בתקופה, וזכתה לאשרור מלא במחקרים מודרניים. את העבודה שלו על התאמת תאוריית ה[[תודעה]] לעקרון הרציפות, כמו גם את הבחנותיו בנוגע ל[[שינה]], ניתן לראות כתאוריה מוקדמת של [[שלבי השינה]]. הוא האמין שעל פי העיקרון שתופעות בטבע הן רציפות, זה קרוב לוודאי שלמעבר בין מצבים מודעים למצבים לא מודעים יש שלבי ביניים. אף על פי שרעיונותיו של לייבניץ בנוגע ל-"הרמוניה הקבועה מראש" נדחו על ידי רבים, פסיכולוגים רבים אימצו את רעיונותיו על הקבלה פסיכופיזית (psychophysical parallelism). הרעיונות האלה מתייחסים ל[[דואליזם|בעיית הגוף ונפש]], וקובעים כי התודעה והמוח לא משפיעים זה על זה, אלא חיים מראש בהרמוניה.

ב[[תודעה|פילוסופיה של התודעה]], לייבניץ חזה רבים מההיבטים של הוויכוח המודרני הנוקב סביב הבעייתיות של התאמת מצבים תודעתיים למצבים פיזיקליים של המוח. הוא היטיב לתאר את מה שמכונה כיום בקרב [[מדעי המוח|חוקרי מוח]] ו[[בינה מלאכותית]] "[[הבעיה הקשה של התודעה]]",{{הערה|להבדיל "מהבעיות הקלות של התודעה", העוסקות ביכולת המוח לעבד מידע, לדווח על מצבים מנטליים, למקד תשומת לב וכו'. אלו גם בעיות מורכבות ביותר, אך הקונצנזוס המדעי גורס כי הן ניתנות לפתרון במסגרת ראיית המוח "כמכונה חושבת".}} הנוגעת במישרין לחווייתנו הסובייקטיבית את המידע המתקבל מחושינו על העולם הסובב אותנו – ה[[קווליה]]. לייבניץ סבר, בטיעון שמכונה "[[פער לייבניץ]]", כי אילו היינו יצורים זעירים שיכולים לטייל בנפתולי המוח, לא היינו מוצאים דבר שהיה מעיד על קיומה של תודעה. אחת ההמחשות המפורסמות שלו להשקפה זו היא אנלוגיית טחנת הרוח (Leibniz's windmill argument), שקובעת בקצרה כי חוויית התפיסה לא יכולה להיות מוסברת באמצעות כל מנגנון שהוא, מורכב ככל שיהיה, וזאת עקב היעדר נקודת מבט (viewpoint) שמעניקה צביון אחדותי למנגנוני התפיסה המכניים. נקודת מבט זו היא זו שאחראית לסובייקטיביות החוויה התפיסתית של המתבונן.

לייבניץ האמין כי לתודעה יש תפקיד פעיל ביותר ב[[תפיסה]], ושהיא משחקת תפקיד גדול מרכזי הרבה יותר בקלט החושי. הוא התמקד במיוחד בתפיסה, והבחין בין סוג התפיסה שאנו מודעים לה כגירוי, והסוג השני שאנו מודעים לו כתפיסה זרה. הוא טען שיש הרבה "petites perceptions" – תפיסות זעירות שאנו קולטים אך לא מודעים להן. לדוגמה, כאשר שק של אורז נקרע, אנו רואים את גרגרי האורז הנופלים אך לא בהכרח מודעים לכמה גרגרי אורז נצברים בערימה. לפי העיקרון הזה, יש מספר אינסופי של תפיסות בתוכנו בכל זמן נתון אשר אנו לא מודעים אליהן. כדי שזה יהיה נכון, חייב להיות חלק של התודעה אשר אנו לא מודעים לו בזמן נתון. במקרה של שק האורז, איננו מסוגלים להיות מודעים במקביל לתהליך הנפילה של כל גרגר אורז, כך שהתודעה מצליחה "להתייחס" רק לשבריר מתוך כל גרגרי ה[[אורז]]. באופן הזה, את תאוריית התפיסה של לייבניץ ניתן לראות כאחת מני תאוריות רבות המובילות לרעיון הלא מודע. בנוסף, לרעיון של [[מסר תת-ספי|גירוי תת-ספי]] (subliminal stimuli) יש גם זרעים בתאוריה של לייבניץ על תפיסות קטנות. כמו כן, כשלייבניץ כתב בכתבים מסוימים על ה-"פריפריה של התודעה" (Periphery of consciousness), הוא גילה הבנה על האופן שבו החשיבה מאורגנת במוח וייתכן שאף (הדבר נתון לפרשנות) על המבנה הארגוני של המוח וחלוקת התפקידים של החלקים השונים בו.

רעיונותיו של לייבניץ בנוגע למוזיקה ותפיסה טונאלית השפיעו על ה[[פסיכולוגיה ניסויית|פסיכולוגיה הניסויית]] של [[וילהלם וונדט]].

=== מדעי החברה ===
בתחום של בריאות ציבורית, הוא תמך בהקמת רשות רפואית אדמיניסטרטיבית עם אחיזה ב[[אפידמיולוגיה]] ו[[רפואה וטרינרית]]. הוא עמל רבות כדי לקדם תוכנית אימון רפואית עם אוריינטציה על בריאות ציבורית ואמצעי מניעת מחלות. ב[[כלכלה]], הוא הציע רפורמות מס וסכמת ביטוח לאומי ודן באיזון המסחר (Balance of Trade). הוא היה אחד החלוצים המוקדמים ב[[אקטואריה|מדע אקטוארי]], וחישב את מחיר הרכישה של קצבאות חיים ואת הנזילות של חוב כספי של מדינה.{{הערה|{{cite book|last1=Leader|first1=editor, Timothy Gowers ; associate editors, June Barrow-Green, Imre|title=The Princeton Companion to Mathematics|url=https://archive.org/details/princetoncompani00gowe_906|date=2008|publisher=Princeton University Press|location=Princeton|isbn=978-0-691-11880-2|page=[https://archive.org/details/princetoncompani00gowe_906/page/n738 745]}}}} הוא אף תיאר בכתביו משהו שמזכיר את [[תורת המשחקים]]. ב[[סוציולוגיה]] הוא הניח את היסודות ל[[תורת התקשורת]].

=== טכנולוגיה ===
[[קובץ:Papinengine2.jpg|שמאל|ממוזער|מנוע הקיטור השני של פפין, 1707, שפותח בעזרתו של לייבניץ.]]
ב-1906, גרלנד פרסם{{הערה|[https://archive.org/details/leibnizensnachg00gerlgoog Leibniz's writings of physical, mechanical and technical content], provided with explanatory notes, by Ernst Gerland|כיוון=שמאל}} כרך של כתבי לייבניץ בנוגע להמצאות הפרקטיות הרבות שלו ולעבודתו ההנדסית. נכון לעכשיו, מעט מאוד מבין הכתבים האלו תורגמו לאנגלית. מכתביו, עולה כי לייבניץ היה ממציא רציני, עם כבוד רב להבטים הפרקטיים של החיים. כשהוא מיישם את המוטו שלו theoria cum praxi – "תאוריה הופכת למעשה", לייבניץ טען שתאוריה חייבת להיות משולבת עם התנסות ביישומים פרקטיים, ולכן הועלה על נס לפעמים כאבי המדע היישומי. הוא תכנן מדחפים מונעי רוח, [[משאבה|משאבות]] מים,{{הערה|ה[[מזרקה|מזרקות]] המפורסמות ב[[גן (נוי)|גני]] הרנהאוזן שב[[הנובר]] מבוססות על רעיונות של לייבניץ.}} מכונות [[כרייה]] כדי להוציא שמן, [[מכבש הידראולי|מכבשים הידראוליים]], מנורות, צוללות, אמצעי [[ניווט]] ימי, [[שעון|שעונ]]ים ועוד. הוא אף הציע שיטה להוצאת המליחות מן המים ([[התפלת מים]]). בהתכתבות עם [[דני פפן]], השניים הגו{{הערה|[http://www.21stcenturysciencetech.com/Articles%202008/papin_steam_engine.pdf Leibniz, Papin, and The Steam Engine], by Philip Valenti|כיוון=שמאל}} את הרעיונות התאורטיים העומדים בבסיס מנוע הקיטור, ויחדיו תכננו את [[מנוע קיטור|מנוע הקיטור]] הראשון. אף שהיה זה אב טיפוס פשוט למדי למנוע הקיטור, הרעיונות שהדגים היו בין הגורמים שהתניעו את תחילת [[המהפכה התעשייתית]].

בין השנים 1680 ל-1685 נאבק לייבניץ להתגבר על השיטפונות הכרוניים באזור [[הרי הארץ]], אך לא הצליח. לייבניץ ניסה לרתום את אנרגיית הרוח לכדי שימוש מעשי במכרות הרי ההארץ, וקיימים מתווים תכנוניים רבים שלו שנועדו לממש חזון זה (על אף שמבחינת לייבניץ, פרויקט הכרייה הזה הסתיים בכישלון). הוא תכנן אוטומציות רבות כדי לייעל את תהליך הכרייה, אך רבות מההמצאות האלה לא היו יכולות לבוא לידי מימוש בזמנו. בין התכנונים והתרשימים הרבים שלו שתי דוגמאות{{הערה|Gottried Wilhelm Leibniz Bibliothek {{קישור כללי|כותרת=Gottfried Wilhelm Leibniz Bibliothek|תאריך=2005-01-10|שפה=de|כתובת=http://www.gwlb.de/Leibniz/Leibnizarchiv/english/Leibniz_Life/windmill.htm|תאריך_וידוא=2019-01-05|אתר=www.gwlb.de|הכותב=Gottfried Wilhelm Leibniz Bibliothek}}|כיוון=שמאל}} מהתחום של [[בקרה אוטומטית]] בולטות במיוחד: אלו הם התרשים שלו למכונה שתפנה באופן אוטומטי את המפרשים של [[טחנת רוח]] לכיוון הרוח, והקונספציה שלו של [[בלם (מכשיר)|מנגנון בלימה]] אוטומטי כדי לשלוט במהירות הסיבוב של המפרשים של טחנת רוח.

במאמר "Leibniz's "inventum memorabile" :the conception of speed control from march 1686",{{הערה|Leibniz' Inventum Memorabile Die Konzeption einer Drehzahlregelung vom März 1686 {{צ-מאמר|שם=Leibniz' Inventum Memorabile Die Konzeption einer Drehzahlregelung vom März 1686|עמ=113–119|קישור=https://www.jstor.org/stable/40693793?seq=1#metadata_info_tab_contents|כתב עת=Studia Leibnitiana|כרך=8|שנת הוצאה=1976|מחבר=Hans Peter Münzenmayer}}|כיוון=שמאל}} סיפק המחבר פרטים רבים על המאפיינים הפונקציונליים של מנגנון הבלימה של לייבניץ, והראה שמנגנון ויסות המהירות הזה הוא למעשה מנגנון מכני מבוסס [[משוב]] במובן המודרני, אשר על אף שלא התניע את [[תורת הבקרה]], הקדים באופן מובהק התקדמויות רבות מאוחרות יותר.

'''תורת החישוב'''

לייבניץ עשוי להיות מדען המחשב ותאורטיקן המידע הראשון. מוקדם בחייו, הוא המציא את [[בסיס בינארי|מערכת המספרים הבינארית]]. הוא חזה את ה[[אינטרפולציה|אינטרפולציה הלגרנז'יאנית]] ו[[תורת המידע האלגוריתמית]]. ל[[קלקולוס רציונליזטור]] שלו יש מאפיינים דומים לאלו של [[מכונת טיורינג אוניברסלית]]. ב-1934, [[נורברט וינר]] טען שהוא מצא בין כתבי לייבניץ תיאור של מושג ה[[משוב]], המרכזי לתאוריית ה[[קיברנטיקה]] של וינר.

ב-1671, לייבניץ התחיל להמציא מכונה שתוכל לבצע את כל 4 הפעולות האריתמטיות, ובהדרגה שיפר אותה לאורך מספר שנים. מכונת החישוב שפיתח, [[מחשב הפסיעות]] (ה-stepped reckoner), משכה תשומת לב רבה והייתה הבסיס לבחירתו ל[[החברה המלכותית|חברה המלכותית]] ב-1673. מספר מכונות כאלה נעשו במהלך השנים שעשה ב[[הנובר]], בידי איש מלאכה שעבד תחת השגחתו של לייבניץ. זאת לא הייתה הצלחה מיידית כי לייבניץ לא הצליח להפוך למכני באופן מלא את פעולת הנשיאה ([[:en:Carry_flag|carry operation]]). ב-1674 לייבניץ עמל רבות כדי לבנות דגם "אנליטי" של מכונת החישוב שלו – מכשיר לקביעת הפתרונות של משוואות, ובשני כתבי יד מדצמבר 1674 תיאר מכונה שמסוגלת{{הערה|עמודים 108–109 ,the tangled origins of the leibnizian calculus
{{צ-ספר|מו"ל=World Scientific|שם=The Tangled Origins of the Leibnizian Calculus: A Case Study of a Mathematical Revolution|שפה=en|שנת הוצאה=2012|קישור=https://books.google.co.il/books?id=s4M7qp02cGMC&printsec=frontcover&dq=the+tangled+origins+of+the+leibnizian+calculus&hl=iw&sa=X&ved=0ahUKEwj-n9u36Y3NAhUExRQKHU0jCtkQ6AEIGjAA#v=onepage&q=the%2520tangled%2520origins%2520of%2520the%2520leibnizian%2520calculus&f=false|מחבר=Richard C. Brown}}}} אף לפתור משוואות אלגבריות (מכונה שנקראה על ידי לייבניץ Instrumentum Algebraicum<ref>{{קישור כללי|כתובת=https://webarchive.bbaw.de/default/20201127135804/https://jahresthema.bbaw.de/2015_2016/objekt_des_monats/august-2016-der-leibnizsche-analogrechner|כותרת=August 2016: Der Leibniz'sche Analogrechner|אתר=webarchive.bbaw.de|תאריך_וידוא=2024-12-31}}</ref>). מכונה זאת לא התבססה על גלגלי שיניים, אלא על מנגנון מכני מורכב שכלל מוטות, מיתרים, [[גלגלת|גלגלות]] ו[[מפרק]]ים כדי לממש מכנית את החישוב של פונקציות פולינומיות, ועל כן היא מהווה בפני עצמה נקודת ציון בהיסטוריה של [[מחשב אנלוגי|מחשבים אנלוגיים]]. שנים רבות מאוחר יותר, [[יוהאן אנדראס זגנר]] המציא באופן בלתי תלוי מנגנון מכני דומה, וב-1770 הממציא האנגלי ג'ון ראונינג המציא דגם מתפקד נוסף של מכשיר כזה.

לייבניץ גם תכנן [[מכונת הצפנה]]{{הערה|שם=first}} (שכעת שוחזרה), שנתגלתה על ידי ניקולאס רשר ב-2010. עוד בטרם בנה את המכונה, לייבניץ פיתח רעיונות [[קריפטוגרפיה|קריפטוגרפיים]] שהנחו אותו בבנייתה. לייבניץ ראה ש[[צופן החלפה|צפני ההזזה]] הפשוטים בהם נעשה שימוש נרחב באותה תקופה הם קלים מדי לפריצה, ועל כן פיתח מכונה מורכבת בהרבה, כזו המבוססת על הצפנה פוליאלפביתית. מכונת ה[[הצפנה]] שלו ראויה לציון גם בשל העובדה שהייתה אחת המכונות הראשונות ששילבו מנגנון הזנת קלט דמוי [[מקלדת מחשב]]. הסבר מקיף על אופן הפעולה שלה ניתן במאמר העדכני "Leibniz and cryptography" של ניקולאס רשר.

לייבניץ הלך וחתר בהדרגה לקראת מושגים של [[תוכנה]] ו[[חומרה]] אשר פותחו רק הרבה יותר מאוחר על ידי [[צ'ארלס בבג']] ו[[עדה לאבלייס]]. כתביו מעידים כי הבין היטב את החשיבות הייחודית שיש לחישובים בבסיס בינארי (כלומר בספרות של 0 ו-1) לצורך מימוש [[אלגברה בוליאנית|פעולות בוליאניות]] ([[פעולה לוגית|פעולות לוגיות]]), והוא אף הותיר אחריו מתווה תכנוני ל[[מכונת חישוב]] בינארית{{הערה|{{קישור כללי|כתובת=http://www.bibnum.education.fr/sites/default/files/69-analysis-leibniz.pdf|הכותב=Yves Serra|כותרת=Leibniz’s De Progressione Dyadica manuscript|אתר=www.bibnum.education.fr|תאריך_וידוא=2019-01-05}}|כיוון=שמאל}} – ב-[[1679]], בזמן שהרהר על האריתמטיקה הבינארית שלו, לייבניץ דמיין מכונה שבה מספרים בינאריים יהיו מיוצגים באמצעות גולות, הנשלטות באמצעות מיון ראשוני של כרטיסים מנוקבים. המכונה המופשטת שתיאר (בחיבורו De progressione Dyadica) עבדה ללא שימוש בגלגלי שיניים או גלילים – אלא רק באמצעות גולות, חורים (שלפי תיאורו יכולים להיות במצב "סגור" או "פתוח", באנלוגיה למעגל חשמלי שיכול להיות דלוק או כבוי), מקלות ותעלות להובלה של הגולות. כתבים אחרים של לייבניץ מכילים אף מתווה לבניית ממיר עשרוני-בינארי{{הערה|Technology and Mathematics: Philosophical and Historical Investigations, p.49-52|כיוון=שמאל}} (ששוחזר לאחרונה): מעין מכשיר המתווך בין מפעיל המכונה הבינארית (שעושה שימוש בבסיס עשרוני) למכונה עצמה (שעושה שימוש בבסיס בינארי). הצעה זו ראויה לציון, ומשום שלייבניץ התייחס בה לראשונה ל[[ממשק משתמש|ממשק אדם-מחשב]], כלומר לבעיות הנוגעות לתרגום ל[[שפת מכונה]] ולנוחיות התפעול שלה בידי המשתמש. המחשבים האלקטרוניים הדיגיטליים המודרניים מחליפים את הגולות של לייבניץ המונעות בידי הכבידה באוגרי הזזה, הפרשי מתח ופולסים של אלקטרונים, אבל המבנה הבסיסי ועקרון העבודה שלהם הוא בדיוק כפי שלייבניץ תיאר ב-1679.

=== ספרנות ===

במהלך שירותו כספרן בספריות הדוכסות שבהנובר ובוולפנבוטל, לייבניץ הפך לאחד המייסדים של [[מדעי המידע]]. הספרייה שבוולפנבוטל הייתה עצומה יחסית לתקופתה, שכן היא הכילה יותר מ-100,000 כרכים, ולייבניץ עזר לתכנן בניין חדש עבורה, אשר מאמינים כי הוא הבניין החדש שתוכנן במפורש להיות ספרייה. הוא גם תכנן מערכת סידורית (indexing system) חדשה לספריות, לכאורה ללא שידע על קיומה של מערכת אחרת כזאת ב[[הספרייה הבודליינית|ספרייה הבודליינית]] שב[[אוקספורד]]. הוא גם קרא למוציאים לאור לערוך תקצירים של כל הכותרים החדשים שהם הפיקו בכל שנה בצורה סטנדרטית מסוימת שתקל על מלאכת הסידור. הוא קיווה שפרויקט התקצור הזה יכלול בסופו של דבר כל מה שהודפס מתקופתו של [[יוהאן גוטנברג|גוטנברג]] ועד לימיו שלו. אף אחת מההצעות שלו לא השיגה הצלחה בתקופתו, אך משהו דומה להן הפך לפרקטיקה סטנדרטית בקרב מוציאים לאור בשפה האנגלית במהלך המאה ה-20, תחת חסותן של [[ספריית הקונגרס]] ו[[הספרייה הבריטית]].

הוא קרא לייסוד של [[בסיס נתונים]] [[אמפיריציזם|אמפירי]] כדרך לקדם את כל המדעים. רעיונות שלו כמו השפה האוניברסלית, הקלקולוס רציוסינטור, ו-"קהילת התודעות" – נועדו, בין היתר, להביא אחדות פוליטית ודתית לאירופה. ניתן לראות בהם גם חיזוי לא מכוון של שפות מלאכותיות (כמו [[אספרנטו]] והמתחרות שלה), [[לוגיקה סימבולית]], ואף ה[[World Wide Web|רשת הכלל עולמית]].

=== קידום חברות מדעיות ===

לייבניץ הדגיש ש[[מחקר ופיתוח|מחקר]] הוא משימה שיתופית. לכן הוא תמך בהתלהבות בהקמה של חברות מדעיות לאומיות לפי קווים דומים לזה של [[החברה המלכותית]] הבריטית והאקדמיה הצרפתית המלכותית למדעים. באופן יותר ספציפי, בהתכתבויותיו ומסעותיו הוא דחף להקמת חברות כאלה בדרזדן, [[סנט פטרסבורג]], וינה וברלין. רק פרויקט אחד מבין אלה הגיע לשלב המעשה: ב-1700, האקדמיה למדעים בברלין הוקמה. לייבניץ היה אחראי על הקמת האקדמיה, ושירת כנשיא שלה במשך שארית חייו. אקדמיה זו הפכה מאוחר יותר לאקדמיה הגרמנית למדעים, ה[[מוציאה לאור]] של המהדורה הקריטית של כתביו.

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

לייבניץ לא תמך ב[[אבסולוטיזם פוליטי|מונרכיה אבסולוטית]] כמו ש[[תומאס הובס|הובס]] תמך בה, או בעריצות בכל צורה שהיא. הוא גם לא דגל בהשקפותיו של בן תקופתו [[ג'ון לוק]] בנושאים פוליטיים וחוקתיים, שתמך בדמוקרטיה באמריקה של [[המאה ה-18]] ומאוחר יותר בכל מקום אחר. קטע ממכתב מ-[[1695]] לפיליפ, בנו של הברון בוינבורג, מבטא את השקפתו הפוליטית של לייבניץ:

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

ב-[[1677]], קרא לייבניץ להקמתה של קונפדרציה אירופית, שתנוהל בידי מועצה או סנאט, שחבריו ייצגו אומות שלמות ויהיו חופשיים להצביע על-פי מצפונם. קריאה זו נחשבת לעיתים לחיזוי של [[האיחוד האירופי]]. לייבניץ האמין שאירופה תאמץ דת אחידה. הוא חזר על הצעות אלה ב-[[1715]].

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

=== אקומניזם ===

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

== פילוסופיה ==

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

לייבניץ תארך את ראשית דרכו כפילוסוף לפרסום חיבורו "מאמר על מטאפיזיקה", אשר הוא חיבר ב-1686 כפרשנות לנושא סביבו הייתה מחלוקת בין מלברנש וארנו. פרסום זה הוביל לתכתובת ענפה ורבת ערך עם ארנו; היא וחיבורו מאמר על המטאפיזיקה לא פורסמו עד המאה ה-19. ב-1695, לייבניץ עשה את כניסתו הציבורית לעולם הפילוסופיה האירופי עם מאמר בכתב עת שכותרתו – "מערכת חדשה של הטבע ותקשורת של אלמנטים פשוטים". בין 1695 ו-1705, הוא חיבר את "מאמרים חדשים על התבונה האנושית", פרשנות ארוכה לחיבורו של [[ג'ון לוק]] מ-1690 "[[מסה על שכל האדם]]", אבל לאחר ששמע על מותו של לוק ב-1704, הוא איבד את התשוקה לפרסמו, כך שהחיבור פורסם רק ב-1765. ה-"מונאדולוגיה", שחובר ב-1714 ופורסם לאחר מותו, מורכב מ-90 [[אפוריזם|אפוריזמ]]ים.

לייבניץ פגש את [[ברוך שפינוזה|שפינוזה]] ב-1676, קרא כמה ממאמריו הלא מפורסמים, ומאז העריך מאוד את רעיונותיו של שפינוזה. אף שלייבניץ העריך את האינטלקט העוצמתי של שפינוזה, הוא גם מאוד התאכזב מכמה ממסקנותיו של שפינוזה, במיוחד כשאלו היו לא עקביות עם האורתודוקסיות הנוצרית.

שלא כמו דקארט ושפינוזה, לייבניץ רכש ידע מקיף ויסודי בפילוסופיה באוניברסיטה. הוא הושפע מהפרופסור לפילוסופיה בלייפציג יאקוב תומאסיוס, אשר גם הנחה אותו בכתיבת תזת ה-BA שלו בפילוסופיה. הוא גם קרא בלהט את פרנסיסקו סוארץ, [[ישועי]] ספרדי שזכה לכבוד רב באוניברסיטאות לותרניות. לייבניץ גילה עניין רב בשיטות והמסקנות החדשות של דקארט, הויגנס, ניוטון, ו[[רוברט בויל|בויל]], אבל ראה את עבודתם דרך עדשות סכולסטיות כבדות, כלומר בצורת ראייה כבדה המערבת רעיונות פילוסופיים וסכולסטיים רבים, ולא בצורת ראייה מתמטית גרידא. עם זאת, השיטות ותחומי העניין של לייבניץ לעיתים קרובות חוזות את ה[[לוגיקה]], וה[[פילוסופיה אנליטית|פילוסופיה האנליטית]] והלינגוויסטית של המאה ה-20.

בספריו הוא היה הראשון שהשתמש במונח [[קומפוסיביליות]].
=== העקרונות ===
בהגותו הפילוסופית, הפעיל לייבניץ אחד או יותר משבעת העקרונות הפילוסופיים היסודיים הבאים:
* זהות/סתירה (Identity/contradiction) – אם טענה נכונה, אזי שלילתה שגויה, ולהפך.
* זהות הבלתי ניתנים להבחנה (Identity of indiscernibles) – לא ייתכן שכל תכונותיהם של שני דברים המוגדרים כשונים יהיו משותפות. אם כל תכונה שנושא X היא גם תכונה של Y, וההפך, אזי X ו-Y זהים. ההנחה ששני דברים הם בלתי ניתנים להבחנה, היא כמו לכנות בשני שמות שונים את אותו הדבר. עיקרון זה מופעל לעיתים קרובות בלוגיקה מודרנית ובפילוסופיה, ונקרא לעיתים "חוק לייבניץ". הוא משך הכי הרבה מחלוקת וביקורת, במיוחד מכיוון [[פיזיקת חלקיקים|תאוריית החלקיקים]] ו[[תורת הקוונטים]].
* הטעם המספיק (Sufficient reason) – "חייב להיות טעם מספיק לכל דבר להתקיים, לכל אירוע להתרחש, ולכל אמת להתקבל". עיקרון זה היה מוכר קודם לכן אך ניסוחו של לייבניץ השפיע עמוקות על הפילוסופיה המערבית כנקודת מוצא עבור [[קאנט]] ובעבודת הדוקטורט של [[שופנהאואר]], כמו כן העיקרון מהווה נדבך ואף ניסוח ל[[הטיעון הקוסמולוגי|טיעון הקוסמולוגי]].
* [[הרמוניה קבועה מראש]] (Pre-established harmony) – "טבעו הבסיסי של כל אלמנט פשוט הוא כזה שמה שקורה לאחד תואם את מה שקורה לכל האחרים מסוגו, וזאת מבלי הפעולה הישירה שלהם אחד על השני" (מאמר על מטאפיזיקה, פסקה 14). זכוכית שנופלת לקרקע מתנפצת מפני שהיא "יודעת" שהיא פגעה בקרקע, ולא מפני שהפגיעה בקרקע "מאלצת" את הזכוכית להתנפץ.
* חוק הרציפות (Law of Continuity) – בניסוחו של לייבניץ: Natura non facit saltus ("[[הטבע לא עושה קפיצות]]").
* אופטימיות (Optimism) – "האל בהחלט תמיד בוחר את הטוב ביותר".
* שפע (Plenitude) – לייבניץ האמין שהטוב בכל העולמות האפשריים יממש כל אפשרות בת-קיום, וטען בתאודיציה שהעולם שהוא הטוב מבין כל העולמות האפשריים יכיל את כל האפשרויות, כאשר תפיסתנו המוגבלת את מושג ה[[נצח]] אינה מספקת סיבה כלשהי לפקפק בשלמותו של הטבע.

===תורת ה"מונאדות"===
[[קובץ:Leibniz Monadology 1.jpg|ממוזער|עמוד מתוך העותק האישי של לייבניץ של ספרו "מונאדולוגיה".]]
{{ערך מורחב|מונאדה (לייבניץ)}}
התרומה הפילוסופית של לייבניץ ל[[מטאפיזיקה]] מבוססת על [[מונאדה (לייבניץ)|מונאדולוגיה]], שמנהיגה את המונאדות (ששמן נגזר מן המילה ה[[יוונית]] "monas" – יחידה) כ"צורות משמעותיות של קיום", הדומות לאטומים רוחניים, אלמותיים, שאינם ניתנים לפירוק, נפרדים, ושנשמעים לחוקים מיוחדים משלהם. צורות אלו הן "היחידות האולטימטיביות של הקיום בטבע", וניתן להשוות אותן לקורפוסקולים ב[[פילוסופיה מכניסטית|פילוסופיה המכניסטית]] של [[רנה דקארט]] ואחרים. למרות קווי הדמיון לאטומים חומריים, כל אחת מהמונאדות היא ייחודית, והן אינן משתנות עם הזמן אלא יכולות רק להיווצר ולהישמד. מונאדות אינן מכילות חלקים אך עם זאת עדיין קיימות בזכות האיכויות המיוחסות להן. לפי לייבניץ, מונאדות הן ישויות אלמנטריות עם תפיסה מטושטשת וחלקית אחת של השנייה. הן אינן באות במגע זו עם זו ("חסרות חלונות"), אך הן משקפות את כל היקום בהרמוניה שניטעה בהם מראש. מונאדות הן מרכז של [[כוח (פיזיקה)|כוח]], בעוד ש[[מרחב (פיזיקה)|מרחב]], [[חומר]] ו[[תנועה (פיזיקה)|תנועה]] הם לגמרי [[פנומנולוגיה|פנומנליים]]. לייבניץ ניסה לפתור כך את [[הבעיה הפסיכופיזית|בעיית גוף ונפש]] שעולה בשיטה שבנה דקארט, וכן את בעיית הפרטנות בשיטתו של [[ברוך שפינוזה]], שאומר כי היצורים הנפרדים הם רק תוצרים מקריים של יסוד אחד ויחיד.

הוכחתו של לייבניץ לקיום האלוהים מופיעה בתאודיציאה. ההיגיון והתבונה נשלטים על ידי [[חוק האי-סתירה|עקרון הסתירה]] ו[[עקרון הסיבה המספקת]], ולייבניץ הסיק באמצעות העיקרון השני שהסיבה הראשונית של כל הדברים חייבת להיות האל. כל מה שאנו רואים או חווים נתון לשינוי, והעובדה שהעולם הזה מהווה [[קונטינגנציה|אמת קונטינגנטית]] (ולא אנליטית) נגזרת מהאפשרות שהוא היה מאורגן אחרת במרחב ובזמן. העולם הקונטינגנטי חייב להיות בעל סיבה מספקת לקיומו. לייבניץ נעזר בספר גאומטריה כדי להדגים את תהליך החשיבה שלו. אם ספר זה הוא פרט בשרשרת אינסופית של עותקים, חייבת להיות סיבה ראשונית מסוימת לתוכן של הספר. לייבניץ הסיק מכך שחייבת להיות "מונאדה ראשית" ("''monas monadum''") בהיררכיה של מונאדות, אותה הוא מזהה עם האלוהים.

לפי תורת המונאדות, העולם כולו בנוי מ[[אינסוף]] חלקיקים קטנים לאין שיעור, לא מוחשיים, שמרכיבים את הכול. המהות ה[[אונטולוגיה|אונטולוגית]] של המונאדה היא הפשטות הבלתי ניתנת לרדוקציה שלה. שלא כמו חומר, מונאדות אינן בעלות שום סממן חומרי או מרחבי. ההוכחה המרכזית שלו לתפיסה זו, היא [[ניסוי מחשבתי]] שבו מפרקים בכל-פעם עצם לעוד ועוד חלקים. לייבניץ טען שנהייה חייבים, בסופו של דבר, להגיע למרכיבים הבסיסיים ביותר של העצם, אחרת לא ניתן להסביר ממה הוא בנוי (אם חלקיקים מהם הוא בנוי גם הם בנויים ממשהו), שזו הרי טענה אבסורדית. החלקיקים אליהם נגיע בסוף לא יכולים להיות חומריים, ובכלל לא להימצא במרחב, שהרי המרחב תמיד ניתן לחלוקה (אם נמצא אובייקט כלשהו התופס חלק במרחב, נוכל להסתכל כעת על חצי מהאובייקט, ולאחר-מכן על חצי מהחצי של האובייקט, וכך הלאה) וכך הגיע למסקנה שהעולם מורכב מאינסוף ישויות קטנות ו"רוחניות" (לא חומריות), להן קרא "מונאדות", וכל אובייקט בנוי מאינסוף מונאדות שכאלו. הוא הבהיר שלא כל המונאדות יכולות להיות מודעות לעולם החיצוני או לעצמן.

בכך פתר את [[הבעיה הפסיכופיזית]] שהעלה דקארט, המנסה לברר איך העולם החומרי משפיע על העולם הרוחני (למשל: אם אני יודע על מקרה שקרה, המקרה החומרי משפיע על התודעה שלי, שהיא, לפי תפיסתו של דקארט, רוחנית). לייבניץ טוען שמכיוון שהכול בנוי ממונאדות שכאלה, למעשה כל העולם רוחני, והימצאות העולם החומרי אינו אלא אשליה, וכך מראש לא קיימת בעיה של קשר בין העולם הרוחני לעולם החומרי.

אך בפתרון זה מתעוררת בעיה חדשה: אם כל העולם הוא רוחני, גם התהליכים הנצפים של סיבה-ותוצאה הם למעשה רוחניים, וכך לייבניץ נצרך להסביר איך הישים הרוחניים משפיעים זה על זה. את הבעיה הזו הוא פתר בעזרת רעיון ה[[אלוהים]]: הוא טען, למעשה, שגופים לא משפיעים זה על זה, אלא חיים מראש בהרמוניה. הוא טוען שמה שאנו תופסים כסיבתיות, למעשה מקרה יחיד אותו כל גוף תופס מזווית אחרת באופן הרמוני תואם, שהאחראי להרמוניה זו הוא אלוהים. נראה שהרמוניה זו היא אחת מכוונותיו של לייבניץ בטענה "זה הטוב שבעולמות האפשריים".

מונאדות שונות מאטומים גם בעצמאותן ההדדית המוחלטת, כך שאינטראקציות בין מונאדות הן רק למראית עין. למעשה, מכורח העיקרון של ההרמוניה שניטעה מראש, כל מונאדה מתנהגת בהתאם לאוסף מתוכנת של "הוראות" (לכל מונאדה תוכנית משלה), כך שמונאדה "יודעת" מה לעשות בכל רגע. כלומר, לפי תורה זו, לכל מונאדה יש זהות שלמה משלה, המכילה בתוכה את כל התכונות של המונאדה, ובהן את כל מה שהמונאדה חוותה או תחווה. אלוהים משתיל במונאדות מראש תכונות תואמות. למשל: אם מונאדה A מכילה בתוכה את התכונה שבזמן X תהיה מתחת למונאדה B, אז מונאדה B מכילה בתוכה את התכונה שבזמן X תהיה מעל מונאדה A. וכן, אם מונאדה A מיועדת להתנגש במונאדה B, אז מונאדה B גם מיועדת לזוז ברגע שלאחר ההתנגשות (מה שאנחנו תופסים כסיבתיות). מכוח ההוראות המובנות האלו נובע כדבריו של לייבניץ כי: '''"כל מונאדה היא כמו מראה קטנה של היקום כולו"'''. מונאדות לא חייבות להיות "קטנות"; כל בן אנוש מרכיב מונאדה.

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

===בחירה חופשית===
כמו [[שפינוזה]] ופילוסופים נוספים רבים בתקופתו, לייבניץ הציע פתרון משלו לשאלת [[בחירה חופשית|הבחירה החופשית]]. למעשה, תורת המונאדות שלו העירה מחדש את הבעיה כאשר נטען כי כל מונאדה מקיימת את כל התכונות, ובניהן כל רצף-ההתרחשות, שאלוהים ייעד לה. משתמע מכך שלא קיימת בחירה חופשית, שהרי אלוהים קבע מראש את גורלו של כל אשר קיים, ומצד שני לייבניץ, כמו רוב ההוגים הנוצריים בתקופתו, טען לקיומה של בחירה חופשית.

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

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

===תאודיציה ואופטימליות===
ה"[[תאודיציה]]" מנסה להצדיק את חוסר השלמות-לכאורה של העולם, כשהיא טוענת כי העולם הוא הטוב והאופטימלי מבין כל העולמות האפשריים. העולם חייב להיות העולם הטוב ביותר והמאוזן ביותר שבאפשר, מכיוון שהוא נוצר על ידי אל כל יכול ויודע כל, אשר לא היה בוחר ליצור עולם לא מושלם אם עולם טוב יותר בר-קיום היה ידוע לו. למעשה, פגמים הניתנים לזיהוי בעולם היו חייבים להתקיים בכל עולם אפשרי אחר, שאחרת האל היה בוחר ליצור את העולם ללא פגמים אלו. הקטע הבא, הלקוח מתוך חיבור משנת 1714 של לייבניץ, מתאר היטב את השקפתו ה[[אופטימיזם|אופטימית]]:

{{ציטוט|תוכן=מתוך שלמותו העליונה של האל מתחייב שבבראו את העולם בחר בתוכנית הטובה ביותר (האופטימלית) שאפשר. …השטח, המקום והזמן ערוכים באופן הטוב ביותר. היצורים יש בהם המידה הגדולה ביותר של יכולת, ידיעה, אושר וטוב שהעולם היה יכול להכיל. '''העולם כמו שהוא בפועל הוא השלם ביותר שבאפשר.'''|מקור=עקרונות הטבע והחסד המיוסדים בשכל, 1714}}

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

לייבניץ טען שהאמיתות של ה[[תאולוגיה]] (הדת) והפילוסופיה אינן יכולות לסתור אלו את אלו, מכיוון שהגיון ואמונה שניהם "מתנות אל", כך שקונפליקט ביניהן משול לאל הנאבק נגד עצמו. "תאודיציה" היא ניסיונו של לייבניץ ליישב את המערכת הפילוסופית האישית שלו עם הפרשנות שלו לעקרונות האמונה הנוצרית. הפרויקט הונע בחלקו מאמונתו של לייבניץ, שבה נקטו גם פילוסופים ותאולוגים [[שמרנים]] רבים בתקופת [[הנאורות]], בטבעה הרציונלי וההגיוני של הדת הנוצרית בהשוואה לדתות הלא-מערביות הפחות מתקדמות לכאורה. הוא גם עוצב על ידי אמונתו של לייבניץ בשלמותו של הטבע האנושי (אם האנושות הייתה נסמכת על הפילוסופיה והדת הנכונה כמדריך), ועל ידי אמונתו שלהכרח מטאפיזי חייב להיות בסיס רציונלי או לוגי, גם אם הסיבתיות המטאפיזית נראית בלתי ניתנת להסבר במונחים של הכרח פיזי (כלומר של חוקי הטבע שהתגלו על ידי המדע).

כיוון שהיגיון ואמונה חייבים להיות מיושבים כליל ונטולי סתירות, כל עיקרון אמוני שלא יכול להיות מוסבר על ידי ההיגיון חייב להידחות. לאורך קו מחשבה זה הגיע לייבניץ לאחת הביקורות המרכזיות של התאיזם הנוצרי: אם [[אלוהים]] הוא טוב אינסופי, ידע אינסופי, וכוח אינסופי, כיצד [[בעיית הרוע|בא הרוע לעולם]]? התשובה היא (לפי לייבניץ), שבעוד שהאל אינו מוגבל בחוכמתו ובכוחו, ברואיו האנושיים, יצירי כפיו, אינם מושלמים, והם מוגבלים הן במידת חוכמתם והן בכוח הרצון שלהם (כוחם לפעול). אי שלמות זאת היא שמטה מראש בני אדם לאמונות שגויות, להחלטות לא נכונות, ולעשיית פעולות לא אפקטיביות, כל זאת תוך שימוש ב[[בחירה חופשית|בחירה החופשית]] שלהם. האל אינו ממטיר כאב וסבל על בני האדם באופן שרירותי; אלא הוא מתיר הן רוע מוסרי ([[חטא]]) והן רוע פיזי ([[כאב]] ו[[סבל]]) כתולדות הכרחיות של הרוע המטאפיזי (חוסר השלמות), וזאת כאמצעי שבעזרתו בני האדם יוכלו לזהות ולתקן את ההחלטות השגויות שלהם, וכניגוד לטוב האמיתי.

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

===מחשבה סימבולית===

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

<blockquote> "הדרך היחידה לתקן את דרכי המחשבה שלנו היא להפוך את צורות הכתיבה שלהן לגמישות כמו אלו של המתמטיקאים, כך שנוכל למצוא את השגיאות שלנו במבט חטוף, וכך שכאשר יש חילוקי דעות בין אנשים, נוכל פשוט לומר: בואו נחשב, מבלי לעשות שום דבר נוסף, כדי לראות מי צודק". </blockquote>

את ה-"קלקולוס רציוסינטור" של לייבניץ, אשר מזכיר במאפייניו את ה[[לוגיקה סימבולית|לוגיקה הסימבולית]] המודרנית, ניתן לראות כדרך להפוך חישובים כאלה לאפשריים. לייבניץ כתב ממוראנדה, אשר כללה ניסיונות גישוש ראשונים בדרך לבניית הלוגיקה הסימבולית שלו – וכך גם את הקלקולוס שלו. שני החוקרים Gerhard ו־Couturat לא פרסמו את הכתבים שלו עד שהלוגיקה הפורמלית המודרנית הופיעה ב[[כתב מושגים]] של [[גוטלוב פרגה]] ובכתבים של [[צ'ארלס פרס]] ותלמידיו ב[[שנות ה-80 של המאה ה-19]], כלומר זמן רב לאחר ש[[ג'ורג' בול|בול]] ו[[אוגוסטוס דה מורגן|דה מורגן]] החלו את חקר הנושא ב-1847.

לייבניץ האמין כי [[סמל]]ים חשובים להבנת דברים. הוא ניסה לפתח [[אלפבית]] של המחשבה האנושית, שבו ניסה לסמל את כל המושגים הבסיסיים בכמה סמלים, ולהרכיב יחד את הסמלים האלה כדי לסמל מחשבות מורכבות יותר, אך מעולם לא עלה בידו לסיים את הרעיון הזה. רעיון דומה שלו הוא "מתסיס יונברסליס". למעשה, הוא ייחס חשיבות כה גדולה להמצאת הסמלים הנכונים, שהוא ייחס את כל המצאותיו ב[[מתמטיקה]] לסמלים אלו. [[חשבון אינפיניטסימלי|החשבון האינפיניטסימלי]] הוא דוגמה מבריקה לחשיבות של סימול נכון, ולכישרונו של לייבניץ בהמצאת סימול כזה. C.S. Peirce, חלוץ של המאה ה-19 ב[[סמיוטיקה]], חלק את התשוקה של לייבניץ לסמלים ולסימון נכון, ואת האמונה שלו שאלו חיוניים ללוגיקה עובדת-היטב ולמתמטיקה.

[[קובץ:Fotothek df tg 0005486 Mathematik ^ Kombinatorik.jpg|ממוזער|250px|צורת המחשבה ה[[פיקטוגרף|פיקטוגרפ]]ית של לייבניץ. לייבניץ כלל את הדיאגרמה הסמלית הזו בעמוד השער של ספרו [[אומנות הקומבינציה]] (1666). הדיאגרמה מייצגת באופן תמציתי את עקרונות התאוריה האריסטוטלית המתארת איך כל הישויות החומריות נוצרות מצירופים של [[ארבעת היסודות]]: אדמה, מים, אוויר ואש. בדיאגרמה, ארבעת היסודות מוצבים בארבע הפינות של יהלום, כאשר זוגות מנוגדים בתכונותיהם של היסודות מקושרים על ידי קו עליו כתוב "ניגודים" (אדמה-אוויר, אש-מים). לפי הדיאגרמה, אש נוצרת מצירוף של יובש וחום, אוויר מרטיבות וחום, מים מקרירות ולחות (או רטיבות), ואדמה מקרירות ויובש.]]
לייבניץ לקח את הספקולציות שלו למקום מרחיק לכת בהרבה. [[אות]]יות, היו לדעתו של לייבניץ, כל סימן כתוב, ואותיות "אמיתיות" הן אלה שמייצגות רעיונות בצורה ישירה, כפי שהוא חשב שהאלפבית הסיני מייצג אותם, ולא רק את המילים לרעיונות אלה. מבין האותיות האמיתיות, יש שמייצגות רעיונות, ויש שמייצגות חשיבה והגיון. לדעתו של לייבניץ, סמלים רבים שהיו קיימים בתקופתו, וביניהם ה[[כתב חרטומים|הירוגליפים המצריים]], האותיות ה[[סין (אזור)|סיניות]], והסמלים של ה[[אסטרונומיה]] וה[[כימיה]], אינם "אמיתיים". לייבניץ הציע ליצור סוג של שפת סימנים אוניברסלית, שהוא קרא לה "האות האוניברסלית", שתיבנה על "אלפבית של המחשבה האנושית" ושבה כל מושג יסודי ייוצג על ידי אות "אמיתית" אחת ויחידה. הציטוט הבא מתאר חלק מרעיונותיו של לייבניץ בתחום:

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

לפי גישתו של לייבניץ, מחשבות מורכבות יהיו מיוצגות באמצעות הרכבת הסמלים של מחשבות פשוטות יותר. לייבניץ טען כי יחידות ה[[פירוק לגורמים|פירוק לגורמים ראשוניים]] מראה כי ל[[מספר ראשוני|מספרים ראשוניים]] יש תפקיד מרכזי בקרקטריסטיקה האוניברסלית – חיזוי קולע של [[קידוד גדל]] (Gödel numbering). כלומר, כוונתו של לייבניץ היא שניתן להבטיח, שאין שום דרך אינטואיטיבית או [[מנמוניקה]] כלשהי באמצעותה ניתן למספר כל אוסף של מושגים אלמנטריים באמצעות מספרים ראשוניים. בכתביו ניסה לייבניץ "להצמיד" מספרים ראשוניים למושגי יסוד, ולאחר מכן להמיר פסוקים לוגיים במכפלות מתאימות שלהם; שיטת המספרים האופייניים (characteristic numbers) שהגה ב-1679 מהווה אריתמטיזציה של [[הלוגיקה של אריסטו|הלוגיקה האריסטוטלית]]. רעיונו של לייבניץ על הסקה לוגית דרך שפה אוניברסלית של סמלים וחישובים מבשר באופן מובהק התפתחויות משמעותיות בתחום של [[מערכת פורמלית|מערכות פורמליות]] במאה ה-20, כמו [[שלמות טיורינג]], בה תהליך חישובי משמש להגדיר שפות אוניברסליות אקוויוולנטיות.

כיוון שלייבניץ היה אז עדיין רק מתחיל ב[[מתמטיקה]], הוא לא חשב על האות כעל סוג של [[אלגברה]], אלא כסוג של שפה או כתב אוניברסלי. אולם, ב-[[1676]] חלם לייבניץ לראשונה על סוג של "אלגברה של המחשבה", וחשב להשתמש באלגברה ובסימול האלגברי הרגיל לצורך האותיות שלו. לפי לייבניץ, האות האוניברסלית שתיבנה בסופו של דבר תהיה חייבת להתבסס על תחשיב לוגי מסוים, מעט קומבינטוריקה, אלגברה, ה־analysis situs (רעיונות טופולוגיים) שלו, שפת מושגים אוניברסלית, ועוד.

לייבניץ יצר פרויקטים להמצאתם של שיטת כתיבה אוניברסלית וללוגיקה סימבולית. המטרה של מחקריו של לייבניץ הייתה, כפי שהוסבר מקודם, ליצור (כדבריו) "סוג של מערכת כללית של כתיבה שבו כל האמיתות של ההיגיון יצומצמו לחשבון. זה יכול להיות, באותו זמן, סוג של שפה כתובה אוניברסלית, שונה מאוד מכל אלה שדובר עליהם עד כה; כי האותיות ואף המילים ינחו את ההיגיון, והטעויות – חוץ מהעובדתיות – יהיו רק טעויות חישוביות. יהיה מאוד קשה להמציא את השפה הזו, אך מאוד קל ללמוד אותה ללא מילונים". הוא קבע מה כמות הזמן שהוא יצטרך כדי להמציא אותה: "אני חושב שכמה אנשים מובחרים יוכלו לסיימה תוך חמש שנים", ולבסוף חווה דעתו על רמת החשיבות של המשימה הזו: "אני חוזר, על מה שכבר אמרתי פעמים רבות, כי אדם שהוא לא נביא או נסיך לא יכול להחל במשימה יותר מועילה למין האנושי ולתהילתו של האל".

מה שלייבניץ התכוון אליו כשהוא כתב על "האות האוניברסלית" ו-"הקלקולוס רציוסינטור", עשוי לעולם לא להיות מובן במדויק.{{הערה|A good introductory discussion of the "characteristic" is Jolley (1995: 226–40). An early, yet still classic, discussion of the "characteristic" and "calculus" is Couturat (1901: chpts. 3,4).|כיוון=שמאל}}

===לוגיקה פורמלית ===
לייבניץ הוא אחד הלוגיקנים החשובים ביותר מתקופתו של [[אריסטו]] עד שנת 1847, השנה בה [[ג'ורג' בול]] ו[[אוגוסטוס דה מורגן]] פרסמו ספרים שהחלו את הלוגיקה הפורמלית המודרנית. לייבניץ ביטא לראשונה את התכונות המרכזיות של הפעולות הלוגיות שכעת אנו מכנים [[וגם (לוגיקה)|חיתוך]] (conjunction), [[או (לוגיקה)|איחוד]] (disjunction), [[לא (לוגיקה)|שלילה]] (negation), [[זהות (מתמטיקה)|זהות]] (identity), [[תת קבוצה|כלילה בקבוצה]] (set inclusion) ו[[הקבוצה הריקה]] (empty set).

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

לגבי העיקרון הראשון, מספר הרעיונות הפשוטים גדול בהרבה ממה שלייבניץ חשב; ולגבי העיקרון השני, ה[[לוגיקה פורמלית|לוגיקה הפורמלית]] היום מתייחסת לשלוש פעולות לוגיות – שידועות כהכפלה לוגית, חיבור לוגי, והנגדה – ולא רק לאחת.

רוב רעיונותיו החלוציים על לוגיקה גובשו בשנים 1670–1690, והמחקר המודרני סיווג את רעיונותיו כמתייחסים לארבעה תחומים{{הערה|Leibniz: Logic {{קישור כללי|כתובת=https://iep.utm.edu/leib-log/|כותרת=Leibniz: Logic {{!}} Internet Encyclopedia of Philosophy|שפה=en-US|תאריך_וידוא=2024-12-30}}|כיוון=שמאל}}: [[סילוגיזם]], הקלקולוס האוניברסלי, [[תחשיב הפסוקים]] ו[[לוגיקה מודלית]].

לייבניץ לא פרסם דבר על לוגיקה פורמלית במהלך חייו; רוב מה שהוא כתב על הנושא מורכב מטיוטות עבודה. בספרו [[תולדות הפילוסופיה המערבית (ספר)|תולדות הפילוסופיה המערבית]], [[ברטראנד ראסל]] טען שלייבניץ פיתח את הלוגיקה בכתביו הלא מפורסמים עד לרמה שהושגה 200 שנה מאוחר יותר.

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

== פילולוגיה ==
לייבניץ ה[[פילולוג]] היה חוקר נלהב של שפות, והיה להוט ללקט כל מידע על [[אוצר מילים]] ודקדוק שנקרה בדרכו. הוא הפריך את האמונה, אשר הייתה נפוצה בקרב מלומדים נוצרים בתקופתו, ש[[עברית]] הייתה השפה הראשונית של האנושות. הוא גם הפריך את האמונה, שפותחה על ידי מלומדים [[שוודים]] בתקופתו, שצורה של פרוטו-[[שוודית]] הייתה האב הקדמון של [[שפות גרמניות|השפות הגרמניות]]. הוא תהה על המקורות של [[השפות הסלאביות]], היה מודע לקיום של שפת ה[[סנסקריט]], והיה מוקסם מ[[סינית קלאסית]].

== סינופיל ==
[[קובץ:Diagram of I Ching hexagrams owned by Gottfried Wilhelm Leibniz, 1701.jpg|ממוזער|שמאל|דיאגרמה של אי צ'ינג.]]
לייבניץ היה אולי האינטלקטואל האירופי המשמעותי הראשון שגילה עניין רב בציוויליזציה ה[[סין (אזור)|סינ]]ית, אשר אותה הוא הכיר באמצעות התכתבויותיו, וקריאת העבודות של [[מיסיון|מיסיונרים]] נוצרים אירופאים שהוצבו בסין. לאחר שקרא את Confucius Sinarum Philosophus ("חייו ועבודותיו של קונפוציוס"), מאת האב פיליפ קוּפְּלֵה (Philippe Couplet) והאב פְּרוֹסְפֶּרוֹ אינטוֹרְצֶ'טַה (Prospero Intorcetta), משנת 1687 בשנה הראשונה לפרסומו, הוא הסיק שהאירופאים יוכלו ללמוד רבות מהמסורת האתית ה[[קונפוציאניזם|קונפוציאנית]]. הוא הרהר על האפשרות שה[[כתב סיני|כתבים הסיניים]] היו צורה לא מכוונת של הקרקטריסטיקה האוניברסלית. הוא הוקסם מהבחנתו שלו ש[[הקסגרמה|הקסגרמות]] ה[[אי צ'ינג]] תואמות{{הבהרה}} למספרים הבינאריים מ-000000 ל-111111, והסיק שהמיפוי הזה היה עדות להישגים מתמטיים סיניים משמעותיים בתחום של הפילוסופיה המתמטית שהוא כה העריך.

משיכתו של לייבניץ ל[[פילוסופיה סינית]] נבעה מהתפיסה שלו שהפילוסופיה הסינית דמתה לשלו. ההיסטוריון E.R. Hughes הציע שרעיונותיו של לייבניץ על "חומר פשוט" ו-"ההרמוניה שנקבעה מראש" הושפעו ישירות מקונפוציאניזם, והצביע על העובדה שרבים מהרעיונות האלו נהגו בתקופה שבה קרא את החיבור Confucius Sinarum Philosophus.

== איש אשכולות ==

במהלך סיורו הארוך בארכיבים אירופיים, שנועד לתעד את ההיסטוריה של משפחת ברונסוויק (משימה שהוא מעולם לא השלים), הוא עצר ב[[וינה|ווינה]] בין מאי 1688 לפברואר 1689, שם הוא עשה עבודה דיפלומטית ומשפטית רבה בעבור בני בית ברונסוויק. הוא ביקר במכרות, דיבר עם מהנדסי מכרות, וניסה לשאת ולתת על חוזי ייצוא [[עופרת]] ממכרות הדוכס שב[[הרי ההארץ]]. הצעתו שרחובות וינה יוארו במנורות השורפות [[לפתית|שמן לפתית]] יושמה. לייבניץ מילא תפקיד מרכזי בפוליטיקה והדיפלומטיה האירופאית של תקופתו. בשירותו של הנסיך של מיינץ חיבר כמה חיבורים משפטיים חשובים, ביניהם "ההצעה לרפורמה של לימודי המשפטים" ו"יסודות של משפט אזרחי". במהלך פגישתו עם [[האימפריה הרומית הקדושה|הקיסר האוסטרי]] ובמזכרים שלאחר מכן, לייבניץ הציע לארגן מחדש את הכלכלה האוסטרית, לערוך רפורמה ב[[מטבע|שיטת המטבע]] של חלקים ניכרים ב[[מרכז אירופה]], לשאת ולתת על [[קונקורדט]] בין [[שושלת הבסבורג|בני הבסבורג]] וה[[ותיקן]], וליצור ספריית מחקר אימפריאלית, ארכיון רשמי, וקרן ביטוח ציבורי. הוא כתב ופרסם מאמר חשוב על [[מכניקה קלאסית|מכניקה]].

לייבניץ גם כתב מאמר קצר, Primae veritates, שפורסם לראשונה בידי Louis Couturat ב-1903, המסכם את השקפותיו על [[מטאפיזיקה]]. המאמר לא מתוארך; השאלה אם כתב את המאמר בווינה ב-1689 הוכרעה רק ב-1999, כאשר המהדורה הקריטית שיצאה פרסמה בסופו של דבר רק את הכתבים הפילוסופיים שלו מהשנים 1690 – 1677. קריאתו של Couturat הייתה נקודת ההתחלה של רבים מזרמי המחשבה על לייבניץ במאה ה-20, במיוחד בקרב [[פילוסופיה אנליטית|פילוסופים אנליטיים]]. עם זאת, אחרי מחקר קפדני של כל כתביו הפילוסופיים של לייבניץ עד ל-1688 – מחקר שהתאפשר אודות לפרסום המהדורות האחרונות של כתביו – Mercer (ב-2001) פירש בצורה מעט שונה את כתביו של לייבניץ.

== מוניטין שלאחר המוות ==
=== כמתמטיקאי וכפילוסוף ===
[[קובץ:Leibnizstrasse street sign Berlin.jpg|ממוזער|280px|שמאל|שלט לציון רחוב לייבניץ בברלין.]]
כשלייבניץ נפטר, המוניטין שלו היה בדעיכה. הוא היה זכור רק בשל ספר אחד, התאודיציאה, אשר הטיעון המרכזי שלו הפך למושא ללעג על ידי [[וולטר]] בספרו הפופולרי [[קנדיד]], אשר מסתיים בכך שהדמות קנדיד אומרת, "Non liquet" (אין זה ברור), מונח שנעשה בו שימוש במהלך תקופת הרפובליקה הרומית לציון פסק דין חוקי של "לא מוכח". התיאור של וולטר את הרעיונות של לייבניץ היה כה משפיע שרבים האמינו שהוא תיאור מדויק. על כן וולטר וקנדיד שלו נושאים באשמה לכישלון המתמהמה להבין ולהעריך את הרעיונות של לייבניץ. ללייבניץ היה תלמיד נלהב, [[כריסטיאן וולף (פילוסוף)|כריסטיאן וולף]], אשר השקפתו הדוגמתית והקלה גרמה למוניטין של לייבניץ נזק רב. הוא גם השפיע על [[דייוויד יום]] שקרא את תאודיציאה והשתמש בכמה מרעיונותיו. בכל מקרה, האופנה הפילוסופית נעה הרחק מהרציונליזם והלוגיקה השיטתית של המאה ה-17, אשר לייבניץ היה מייצג כה בולט שלה. עבודתו על משפט, דיפלומטיה והיסטוריה נתפסה כמעוררת עניין בר חלוף. ההיקף והעושר של ההתכתבות שלו לא זוהה.

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

מצעדו הארוך של לייבניץ לתהילתו הנוכחית החל בפרסום משנת 1765 של חיבורו Nouveaux Essais, אשר [[עמנואל קאנט|קאנט]] קרא לעומק. ב-1768, Louis Dutens ערך את המהדורה רבת הכרכים הראשונה של כתבי לייבניץ, אשר לאחריה הופיעו במאה ה-19 מספר רב של מהדורות, כולל אלו שנערכו על ידי Erdmann, Foucher de Careil, Gerhardt, Gerland, Klopp, ו־Mollat.
פרסום של ההתכתבות של לייבניץ עם דמויות ראויות לציון כמו אנטואן ארנולד, סמואל קלארק, סופיה מהנובר ובתה, החל.

ב-1900, [[ברטראנד ראסל]] פרסם מחקר קריטי של המטאפיזיקה של לייבניץ. זמן קצר לאחר מכן, Louis Couturat פרסם מחקר חשוב על לייבניץ, וערך גם כרך של כמה מכתביו הלא מפורסמים של לייבניץ, בעיקר אלו שעוסקים ב[[לוגיקה]]. כתבים אלו הקנו ללייבניץ מעמד של כבוד בקרב הפילוסופים האנליטיים והלינגוויסטיים בעולם דובר האנגלית (לייבניץ כבר היה בעל השפעה רבה על גרמנים רבים, כולל [[ברנהרד רימן]]). לדוגמה, הביטוי שלייבניץ טבע salva veritate, שמשמעותו ניתנות להמרה מבלי לשנות את ערך האמת, מופיע בכתביו של [[וילארד ואן אורמאן קוויין|וילארד קווין]]. אף על פי כן, הספרות המשנית על לייבניץ לא פרחה באמת עד אחרי [[מלחמת העולם השנייה]].

Nicholas Jolley שיער שהמוניטין של לייבניץ כפילוסוף הוא כעת אולי גבוה יותר מאשר בכל תקופה שהיא מאז שלייבניץ חי. פילוסופיה אנליטית ועכשווית ממשיכה להחיות את הרעיונות שלו על [[זהות (פילוסופיה)|זהות]], [[עקרון האינדיבידואליות|אינדיבידואליות]], ועולמות אפשריים. עבודה שנעשתה על תולדות הרעיונות במאות ה-17 וה-18 חשפה יותר בבירור את "המהפכה האינטלקטואלית" שקדמה למהפכות ה[[המהפכה התעשייתית|תעשייתיות]] והמסחריות הידועות יותר של המאות ה-18 וה-19, אשר לייבניץ מילא תפקיד מרכזי בה.

ב-1985, הממשלה הגרמנית יצרה את [[פרס לייבניץ]], שמציע פרס כספי שנתי של 1.55 מיליון [[אירו]] לתוצאות ניסוייות ו-770,000 יורו לתוצאות תאורטיות. זהו הפרס הגבוה בשוויו בעולם להישגים מדעיים.

==כתביו==
לייבניץ כתב בעיקר בשלוש שפות: לטינית סכולסטית, [[צרפתית]] ו[[גרמנית]]. במהלך חייו, הוא פרסם מספר רב של [[פמפלט]]ים ומאמרים סכולסטיים, אבל רק שני ספרים "פילוסופיים", האמנות הקומבינטורית ותיאודיציאה (הוא פרסם מספר פמפלטים, לעיתים קרובות באופן אנונימי, מטעמו של בית Brunswick-Lüneburg, והחיבור "De jure suprematum", דיון מעמיק בטבע של ה[[ריבונות]]). ספר חשוב אחד שלו פורסם לאחר מותו – [[מאמרים חדשים על התבונה האנושית]], אשר לייבניץ מנע מלפרסם אותו עד מותו של [[ג'ון לוק]]. רק ב-1895, כאשר Bodemann השלים את הקטלוג שלו של כתבי לייבניץ, ההיקף העצום של [[עיזבון מקצועי|העיזבון המקצועי]] של לייבניץ התבהר: בערך 15,000 מכתבים ליותר מ-1000 נמענים ועוד יותר מ-40,000 כותרים אחרים. יותר מכך, מספר לא קטן מהמכתבים האלה הם באורך חיבור. חלק ניכר מההתכתבות שלו, במיוחד המכתבים שמתוארכים לאחרי 1700, נותר לא מפורסם, וחלק ניכר ממה שכן פורסם רק בעשורים האחרונים. הכמות, המגוון, וחוסר הסדר של כתבי לייבניץ הם תוצאה צפויה של המצב בו היה נמצא, אותו תיאר במכתב באופן הבא:

<blockquote> אני לא מסוגל לומר לך עד כמה פזור דעת אני. אני מנסה למצוא מגוון דברים בארכיב; אני מביט בכתבים ישנים וצד מסמכים לא מפורסמים. מאלו אני מנסה לשפוך מעט אור על ההיסטוריה של בית ברונסוויק. אני מקבל ועונה למספר עצום של מכתבים. באותו הזמן, יש לי כל כך הרבה תוצאות מתמטיות, מחשבות פילוסופיות, וחידושים ספרותיים אחרים שאסור להרשות להם להיעלם, שאני לא יודע אפילו מאין להתחיל.{{הערה|Letter to [[Vincent Placcius]], 15 September 1695, in [[Louis Dutens]] (ed.), ''Gothofridi Guillemi Leibnitii Opera Omnia'', vol. 6.1, 1768, pp. 59–60.|כיוון=שמאל}}</blockquote>

החלקים הנגישים במהדורה הקריטית{{הערה|[http://www.leibniz-edition.de/ www.leibniz-edition.de]|כיוון=שמאל}} של כתבי לייבניץ מאורגנים באופן הבא:
* סדרה 1. התכתבויות פוליטיות, היסטוריות, והתכתבויות כלליות. 25 כרכים., 1666 – 1706.
* סדרה 2. התכתבויות פילוסופיות. 2 כרכים., 1663 – 1700.
* סדרה 3. התכתבויות מתמטיות, מדעיות וטכניות. 8 כרכים., 1672 – 1698.
* סדרה 4. כתבים פוליטיים. 7 כרכים., 1667 – 1699.
* סדרה 5. כתבים היסטוריים ובלשניים.
* סדרה 6. כתבים פילוסופיים. 7 כרכים., 1663 – 1690.
* סדרה 7. כתבים מתמטיים. 6 כרכים., 1672 – 1676.
* סדרה 8. כתבים מדעיים, רפואיים וטכניים. כרך אחד., 1668 – 1676.

הקטלוג השיטתי של הנכלאס של לייבניץ החל ב-1901. עבודת הקטלוג נעשה קשה ביותר עקב שתי מלחמות העולם ועשורים של חלוקת גרמניה במהלך [[המלחמה הקרה]] על ידי [[מסך הברזל]], שהפריד בין מלומדים, ופיזר חלקים של המורשת הספרותית שלו. הפרויקט השאפתני היה צריך להתמודד עם מלל בשבע שפות המוכל ב-200,000 עמודים של דף מודפס ובכתב יד. ב-1985 הפרויקט התארגן מחדש ונכלל בתוכנית משותפת של אוניברסיטאות פדרליות ומחוזיות בגרמניה. מאז הסניפים ב[[פוטסדאם]], [[מינסטר]], [[הנובר]] ו[[ברלין]] פרסמו במשותף 57 כרכים של כתביו, עם ממוצע של 870 עמודים לכרך, והכינו [[מפתח עניינים|אינדקס]] ו[[קונקורדנציה]] של כתביו.

=== עבודות נבחרות ===
*'''על אמנות הקומבינציה''' (1666)
*'''היפוטיזה פיזיקלית חדשה''' (1671)
*'''שיטה חדשה למקסימום ומינימום''' (1684)
*'''הרצאה על המטפיזיקה''' (1686)
*'''הסבר החשבון הבינארי''' (1703)
*'''מאמרים חדשים על התבונה האנושית''' (1705)
*'''תיאודיציאה''' (1710)
*'''המונדולוגיה''' (1714)

==כתביו שתורגמו לעברית==
* '''השיטה החדשה וכתבים אחרים על תורת המונדות''', תרגם [[יוסף אור]], ערך [[חיים יהודה רות|ח"י רות]], [[הוצאת הספרים ע"ש י"ל מאגנס]], ירושלים, 1931.
* '''דקארט: עקרונות הפילוסופיה, לייבניץ: הערות ביקורתיות,''' [[מפעלים אוניברסיטאיים]], [[1979]].
* '''מסות חדשות על שכל האדם''', תרגם יוסף אור, הוצאת הספרים ע"ש י"ל מאגנס, ירושלים, 1967.
* '''מאמר מטאפיסי; ההתכתבות עם ארנו''', תרגם והוסיף מבוא והערות [[אלחנן יקירה]], [[מפעלים אוניברסיטאיים]] הוצאה לאור, ירושלים, 1988.
* '''תאודיצאה: מסות על טובו של האל, על חירות האדם ועל מקור הרע, תרגם אלחנן יקירה, הוצאת הספרים ע"ש י"ל מאגנס, ירושלים, [[2024]].

==הנצחה==
על שמו של לייבניץ נקרא [[ביסקוויט לייבניץ]], אף על פי שהקשר היחיד בין השניים הוא העיר [[הנובר]], שבה ממוקמים מפעלי החברה ושלייבניץ הוא אחד מבניה המפורסמים ביותר.

== לקריאה נוספת ==
* גוטפריד וילהלם לייבניץ ו[[סמואל קלארק]], '''עימות לייבניץ-ניוטון, מתוך חליפת האיגרות לייבניץ-קלארק''', הוצאת [[רסלינג]], 2021. [https://ebooks.psik.io/book?book_id=3677 לקריאת הספר במלא ב"פסיק, הספרייה הדיגיטלית"] – פתוח חינם לסטודנטים וחוקרים.
* מיכאל קמפה, '''לייבניץ – הטוב שבכל העולמות האפשריים'''. מגרמנית: [[אביעד שטיר]], הוצאת [[ספרי עליית הגג]], 2024.

==קישורים חיצוניים==
{{מיזמים|ויקיציטוט=גוטפריד וילהלם לייבניץ}}
{{פרופילי מדענים}}
* [[ג'יימס אורמסון]], [https://www.lib.cet.ac.il/Pages/item.asp?item=849 לייבניץ], [[האנציקלופדיה לפילוסופיה מערבית]]
* [[גלעד ברעלי]], [http://www.bar-elli.co.il/leibniz-truth.pdf מושג האמת של לייבניץ]
* {{דוידסון|איתי נבו|היום לפני: איש האשכולות האחרון|sciencehistory/היום-לפני-איש-האשכולות-האחרון|14 בנובמבר 2016}}
* {{דחק|גוטפריד וילהלם לייבניץ|פרק מתוך ה'תיאודיציה': מחשבות על הספר שפרסם מר הובס באנגלית על החופש, על ההכרח ועל המקריות|005-449-460|2015}}, מצרפתית: [[אביבה ברק]]
* [http://www.utm.edu/research/iep/l/leib-met.htm לייבניץ], [[האנציקלופדיה לפילוסופיה באינטרנט]] {{אנגלית}}
* [https://web.archive.org/web/20140912103211/http://www.kirjasto.sci.fi/leibnitz.htm ביוגרפיה וביבליוגרפיה] {{אנגלית}}
* [http://www.leibniz-translations.com תרגומים של כתבי לייבניץ] {{אנגלית}}
* {{בריטניקה}}
* {{סופר פרויקט גוטנברג}}
* {{Find a Grave}}
* {{דף שער בספרייה הלאומית|987007264301705171|גוטפריד וילהלם ליבניץ (1646-1716)}}

== הערות שוליים ==
{{הערות שוליים}}

{{פילוסופיה|אישים בולטים}}
{{בקרת זהויות}}

{{מיון רגיל:לייבניץ, וילהלם גוטפריד}}
[[קטגוריה:דיפלומטים]]
[[קטגוריה:חלוצי המחשוב]]
[[קטגוריה:פילוסופים נוצרים]]
[[קטגוריה:פיזיקאים גרמנים]]
[[קטגוריה:פילוסופים גרמנים]]
[[קטגוריה:לותרנים]]
[[קטגוריה:פילוסופים רציונליסטים]]
[[קטגוריה:פילוסופים של עידן הנאורות]]
[[קטגוריה:יוצרי שפה מתוכננת]]
[[קטגוריה:כותבי מכתבים]]
[[קטגוריה:בוגרי אוניברסיטת לייפציג]]
[[קטגוריה:לייפציג: אישים]]
[[קטגוריה:מתמטיקאים גרמנים במאה ה-17]]
[[קטגוריה:מתמטיקאים גרמנים במאה ה-18]]
[[קטגוריה:כותבי לטינית בני העת החדשה]]
[[קטגוריה:הנובר: אישים]]
[[קטגוריה:ילידי 1646]]
[[קטגוריה:נפטרים ב-1716]]