לוגיקה - מבוא... המתארת את אופני החשיבה התקפים ואת אופני ביטויהם. במאה ה - 19 וה - 20 חווה ענף הלוגיקה התפתחות משמעותית עקב התמקדות המחקר באופן בו ניתן לזקק מבנה לוגי באמצעות שפות מלאכותיות המושתתות על אופני ביטוי סימבוליים, ללא תלות ... ביותר - המספרים. העקרון השני מציג את עקרון הקונטקסט (הרלוונטי גם בפילוסופיה של הלשון) - לפיו מילה מקבלת את משמעותה רק בקונטקסט של השיפוט שהיא משמשת כחלק ממנו. העקרון השלישי מציג את ההבחנה בין מושג לבין מושא. על פי פרגה, מושגים הם פונקציות, המקבלות את משמעותם רק כאשר ניתן להן אובייקט כערך שלהן. כשלעצמו, המושג הוא בלתי רווי (unsaturated), ורק כשהוא מתחבר לשם או לשם של משתנה, הוא מקבל משמעות. כך פותר פרגה את בעיית אחדות הטענה שהטרידה אחר כך את ראסל, ומציע, באופן מובלע, תורת טיפוסים פרימיטיבית: מושגים (מסדר ראשון) חלים על אובייקטים בלבד, משום שרק באמצעותם הם נהיים רוויים במשמעות. אולם מכאן עולות גם כמה מסקנות פרדוקסליות. מכיוון שרק בצירוף לשם או למשתנה יש למושג משמעות, המושג אינו יכול להופיע כנושא במשפט. מכאן יוצא, כי אין אפשרות לומר המושג סוס הוא מושג, משום שכאן המושג סוס ... הפרדוקסלית חושפת כיצד שלושת העקרונות של פרגה קשורים זה לזה. לאור עקרון הקונטקסט, פרגה אינו מוכן לקבל שלפרדיקט יש משמעות במנותק מן המסגרת הטענתית בה הוא מופיע, ובה הוא רווי בזכות קישורו לאובייקט. לאור התנגדותו לפסיכולוגיזם, פרגה שולל את ... בין האקסטנציות של מושגים שונים הן מהותיות עבור ההגדרה הלוגית של מושג המספר שפרגה הוא מקורה. פרגה היה התומך המשמעותי הראשון של לוגיציזם - העמדה לפיה ניתן לצמצם את המתמטיקה כולה ללוגיקה. פרגה אף ניסה להוכיח כי חוקי האריתמטיקה, ... לגזירה מן האקסיומות, באמצעות כללי ההיסק. הסמנטיקה קובעת איזו נוסחה היא טאוטולוגיה, דהיינו איזו נוסחה היא אמיתית בהכרח מכוח משמעותם של המונחים המקושרים בה והאופן בו הם מקושרים. לפי הגדרות אלו, למערכת יש שלמות, כאשר כל טאוטולוגיה היא גם ... הערך אמת בכל פירוש של הפסוקים היסודיים (כלומר כזה שבטבלת האמת שלו הוא מקבל T בכל השורות, נקרא טאוטולוגיה. משמעות הדבר היא שפסוק זה הוא אמיתי בזכות הקשרים הלוגיים שבין רכיביו, ללא תלות באמיתותם של הפסוקים האטומיים עצמם. פסוק המקבל ... משתנה, \ forall x ו - \ exists x הם נוסחאות בנויות היטב תפקידם של הסוגריים למנוע דו - משמעות בקריאה של המשפטים. עם זאת מקובל להשמיט את הסוגריים החיצוניים ביותר. כאשר בנוסחה כל המשתנים הם קשורים, דהיינו כאשר ...