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