... להתקדמות הידע. קיים היום ויכוח האם, לפי אריסטו, הלוגיקה היא חלק ממשי מהפילוסופיה (כמו, למשל, האתיקה) או רק כלי
עבודה (אורגנון) של הפילוסופים. מושגי היסוד בלוגיקה האריסטוטלית הם: מונח, טענה, טיעון, נביעה או היסק, וכלל המרה. כמו כן ניתן להחיל בקלות ... לדון ביחסים בין מינים וסוגים (אריסטו החשיב את המחקר הטקסונומי בביולוגיה כצורה המופתית של המדע, ואת הסילוגיזם ככלי
העבודה העיקרי של המדען). אולם הניתוח האריסטוטלי מאפשר להתייחס גם לשמות פרטיים כלו היו מונחים כוללים, וכך להציג את הטיעון התקף הבא: 1.כל ... בול, אוגוסטוס דה מורגן, ויליאם סטנלי ג'בונס, צ'ארלס פירס, וארנסט שרדר, הניחו במחקריהם את היסודות ללוגיקה המודרנית.
עבודתם של בול וממשיכיו עומדת ביסוד תחשיב הפסוקים המודרני, וגישתם האלגברית ללוגיקה עומדת ביסוד מדעי המחשב. בול וממשיכיו הציגו לראשונה מונחי ... תפיסותינו של האובייקטיביות של הלוגיקה והמתמטיקה מחייבות אותנו לקיומן האידאלי של טענות. התפתחויות אלו עומדות בבסיס
עבודתו של גוטלוב פרגה, שאף שעיקר הישגיו בלוגיקה הושגו במאה התשע - עשרה, הם לא נודעו כמעט עד תחילת המאה העשרים. הלוגיקה של פרגה גוטלוב פרגה נחשב כלוגיקן הגדול ביותר מאז אריסטו.
עבודתו לא הוכרה כמעט בזמנו, ורעיונותיו קיבלו תהודה בעיקר דרך אלה שהשפיע עליהם, כגון ג'וזפה פאנו, ברטראנד ראסל ולודוויג ויטגנשטיין. חידושיו ... הוא כתב על כך לפרגה, שהוסיף נספח לכרך השני של הספר בו הוא מודה כי אין לו פתרון מספק לבעיה, והוא לא הצליח לתקן את
עבודתו על מנת למנוע את הפרדוקס. בפרסומים מאוחרים יותר של ראסל ושל ג'ון פון נוימן מוצע פתרון לבעיה באמצעות תורת הטיפוסים (theory of types). ... אלו, את היסודות למדעי המחשב ואפשרה את פיתוחם של המחשבים המודרניים. בעקבות פרגה, פרח המחקר הלוגי במאה העשרים
בעבודתם של ברטראנד ראסל, לודוויג ויטגנשטיין, אלפרד טרסקי, קורט גדל, אלן טיורינג, ואחרים. במרבית המקרים הייתה
עבודתם רלוונטית הן לפילוסופים והן למתמטיקאים, שכן היא עסקה ביסודות המשותפים לכל שפה ולכל מערכת לוגית באשר היא. למעשה, התנועה המובילה בלוגיקה ... טענות אלו), וכן בתורת הידיעה (לוגיקה אפיסטמית) ובהסתברות. לוגיקה אינטואיציוניסטית הלוגיקה האינטואיציוניסטית נובעת
מעבודתו של המתמטיקאי לויצן אגברטוס יאן בראואר. היא אינה מכירה בחוק השלישי הנמנע (לפיו כל טענה היא אמיתית או שקרית, ללא חלופה אפשרית אחרת), ...